BibTeX records: Pierre-Yves Strub

download as .bib file

@inproceedings{DBLP:conf/itp/BernardCMS21,
  author    = {Sophie Bernard and
               Cyril Cohen and
               Assia Mahboubi and
               Pierre{-}Yves Strub},
  title     = {Unsolvability of the Quintic Formalized in Dependent Type Theory},
  booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
               2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
  pages     = {8:1--8:18},
  year      = {2021},
  crossref  = {DBLP:conf/itp/2021},
  url       = {https://doi.org/10.4230/LIPIcs.ITP.2021.8},
  doi       = {10.4230/LIPIcs.ITP.2021.8},
  timestamp = {Mon, 21 Jun 2021 14:45:49 +0200},
  biburl    = {https://dblp.org/rec/conf/itp/BernardCMS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-15021,
  author    = {Xavier Allamigeon and
               Ricardo D. Katz and
               Pierre{-}Yves Strub},
  title     = {Formalizing the Face Lattice of Polyhedra},
  journal   = {CoRR},
  volume    = {abs/2104.15021},
  year      = {2021},
  url       = {https://arxiv.org/abs/2104.15021},
  eprinttype = {arXiv},
  eprint    = {2104.15021},
  timestamp = {Tue, 04 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2104-15021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BarbosaBGKS21,
  author    = {Manuel Barbosa and
               Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Adrien Koutsos and
               Pierre{-}Yves Strub},
  title     = {Mechanized Proofs of Adversarial Complexity and Application to Universal
               Composability},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {156},
  year      = {2021},
  url       = {https://eprint.iacr.org/2021/156},
  timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iacr/BarbosaBGKS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jce/BartheBDFGSS20,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Fran{\c{c}}ois{-}Xavier Standaert and
               Pierre{-}Yves Strub},
  title     = {Improved parallel mask refreshing algorithms: generic solutions with
               parametrized non-interference and automated optimizations},
  journal   = {J. Cryptogr. Eng.},
  volume    = {10},
  number    = {1},
  pages     = {17--26},
  year      = {2020},
  url       = {https://doi.org/10.1007/s13389-018-00202-2},
  doi       = {10.1007/s13389-018-00202-2},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jce/BartheBDFGSS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AllamigeonKS20,
  author    = {Xavier Allamigeon and
               Ricardo D. Katz and
               Pierre{-}Yves Strub},
  title     = {Formalizing the Face Lattice of Polyhedra},
  booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
               2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
  pages     = {185--203},
  year      = {2020},
  crossref  = {DBLP:conf/cade/2020-2},
  url       = {https://doi.org/10.1007/978-3-030-51054-1\_11},
  doi       = {10.1007/978-3-030-51054-1\_11},
  timestamp = {Fri, 03 Jul 2020 13:56:19 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/AllamigeonKS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AlmeidaBBGKL0S20,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Adrien Koutsos and
               Vincent Laporte and
               Tiago Oliveira and
               Pierre{-}Yves Strub},
  title     = {The Last Mile: High-Assurance and High-Speed Cryptographic Implementations},
  booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
               CA, USA, May 18-21, 2020},
  pages     = {965--982},
  year      = {2020},
  crossref  = {DBLP:conf/sp/2020},
  url       = {https://doi.org/10.1109/SP40000.2020.00028},
  doi       = {10.1109/SP40000.2020.00028},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sp/AlmeidaBBGKL0S20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AguirreBGGS19,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Marco Gaboardi and
               Deepak Garg and
               Pierre{-}Yves Strub},
  title     = {A relational logic for higher-order programs},
  journal   = {J. Funct. Program.},
  volume    = {29},
  pages     = {e16},
  year      = {2019},
  url       = {https://doi.org/10.1017/S0956796819000145},
  doi       = {10.1017/S0956796819000145},
  timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jfp/AguirreBGGS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartheEHSS19,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Justin Hsu and
               Tetsuya Sato and
               Pierre{-}Yves Strub},
  title     = {Relational {\(\star\)}{\(\star\)}{\textbackslash}star-Liftings for
               Differential Privacy},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {15},
  number    = {4},
  year      = {2019},
  url       = {https://doi.org/10.23638/LMCS-15(4:18)2019},
  doi       = {10.23638/LMCS-15(4:18)2019},
  timestamp = {Sat, 07 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/lmcs/BartheEHSS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlmeidaBBCCGPPS19,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Matthew Campagna and
               Ernie Cohen and
               Benjamin Gr{\'{e}}goire and
               Vitor Pereira and
               Bernardo Portela and
               Pierre{-}Yves Strub and
               Serdar Tasiran},
  title     = {A Machine-Checked Proof of Security for {AWS} Key Management Service},
  booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
  pages     = {63--78},
  year      = {2019},
  crossref  = {DBLP:conf/ccs/2019},
  url       = {https://doi.org/10.1145/3319535.3354228},
  doi       = {10.1145/3319535.3354228},
  timestamp = {Tue, 10 Nov 2020 20:00:36 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/AlmeidaBBCCGPPS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlmeidaBBBDGL0S19,
  author    = {Jos{\'{e}} Bacelar Almeida and
               C{\'{e}}cile Baritel{-}Ruet and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Tiago Oliveira and
               Alley Stoughton and
               Pierre{-}Yves Strub},
  title     = {Machine-Checked Proofs for Cryptographic Standards: Indifferentiability
               of Sponge and Secure High-Assurance Implementations of {SHA-3}},
  booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
  pages     = {1607--1622},
  year      = {2019},
  crossref  = {DBLP:conf/ccs/2019},
  url       = {https://doi.org/10.1145/3319535.3363211},
  doi       = {10.1145/3319535.3363211},
  timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/AlmeidaBBBDGL0S19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheGJKS19,
  author    = {Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Charlie Jacomme and
               Steve Kremer and
               Pierre{-}Yves Strub},
  title     = {Symbolic Methods in Computational Cryptography Proofs},
  booktitle = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken,
               NJ, USA, June 25-28, 2019},
  pages     = {136--151},
  year      = {2019},
  crossref  = {DBLP:conf/csfw/2019},
  url       = {https://doi.org/10.1109/CSF.2019.00017},
  doi       = {10.1109/CSF.2019.00017},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/BartheGJKS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-04606,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Adrien Koutsos and
               Vincent Laporte and
               Tiago Oliveira and
               Pierre{-}Yves Strub},
  title     = {The Last Mile: High-Assurance and High-Speed Cryptographic Implementations},
  journal   = {CoRR},
  volume    = {abs/1904.04606},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.04606},
  eprinttype = {arXiv},
  eprint    = {1904.04606},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1904-04606.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBCCGPPS19,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Matthew Campagna and
               Ernie Cohen and
               Benjamin Gr{\'{e}}goire and
               Vitor Pereira and
               Bernardo Portela and
               Pierre{-}Yves Strub and
               Serdar Tasiran},
  title     = {A Machine-Checked Proof of Security for {AWS} Key Management Service},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {1042},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/1042},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/AlmeidaBBCCGPPS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBBDGLOS19,
  author    = {Jos{\'{e}} Bacelar Almeida and
               C{\'{e}}cile Baritel{-}Ruet and
               Manuel Barbosa and
               Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Tiago Oliveira and
               Alley Stoughton and
               Pierre{-}Yves Strub},
  title     = {Machine-Checked Proofs for Cryptographic Standards},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {1155},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/1155},
  timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/AlmeidaBBBDGLOS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BartheEGHS18,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Proving expected sensitivity of probabilistic programs},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {2},
  number    = {{POPL}},
  pages     = {57:1--57:29},
  year      = {2018},
  url       = {https://doi.org/10.1145/3158145},
  doi       = {10.1145/3158145},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/BartheEGHS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HaaghKOSS18,
  author    = {Helene Haagh and
               Aleksandr Karbyshev and
               Sabine Oechsner and
               Bas Spitters and
               Pierre{-}Yves Strub},
  title     = {Computer-Aided Proofs for Multiparty Computation with Active Security},
  booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
               United Kingdom, July 9-12, 2018},
  pages     = {119--131},
  year      = {2018},
  crossref  = {DBLP:conf/csfw/2018},
  url       = {https://doi.org/10.1109/CSF.2018.00016},
  doi       = {10.1109/CSF.2018.00016},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/HaaghKOSS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BartheEGGHS18,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Marco Gaboardi and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {An Assertion-Based Program Logic for Probabilistic Programs},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  pages     = {117--144},
  year      = {2018},
  crossref  = {DBLP:conf/esop/2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_5},
  doi       = {10.1007/978-3-319-89884-1\_5},
  timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
  biburl    = {https://dblp.org/rec/conf/esop/BartheEGGHS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secsr/BhargavanKS18,
  author    = {Karthikeyan Bhargavan and
               Franziskus Kiefer and
               Pierre{-}Yves Strub},
  title     = {hacspec: Towards Verifiable Crypto Standards},
  booktitle = {Security Standardisation Research - 4th International Conference,
               {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  pages     = {1--20},
  year      = {2018},
  crossref  = {DBLP:conf/secsr/2018},
  url       = {https://doi.org/10.1007/978-3-030-04762-7\_1},
  doi       = {10.1007/978-3-030-04762-7\_1},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/secsr/BhargavanKS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-05535,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Marco Gaboardi and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {An Assertion-Based Program Logic for Probabilistic Programs},
  journal   = {CoRR},
  volume    = {abs/1803.05535},
  year      = {2018},
  url       = {http://arxiv.org/abs/1803.05535},
  eprinttype = {arXiv},
  eprint    = {1803.05535},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1803-05535.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07197,
  author    = {Helene Haagh and
               Aleksandr Karbyshev and
               Sabine Oechsner and
               Bas Spitters and
               Pierre{-}Yves Strub},
  title     = {Computer-aided proofs for multiparty computation with active security},
  journal   = {CoRR},
  volume    = {abs/1806.07197},
  year      = {2018},
  url       = {http://arxiv.org/abs/1806.07197},
  eprinttype = {arXiv},
  eprint    = {1806.07197},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1806-07197.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HaaghKOSS18,
  author    = {Helene Haagh and
               Aleksandr Karbyshev and
               Sabine Oechsner and
               Bas Spitters and
               Pierre{-}Yves Strub},
  title     = {Computer-aided proofs for multiparty computation with active security},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {502},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/502},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/HaaghKOSS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartheBDFGSS18,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Fran{\c{c}}ois{-}Xavier Standaert and
               Pierre{-}Yves Strub},
  title     = {Improved Parallel Mask Refreshing Algorithms: Generic Solutions with
               Parametrized Non-Interference {\&} Automated Optimizations},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {505},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/505},
  timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iacr/BartheBDFGSS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BeurdoucheBDFKP17,
  author    = {Benjamin Beurdouche and
               Karthikeyan Bhargavan and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Alfredo Pironti and
               Pierre{-}Yves Strub and
               Jean Karim Zinzindohoue},
  title     = {A messy state of the union: taming the composite state machines of
               {TLS}},
  journal   = {Commun. {ACM}},
  volume    = {60},
  number    = {2},
  pages     = {99--107},
  year      = {2017},
  url       = {https://doi.org/10.1145/3023357},
  doi       = {10.1145/3023357},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cacm/BeurdoucheBDFKP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AguirreBG0S17,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Marco Gaboardi and
               Deepak Garg and
               Pierre{-}Yves Strub},
  title     = {A relational logic for higher-order programs},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {21:1--21:29},
  year      = {2017},
  url       = {https://doi.org/10.1145/3110265},
  doi       = {10.1145/3110265},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/AguirreBG0S17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlmeidaBBBGLOPS17,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Arthur Blot and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Tiago Oliveira and
               Hugo Pacheco and
               Benedikt Schmidt and
               Pierre{-}Yves Strub},
  title     = {Jasmin: High-Assurance and High-Speed Cryptography},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  pages     = {1807--1823},
  year      = {2017},
  crossref  = {DBLP:conf/ccs/2017},
  url       = {https://doi.org/10.1145/3133956.3134078},
  doi       = {10.1145/3133956.3134078},
  timestamp = {Tue, 10 Nov 2020 19:59:50 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/AlmeidaBBBGLOPS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BartheDFGSS17,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Sebastian Faust and
               Benjamin Gr{\'{e}}goire and
               Fran{\c{c}}ois{-}Xavier Standaert and
               Pierre{-}Yves Strub},
  title     = {Parallel Implementations of Masking Schemes and the Bounded Moment
               Leakage Model},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {I}},
  pages     = {535--566},
  year      = {2017},
  crossref  = {DBLP:conf/eurocrypt/2017-1},
  url       = {https://doi.org/10.1007/978-3-319-56620-7\_19},
  doi       = {10.1007/978-3-319-56620-7\_19},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/eurocrypt/BartheDFGSS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BartheEHSS17,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Justin Hsu and
               Tetsuya Sato and
               Pierre{-}Yves Strub},
  title     = {*-Liftings for Differential Privacy},
  booktitle = {44th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
  pages     = {102:1--102:12},
  year      = {2017},
  crossref  = {DBLP:conf/icalp/2017},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2017.102},
  doi       = {10.4230/LIPIcs.ICALP.2017.102},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/BartheEHSS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BartheEGHS17,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Proving uniformity and independence by self-composition and coupling},
  booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
               Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  pages     = {385--403},
  year      = {2017},
  crossref  = {DBLP:conf/lpar/2017},
  url       = {https://doi.org/10.29007/vz48},
  doi       = {10.29007/vz48},
  timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/BartheEGHS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JouannaudS17,
  author    = {Jean{-}Pierre Jouannaud and
               Pierre{-}Yves Strub},
  title     = {Coq without Type Casts: {A} Complete Proof of Coq Modulo Theory},
  booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
               Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  pages     = {474--489},
  year      = {2017},
  crossref  = {DBLP:conf/lpar/2017},
  url       = {https://doi.org/10.29007/bjpg},
  doi       = {10.29007/bjpg},
  timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/JouannaudS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BartheGHS17,
  author    = {Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Coupling proofs are probabilistic product programs},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {161--174},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url       = {https://doi.org/10.1145/3009837.3009896},
  doi       = {10.1145/3009837.3009896},
  timestamp = {Mon, 14 Jun 2021 15:39:36 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/BartheGHS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/CortierDDSSW17,
  author    = {V{\'{e}}ronique Cortier and
               Constantin Catalin Dragan and
               Fran{\c{c}}ois Dupressoir and
               Benedikt Schmidt and
               Pierre{-}Yves Strub and
               Bogdan Warinschi},
  title     = {Machine-Checked Proofs of Privacy for Electronic Voting Protocols},
  booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  pages     = {993--1008},
  year      = {2017},
  crossref  = {DBLP:conf/sp/2017},
  url       = {https://doi.org/10.1109/SP.2017.28},
  doi       = {10.1109/SP.2017.28},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/CortierDDSSW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheEGHS17,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Proving uniformity and independence by self-composition and coupling},
  journal   = {CoRR},
  volume    = {abs/1701.06477},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.06477},
  eprinttype = {arXiv},
  eprint    = {1701.06477},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheEGHS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AguirreBG0S17,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Marco Gaboardi and
               Deepak Garg and
               Pierre{-}Yves Strub},
  title     = {A Relational Logic for Higher-Order Programs},
  journal   = {CoRR},
  volume    = {abs/1703.05042},
  year      = {2017},
  url       = {http://arxiv.org/abs/1703.05042},
  eprinttype = {arXiv},
  eprint    = {1703.05042},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/AguirreBG0S17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheEHSS17,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Justin Hsu and
               Tetsuya Sato and
               Pierre{-}Yves Strub},
  title     = {*-Liftings for Differential Privacy},
  journal   = {CoRR},
  volume    = {abs/1705.00133},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.00133},
  eprinttype = {arXiv},
  eprint    = {1705.00133},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheEHSS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-02537,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Proving Expected Sensitivity of Probabilistic Programs},
  journal   = {CoRR},
  volume    = {abs/1708.02537},
  year      = {2017},
  url       = {http://arxiv.org/abs/1708.02537},
  eprinttype = {arXiv},
  eprint    = {1708.02537},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1708-02537.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartheFGGHS16,
  author    = {Gilles Barthe and
               No{\'{e}}mie Fong and
               Marco Gaboardi and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Advanced Probabilistic Couplings for Differential Privacy},
  booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  pages     = {55--67},
  year      = {2016},
  crossref  = {DBLP:conf/ccs/2016},
  url       = {https://doi.org/10.1145/2976749.2978391},
  doi       = {10.1145/2976749.2978391},
  timestamp = {Tue, 10 Nov 2020 20:00:49 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/BartheFGGHS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartheFGAGHS16,
  author    = {Gilles Barthe and
               Gian Pietro Farina and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Andy Gordon and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Differentially Private Bayesian Programming},
  booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  pages     = {68--79},
  year      = {2016},
  crossref  = {DBLP:conf/ccs/2016},
  url       = {https://doi.org/10.1145/2976749.2978371},
  doi       = {10.1145/2976749.2978371},
  timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/BartheFGAGHS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartheBDFGSZ16,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub and
               R{\'{e}}becca Zucchini},
  title     = {Strong Non-Interference and Type-Directed Higher-Order Masking},
  booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  pages     = {116--129},
  year      = {2016},
  crossref  = {DBLP:conf/ccs/2016},
  url       = {https://doi.org/10.1145/2976749.2978427},
  doi       = {10.1145/2976749.2978427},
  timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/BartheBDFGSZ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BernardBRS16,
  author    = {Sophie Bernard and
               Yves Bertot and
               Laurence Rideau and
               Pierre{-}Yves Strub},
  title     = {Formal proofs of transcendence for e and pi as an application of multivariate
               and symmetric polynomials},
  booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
               and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
  pages     = {76--87},
  year      = {2016},
  crossref  = {DBLP:conf/cpp/2016},
  url       = {https://doi.org/10.1145/2854065.2854072},
  doi       = {10.1145/2854065.2854072},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cpp/BernardBRS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BartheGGHS16,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {A Program Logic for Union Bounds},
  booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2016, July 11-15, 2016, Rome, Italy},
  pages     = {107:1--107:15},
  year      = {2016},
  crossref  = {DBLP:conf/icalp/2016},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2016.107},
  doi       = {10.4230/LIPIcs.ICALP.2016.107},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/BartheGGHS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BartheGGHS16,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Proving Differential Privacy via Probabilistic Couplings},
  booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages     = {749--758},
  year      = {2016},
  crossref  = {DBLP:conf/lics/2016},
  url       = {https://doi.org/10.1145/2933575.2934554},
  doi       = {10.1145/2933575.2934554},
  timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/BartheGGHS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SwamyHKRDFBFSKZ16,
  author    = {Nikhil Swamy and
               Catalin Hritcu and
               Chantal Keller and
               Aseem Rastogi and
               Antoine Delignat{-}Lavaud and
               Simon Forest and
               Karthikeyan Bhargavan and
               C{\'{e}}dric Fournet and
               Pierre{-}Yves Strub and
               Markulf Kohlweiss and
               Jean Karim Zinzindohoue and
               Santiago Zanella B{\'{e}}guelin},
  title     = {Dependent types and multi-monadic effects in {F}},
  booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  pages     = {256--270},
  year      = {2016},
  crossref  = {DBLP:conf/popl/2016},
  url       = {https://doi.org/10.1145/2837614.2837655},
  doi       = {10.1145/2837614.2837655},
  timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/SwamyHKRDFBFSKZ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wine/BartheGAHRS16,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Justin Hsu and
               Aaron Roth and
               Pierre{-}Yves Strub},
  title     = {Computer-Aided Verification for Mechanism Design},
  booktitle = {Web and Internet Economics - 12th International Conference, {WINE}
               2016, Montreal, Canada, December 11-14, 2016, Proceedings},
  pages     = {279--293},
  year      = {2016},
  crossref  = {DBLP:conf/wine/2016},
  url       = {https://doi.org/10.1007/978-3-662-54110-4\_20},
  doi       = {10.1007/978-3-662-54110-4\_20},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wine/BartheGAHRS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGGHS16,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Proving Differential Privacy via Probabilistic Couplings},
  journal   = {CoRR},
  volume    = {abs/1601.05047},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.05047},
  eprinttype = {arXiv},
  eprint    = {1601.05047},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheGGHS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGGHS16a,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {A program logic for union bounds},
  journal   = {CoRR},
  volume    = {abs/1602.05681},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.05681},
  eprinttype = {arXiv},
  eprint    = {1602.05681},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheGGHS16a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheFGAGHS16,
  author    = {Gilles Barthe and
               Gian Pietro Farina and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Andy Gordon and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Differentially Private Bayesian Programming},
  journal   = {CoRR},
  volume    = {abs/1605.00283},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.00283},
  eprinttype = {arXiv},
  eprint    = {1605.00283},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheFGAGHS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGGHS16b,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Advanced Probabilistic Couplings for Differential Privacy},
  journal   = {CoRR},
  volume    = {abs/1606.07143},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.07143},
  eprinttype = {arXiv},
  eprint    = {1606.07143},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheGGHS16b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGHS16,
  author    = {Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               Pierre{-}Yves Strub},
  title     = {Coupling proofs are probabilistic product programs},
  journal   = {CoRR},
  volume    = {abs/1607.03455},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.03455},
  eprinttype = {arXiv},
  eprint    = {1607.03455},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheGHS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartheDFGSS16,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Sebastian Faust and
               Benjamin Gr{\'{e}}goire and
               Fran{\c{c}}ois{-}Xavier Standaert and
               Pierre{-}Yves Strub},
  title     = {Parallel Implementations of Masking Schemes and the Bounded Moment
               Leakage Model},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {912},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/912},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/BartheDFGSS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BartheBDFGS15,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub},
  title     = {Verified Proofs of Higher-Order Masking},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {I}},
  pages     = {457--485},
  year      = {2015},
  crossref  = {DBLP:conf/eurocrypt/2015-1},
  url       = {https://doi.org/10.1007/978-3-662-46800-5\_18},
  doi       = {10.1007/978-3-662-46800-5\_18},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/eurocrypt/BartheBDFGS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BartheEGHSS15,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               L{\'{e}}o Stefanesco and
               Pierre{-}Yves Strub},
  title     = {Relational Reasoning via Probabilistic Coupling},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
               International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
               2015, Proceedings},
  pages     = {387--401},
  year      = {2015},
  crossref  = {DBLP:conf/lpar/2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7\_27},
  doi       = {10.1007/978-3-662-48899-7\_27},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/BartheEGHSS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BartheGAHRS15,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Justin Hsu and
               Aaron Roth and
               Pierre{-}Yves Strub},
  title     = {Higher-Order Approximate Relational Refinement Types for Mechanism
               Design and Differential Privacy},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {55--68},
  year      = {2015},
  crossref  = {DBLP:conf/popl/2015},
  url       = {https://doi.org/10.1145/2676726.2677000},
  doi       = {10.1145/2676726.2677000},
  timestamp = {Wed, 23 Jun 2021 17:06:05 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/BartheGAHRS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BeurdoucheBDFKP15,
  author    = {Benjamin Beurdouche and
               Karthikeyan Bhargavan and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Alfredo Pironti and
               Pierre{-}Yves Strub and
               Jean Karim Zinzindohoue},
  title     = {A Messy State of the Union: Taming the Composite State Machines of
               {TLS}},
  booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  pages     = {535--552},
  year      = {2015},
  crossref  = {DBLP:conf/sp/2015},
  url       = {https://doi.org/10.1109/SP.2015.39},
  doi       = {10.1109/SP.2015.39},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/BeurdoucheBDFKP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGAHRS15,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Justin Hsu and
               Aaron Roth and
               Pierre{-}Yves Strub},
  title     = {Computer-aided verification in mechanism design},
  journal   = {CoRR},
  volume    = {abs/1502.04052},
  year      = {2015},
  url       = {http://arxiv.org/abs/1502.04052},
  eprinttype = {arXiv},
  eprint    = {1502.04052},
  timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheGAHRS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheEGHSS15,
  author    = {Gilles Barthe and
               Thomas Espitau and
               Benjamin Gr{\'{e}}goire and
               Justin Hsu and
               L{\'{e}}o Stefanesco and
               Pierre{-}Yves Strub},
  title     = {Relational reasoning via probabilistic coupling},
  journal   = {CoRR},
  volume    = {abs/1509.03476},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.03476},
  eprinttype = {arXiv},
  eprint    = {1509.03476},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheEGHSS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernardBRS15,
  author    = {Sophie Bernard and
               Yves Bertot and
               Laurence Rideau and
               Pierre{-}Yves Strub},
  title     = {Formal Proofs of Transcendence for e and {\textdollar}{\(\pi\)}{\textdollar}
               as an Application of Multivariate and Symmetric Polynomials},
  journal   = {CoRR},
  volume    = {abs/1512.02791},
  year      = {2015},
  url       = {http://arxiv.org/abs/1512.02791},
  eprinttype = {arXiv},
  eprint    = {1512.02791},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BernardBRS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartheBDFGS15,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub},
  title     = {Verified Proofs of Higher-Order Masking},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {60},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/060},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/BartheBDFGS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BhargavanFKPSB14,
  author    = {Karthikeyan Bhargavan and
               C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Alfredo Pironti and
               Pierre{-}Yves Strub and
               Santiago Zanella B{\'{e}}guelin},
  title     = {Proving the {TLS} Handshake Secure (As It Is)},
  booktitle = {Advances in Cryptology - {CRYPTO} 2014 - 34th Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part {II}},
  pages     = {235--255},
  year      = {2014},
  crossref  = {DBLP:conf/crypto/2014-2},
  url       = {https://doi.org/10.1007/978-3-662-44381-1\_14},
  doi       = {10.1007/978-3-662-44381-1\_14},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/crypto/BhargavanFKPSB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AkinyeleBGSS14,
  author    = {Joseph A. Akinyele and
               Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Benedikt Schmidt and
               Pierre{-}Yves Strub},
  title     = {Certified Synthesis of Efficient Batch Verifiers},
  booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
               Austria, 19-22 July, 2014},
  pages     = {153--165},
  year      = {2014},
  crossref  = {DBLP:conf/csfw/2014},
  url       = {https://doi.org/10.1109/CSF.2014.19},
  doi       = {10.1109/CSF.2014.19},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/AkinyeleBGSS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheGAHKS14,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Justin Hsu and
               C{\'{e}}sar Kunz and
               Pierre{-}Yves Strub},
  title     = {Proving Differential Privacy in Hoare Logic},
  booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
               Austria, 19-22 July, 2014},
  pages     = {411--424},
  year      = {2014},
  crossref  = {DBLP:conf/csfw/2014},
  url       = {https://doi.org/10.1109/CSF.2014.36},
  doi       = {10.1109/CSF.2014.36},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/BartheGAHKS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BartziaS14,
  author    = {Evmorfia{-}Iro Bartzia and
               Pierre{-}Yves Strub},
  title     = {A Formal Library for Elliptic Curves in the Coq Proof Assistant},
  booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 14-17, 2014. Proceedings},
  pages     = {77--92},
  year      = {2014},
  crossref  = {DBLP:conf/itp/2014},
  url       = {https://doi.org/10.1007/978-3-319-08970-6\_6},
  doi       = {10.1007/978-3-319-08970-6\_6},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/itp/BartziaS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BartheFGSSB14,
  author    = {Gilles Barthe and
               C{\'{e}}dric Fournet and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub and
               Nikhil Swamy and
               Santiago Zanella B{\'{e}}guelin},
  title     = {Probabilistic relational verification for cryptographic implementations},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {193--206},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {https://doi.org/10.1145/2535838.2535847},
  doi       = {10.1145/2535838.2535847},
  timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/BartheFGSSB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SwamyFRBCSB14,
  author    = {Nikhil Swamy and
               C{\'{e}}dric Fournet and
               Aseem Rastogi and
               Karthikeyan Bhargavan and
               Juan Chen and
               Pierre{-}Yves Strub and
               Gavin M. Bierman},
  title     = {Gradual typing embedded securely in JavaScript},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {425--438},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {https://doi.org/10.1145/2535838.2535889},
  doi       = {10.1145/2535838.2535889},
  timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/SwamyFRBCSB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BhargavanDFPS14,
  author    = {Karthikeyan Bhargavan and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Alfredo Pironti and
               Pierre{-}Yves Strub},
  title     = {Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication
               over {TLS}},
  booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
               CA, USA, May 18-21, 2014},
  pages     = {98--113},
  year      = {2014},
  crossref  = {DBLP:conf/sp/2014},
  url       = {https://doi.org/10.1109/SP.2014.14},
  doi       = {10.1109/SP.2014.14},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/BhargavanDFPS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGAHKS14,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Justin Hsu and
               C{\'{e}}sar Kunz and
               Pierre{-}Yves Strub},
  title     = {Proving differential privacy in Hoare logic},
  journal   = {CoRR},
  volume    = {abs/1407.2988},
  year      = {2014},
  url       = {http://arxiv.org/abs/1407.2988},
  eprinttype = {arXiv},
  eprint    = {1407.2988},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheGAHKS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGAHRS14,
  author    = {Gilles Barthe and
               Marco Gaboardi and
               Emilio Jes{\'{u}}s Gallego Arias and
               Justin Hsu and
               Aaron Roth and
               Pierre{-}Yves Strub},
  title     = {Higher-Order Approximate Relational Refinement Types for Mechanism
               Design and Differential Privacy},
  journal   = {CoRR},
  volume    = {abs/1407.6845},
  year      = {2014},
  url       = {http://arxiv.org/abs/1407.6845},
  eprinttype = {arXiv},
  eprint    = {1407.6845},
  timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BartheGAHRS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BhargavanFKPSB14,
  author    = {Karthikeyan Bhargavan and
               C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Alfredo Pironti and
               Pierre{-}Yves Strub and
               Santiago Zanella B{\'{e}}guelin},
  title     = {Proving the {TLS} Handshake Secure (as it is)},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {182},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/182},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/BhargavanFKPSB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBDDGS14,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Guillaume Davy and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               Pierre{-}Yves Strub},
  title     = {Verified Implementations for Secure and Verifiable Computation},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  pages     = {456},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/456},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/AlmeidaBBDDGS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SwamyCFSBY13,
  author    = {Nikhil Swamy and
               Juan Chen and
               C{\'{e}}dric Fournet and
               Pierre{-}Yves Strub and
               Karthikeyan Bhargavan and
               Jean Yang},
  title     = {Secure distributed programming with value-dependent types},
  journal   = {J. Funct. Program.},
  volume    = {23},
  number    = {4},
  pages     = {402--451},
  year      = {2013},
  url       = {https://doi.org/10.1017/S0956796813000142},
  doi       = {10.1017/S0956796813000142},
  timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jfp/SwamyCFSBY13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BartheDGKSS13,
  author    = {Gilles Barthe and
               Fran{\c{c}}ois Dupressoir and
               Benjamin Gr{\'{e}}goire and
               C{\'{e}}sar Kunz and
               Benedikt Schmidt and
               Pierre{-}Yves Strub},
  title     = {EasyCrypt: {A} Tutorial},
  booktitle = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
               Tutorial Lectures},
  pages     = {146--166},
  year      = {2013},
  crossref  = {DBLP:conf/fosad/2013},
  url       = {https://doi.org/10.1007/978-3-319-10082-1\_6},
  doi       = {10.1007/978-3-319-10082-1\_6},
  timestamp = {Thu, 29 Aug 2019 08:10:01 +0200},
  biburl    = {https://dblp.org/rec/conf/fosad/BartheDGKSS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FournetSCDSL13,
  author    = {C{\'{e}}dric Fournet and
               Nikhil Swamy and
               Juan Chen and
               Pierre{-}{\'{E}}variste Dagand and
               Pierre{-}Yves Strub and
               Benjamin Livshits},
  title     = {Fully abstract compilation to JavaScript},
  booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  pages     = {371--384},
  year      = {2013},
  crossref  = {DBLP:conf/popl/2013},
  url       = {https://doi.org/10.1145/2429069.2429114},
  doi       = {10.1145/2429069.2429114},
  timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/FournetSCDSL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BhargavanFKPS13,
  author    = {Karthikeyan Bhargavan and
               C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Alfredo Pironti and
               Pierre{-}Yves Strub},
  title     = {Implementing {TLS} with Verified Cryptographic Security},
  booktitle = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley,
               CA, USA, May 19-22, 2013},
  pages     = {445--459},
  year      = {2013},
  crossref  = {DBLP:conf/sp/2013},
  url       = {https://doi.org/10.1109/SP.2013.37},
  doi       = {10.1109/SP.2013.37},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/BhargavanFKPS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/StrubSFC12,
  author    = {Pierre{-}Yves Strub and
               Nikhil Swamy and
               C{\'{e}}dric Fournet and
               Juan Chen},
  title     = {Self-certification: bootstrapping certified typecheckers in F* with
               Coq},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
               USA, January 22-28, 2012},
  pages     = {571--584},
  year      = {2012},
  crossref  = {DBLP:conf/popl/2012},
  url       = {https://doi.org/10.1145/2103656.2103723},
  doi       = {10.1145/2103656.2103723},
  timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/StrubSFC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/FournetKS11,
  author    = {C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Pierre{-}Yves Strub},
  title     = {Modular code-based cryptographic verification},
  booktitle = {Proceedings of the 18th {ACM} Conference on Computer and Communications
               Security, {CCS} 2011, Chicago, Illinois, USA, October 17-21, 2011},
  pages     = {341--350},
  year      = {2011},
  crossref  = {DBLP:conf/ccs/2011},
  url       = {https://doi.org/10.1145/2046707.2046746},
  doi       = {10.1145/2046707.2046746},
  timestamp = {Tue, 10 Nov 2020 19:56:39 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/FournetKS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwamyCFSBY11,
  author    = {Nikhil Swamy and
               Juan Chen and
               C{\'{e}}dric Fournet and
               Pierre{-}Yves Strub and
               Karthikeyan Bhargavan and
               Jean Yang},
  title     = {Secure distributed programming with value-dependent types},
  booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
               Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
               2011},
  pages     = {266--278},
  year      = {2011},
  crossref  = {DBLP:conf/icfp/2011},
  url       = {https://doi.org/10.1145/2034773.2034811},
  doi       = {10.1145/2034773.2034811},
  timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/SwamyCFSBY11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BarrasJSW11,
  author    = {Bruno Barras and
               Jean{-}Pierre Jouannaud and
               Pierre{-}Yves Strub and
               Qian Wang},
  title     = {CoQMTU: {A} Higher-Order Type Theory with a Predicative Hierarchy
               of Universes Parametrized by a Decidable First-Order Theory},
  booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
               Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
  pages     = {143--151},
  year      = {2011},
  crossref  = {DBLP:conf/lics/2011},
  url       = {https://doi.org/10.1109/LICS.2011.37},
  doi       = {10.1109/LICS.2011.37},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/BarrasJSW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Strub10,
  author    = {Pierre{-}Yves Strub},
  title     = {Coq Modulo Theory},
  booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
               Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
               2010. Proceedings},
  pages     = {529--543},
  year      = {2010},
  crossref  = {DBLP:conf/csl/2010},
  url       = {https://doi.org/10.1007/978-3-642-15205-4\_40},
  doi       = {10.1007/978-3-642-15205-4\_40},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/Strub10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Strub08,
  author    = {Pierre{-}Yves Strub},
  title     = {Type Theory and Decision Procedures. (Th{\'{e}}orie des Types
               et Proc{\'{e}}dures de D{\'{e}}cision)},
  school    = {{\'{E}}cole Polytechnique, Palaiseau, France},
  year      = {2008},
  url       = {https://tel.archives-ouvertes.fr/tel-00351837},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Strub08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BlanquiJS08,
  author    = {Fr{\'{e}}d{\'{e}}ric Blanqui and
               Jean{-}Pierre Jouannaud and
               Pierre{-}Yves Strub},
  title     = {From Formal Proofs to Mathematical Proofs: {A} Safe, Incremental Way
               for Building in First-order Decision Procedures},
  booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
               - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
               of Computer Science, September 7-10, 2008, Milano, Italy},
  pages     = {349--365},
  year      = {2008},
  crossref  = {DBLP:conf/ifipTCS/2008},
  url       = {https://doi.org/10.1007/978-0-387-09680-3\_24},
  doi       = {10.1007/978-0-387-09680-3\_24},
  timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl    = {https://dblp.org/rec/conf/ifipTCS/BlanquiJS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-3762,
  author    = {Fr{\'{e}}d{\'{e}}ric Blanqui and
               Jean{-}Pierre Jouannaud and
               Pierre{-}Yves Strub},
  title     = {From formal proofs to mathematical proofs: a safe, incremental way
               for building in first-order decision procedures},
  journal   = {CoRR},
  volume    = {abs/0804.3762},
  year      = {2008},
  url       = {http://arxiv.org/abs/0804.3762},
  eprinttype = {arXiv},
  eprint    = {0804.3762},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0804-3762.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BlanquiJS07,
  author    = {Fr{\'{e}}d{\'{e}}ric Blanqui and
               Jean{-}Pierre Jouannaud and
               Pierre{-}Yves Strub},
  title     = {Building Decision Procedures in the Calculus of Inductive Constructions},
  booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
               Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
               2007, Proceedings},
  pages     = {328--342},
  year      = {2007},
  crossref  = {DBLP:conf/csl/2007},
  url       = {https://doi.org/10.1007/978-3-540-74915-8\_26},
  doi       = {10.1007/978-3-540-74915-8\_26},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/BlanquiJS07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-1266,
  author    = {Fr{\'{e}}d{\'{e}}ric Blanqui and
               Jean{-}Pierre Jouannaud and
               Pierre{-}Yves Strub},
  title     = {Building Decision Procedures in the Calculus of Inductive Constructions},
  journal   = {CoRR},
  volume    = {abs/0707.1266},
  year      = {2007},
  url       = {http://arxiv.org/abs/0707.1266},
  eprinttype = {arXiv},
  eprint    = {0707.1266},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0707-1266.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/GeraudSD01,
  author    = {Thierry G{\'{e}}raud and
               Pierre{-}Yves Strub and
               J{\'{e}}r{\^{o}}me Darbon},
  title     = {Color image segmentation based on automatic morphological clustering},
  booktitle = {Proceedings of the 2001 International Conference on Image Processing,
               {ICIP} 2001, Thessaloniki, Greece, October 7-10, 2001},
  pages     = {70--73},
  year      = {2001},
  crossref  = {DBLP:conf/icip/2001},
  url       = {https://doi.org/10.1109/ICIP.2001.958053},
  doi       = {10.1109/ICIP.2001.958053},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/icip/GeraudSD01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2021,
  editor    = {Liron Cohen and
               Cezary Kaliszyk},
  title     = {12th International Conference on Interactive Theorem Proving, {ITP}
               2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
  series    = {LIPIcs},
  volume    = {193},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021},
  url       = {https://www.dagstuhl.de/dagpub/978-3-95977-188-7},
  isbn      = {978-3-95977-188-7},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/itp/2021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2020-2,
  editor    = {Nicolas Peltier and
               Viorica Sofronie{-}Stokkermans},
  title     = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
               2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12167},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-51054-1},
  doi       = {10.1007/978-3-030-51054-1},
  isbn      = {978-3-030-51053-4},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/2020-2.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2020,
  title     = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
               CA, USA, May 18-21, 2020},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/9144328/proceeding},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/2020.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2019,
  editor    = {Lorenzo Cavallaro and
               Johannes Kinder and
               XiaoFeng Wang and
               Jonathan Katz},
  title     = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3319535},
  doi       = {10.1145/3319535},
  isbn      = {978-1-4503-6747-9},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2019,
  title     = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken,
               NJ, USA, June 25-28, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8804915/proceeding},
  isbn      = {978-1-7281-1407-1},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2018,
  title     = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
               United Kingdom, July 9-12, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8428826/proceeding},
  isbn      = {978-1-5386-6680-7},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/2018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2018,
  editor    = {Amal Ahmed},
  title     = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1},
  doi       = {10.1007/978-3-319-89884-1},
  isbn      = {978-3-319-89883-4},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/esop/2018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/secsr/2018,
  editor    = {Cas Cremers and
               Anja Lehmann},
  title     = {Security Standardisation Research - 4th International Conference,
               {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11322},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-04762-7},
  doi       = {10.1007/978-3-030-04762-7},
  isbn      = {978-3-030-04761-0},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/secsr/2018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2017,
  editor    = {Bhavani M. Thuraisingham and
               David Evans and
               Tal Malkin and
               Dongyan Xu},
  title     = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133956},
  doi       = {10.1145/3133956},
  isbn      = {978-1-4503-4946-8},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2017-1,
  editor    = {Jean{-}S{\'{e}}bastien Coron and
               Jesper Buus Nielsen},
  title     = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10210},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-56620-7},
  doi       = {10.1007/978-3-319-56620-7},
  isbn      = {978-3-319-56619-1},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/eurocrypt/2017-1.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2017,
  editor    = {Ioannis Chatzigiannakis and
               Piotr Indyk and
               Fabian Kuhn and
               Anca Muscholl},
  title     = {44th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
  series    = {LIPIcs},
  volume    = {80},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-041-5},
  isbn      = {978-3-95977-041-5},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2017,
  editor    = {Thomas Eiter and
               David Sands},
  title     = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
               Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  series    = {EPiC Series in Computing},
  volume    = {46},
  publisher = {EasyChair},
  year      = {2017},
  url       = {https://easychair.org/publications/volume/LPAR-21},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2017,
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3009837},
  doi       = {10.1145/3009837},
  isbn      = {978-1-4503-4660-3},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2017,
  title     = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7957740/proceeding},
  isbn      = {978-1-5090-5533-3},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2016,
  editor    = {Edgar R. Weippl and
               Stefan Katzenbeisser and
               Christopher Kruegel and
               Andrew C. Myers and
               Shai Halevi},
  title     = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2976749},
  isbn      = {978-1-4503-4139-4},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2016,
  editor    = {Jeremy Avigad and
               Adam Chlipala},
  title     = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
               and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2854065},
  isbn      = {978-1-4503-4127-1},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/cpp/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2016,
  editor    = {Ioannis Chatzigiannakis and
               Michael Mitzenmacher and
               Yuval Rabani and
               Davide Sangiorgi},
  title     = {43rd International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2016, July 11-15, 2016, Rome, Italy},
  series    = {LIPIcs},
  volume    = {55},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-013-2},
  isbn      = {978-3-95977-013-2},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2016,
  editor    = {Martin Grohe and
               Eric Koskinen and
               Natarajan Shankar},
  title     = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2933575},
  doi       = {10.1145/2933575},
  isbn      = {978-1-4503-4391-6},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2016,
  editor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  title     = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2837614},
  doi       = {10.1145/2837614},
  isbn      = {978-1-4503-3549-2},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wine/2016,
  editor    = {Yang Cai and
               Adrian Vetta},
  title     = {Web and Internet Economics - 12th International Conference, {WINE}
               2016, Montreal, Canada, December 11-14, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10123},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-54110-4},
  doi       = {10.1007/978-3-662-54110-4},
  isbn      = {978-3-662-54109-8},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/wine/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2015-1,
  editor    = {Elisabeth Oswald and
               Marc Fischlin},
  title     = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9056},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46800-5},
  doi       = {10.1007/978-3-662-46800-5},
  isbn      = {978-3-662-46799-2},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/eurocrypt/2015-1.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015,
  editor    = {Martin Davis and
               Ansgar Fehnker and
               Annabelle McIver and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
               International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
               2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9450},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7},
  doi       = {10.1007/978-3-662-48899-7},
  isbn      = {978-3-662-48898-0},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/2015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2015,
  editor    = {Sriram K. Rajamani and
               David Walker},
  title     = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2676726},
  doi       = {10.1145/2676726},
  isbn      = {978-1-4503-3300-9},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/2015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2015,
  title     = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7160813/proceeding},
  isbn      = {978-1-4673-6949-7},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/2015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/crypto/2014-2,
  editor    = {Juan A. Garay and
               Rosario Gennaro},
  title     = {Advances in Cryptology - {CRYPTO} 2014 - 34th Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8617},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44381-1},
  doi       = {10.1007/978-3-662-44381-1},
  isbn      = {978-3-662-44380-4},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/crypto/2014-2.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2014,
  title     = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
               Austria, 19-22 July, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6954678/proceeding},
  isbn      = {978-1-4799-4290-9},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2014,
  editor    = {Gerwin Klein and
               Ruben Gamboa},
  title     = {Interactive Theorem Proving - 5th International Conference, {ITP}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 14-17, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8558},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08970-6},
  doi       = {10.1007/978-3-319-08970-6},
  isbn      = {978-3-319-08969-0},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/itp/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2535838},
  doi       = {10.1145/2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2014,
  title     = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
               CA, USA, May 18-21, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6954656/proceeding},
  isbn      = {978-1-4799-4686-0},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fosad/2013,
  editor    = {Alessandro Aldini and
               Javier L{\'{o}}pez and
               Fabio Martinelli},
  title     = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
               Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {8604},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10082-1},
  doi       = {10.1007/978-3-319-10082-1},
  isbn      = {978-3-319-10081-4},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/fosad/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2013,
  editor    = {Roberto Giacobazzi and
               Radhia Cousot},
  title     = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
               2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2429069},
  doi       = {10.1145/2429069},
  isbn      = {978-1-4503-1832-7},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2013,
  title     = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley,
               CA, USA, May 19-22, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6547086/proceeding},
  isbn      = {978-1-4673-6166-8},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2012,
  editor    = {John Field and
               Michael Hicks},
  title     = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
               USA, January 22-28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2103656},
  doi       = {10.1145/2103656},
  isbn      = {978-1-4503-1083-3},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/2012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2011,
  editor    = {Yan Chen and
               George Danezis and
               Vitaly Shmatikov},
  title     = {Proceedings of the 18th {ACM} Conference on Computer and Communications
               Security, {CCS} 2011, Chicago, Illinois, USA, October 17-21, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0948-6},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011,
  editor    = {Manuel M. T. Chakravarty and
               Zhenjiang Hu and
               Olivier Danvy},
  title     = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
               Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2034773},
  doi       = {10.1145/2034773},
  isbn      = {978-1-4503-0865-6},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2011,
  title     = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
               Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5968099/proceeding},
  isbn      = {978-0-7695-4412-0},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2010,
  editor    = {Anuj Dawar and
               Helmut Veith},
  title     = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
               Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6247},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15205-4},
  doi       = {10.1007/978-3-642-15205-4},
  isbn      = {978-3-642-15204-7},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/2010.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2008,
  editor    = {Giorgio Ausiello and
               Juhani Karhum{\"{a}}ki and
               Giancarlo Mauri and
               C.{-}H. Luke Ong},
  title     = {Fifth {IFIP} International Conference On Theoretical Computer Science
               - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
               of Computer Science, September 7-10, 2008, Milano, Italy},
  series    = {{IFIP}},
  volume    = {273},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-0-387-09680-3},
  doi       = {10.1007/978-0-387-09680-3},
  isbn      = {978-0-387-09679-7},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/ifipTCS/2008.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2007,
  editor    = {Jacques Duparc and
               Thomas A. Henzinger},
  title     = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
               Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
               2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4646},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74915-8},
  doi       = {10.1007/978-3-540-74915-8},
  isbn      = {978-3-540-74914-1},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/2007.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icip/2001,
  title     = {Proceedings of the 2001 International Conference on Image Processing,
               {ICIP} 2001, Thessaloniki, Greece, October 7-10, 2001},
  publisher = {{IEEE}},
  year      = {2001},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7594/proceeding},
  isbn      = {0-7803-6725-1},
  timestamp = {Thu, 23 Sep 2021 19:59:06 +0200},
  biburl    = {https://dblp.org/rec/conf/icip/2001.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics