BibTeX records: Pierre-Yves Strub

download as .bib file

@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   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {57:1--57:29},
  year      = {2018},
  url       = {https://doi.org/10.1145/3158145},
  doi       = {10.1145/3158145},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/BartheEGHS18},
  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 = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/HaaghKOSS18},
  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 = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/BartheEGGHS18},
  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 = {Wed, 21 Nov 2018 17:34:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/secsr/BhargavanKS18},
  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},
  archivePrefix = {arXiv},
  eprint    = {1803.05535},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1803-05535},
  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},
  archivePrefix = {arXiv},
  eprint    = {1806.07197},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1806-07197},
  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} Cryptology ePrint Archive},
  volume    = {2018},
  pages     = {502},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/502},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/HaaghKOSS18},
  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} Cryptology ePrint Archive},
  volume    = {2018},
  pages     = {505},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/505},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BartheBDFGSS18},
  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/bib/journals/cacm/BeurdoucheBDFKP17},
  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   = {{PACMPL}},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {21:1--21:29},
  year      = {2017},
  url       = {https://doi.org/10.1145/3110265},
  doi       = {10.1145/3110265},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/AguirreBG0S17},
  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 = {Thu, 22 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/AlmeidaBBBGLOPS17},
  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 = {Sat, 24 Nov 2018 11:59:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/BartheDFGSS17},
  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 = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/BartheEHSS17},
  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       = {http://www.easychair.org/publications/paper/340344},
  timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BartheEGHS17},
  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       = {http://www.easychair.org/publications/paper/340342},
  timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/JouannaudS17},
  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       = {http://dl.acm.org/citation.cfm?id=3009896},
  timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BartheGHS17},
  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 = {Tue, 27 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/CortierDDSSW17},
  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},
  archivePrefix = {arXiv},
  eprint    = {1701.06477},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheEGHS17},
  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},
  archivePrefix = {arXiv},
  eprint    = {1703.05042},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AguirreBG0S17},
  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},
  archivePrefix = {arXiv},
  eprint    = {1705.00133},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheEHSS17},
  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},
  archivePrefix = {arXiv},
  eprint    = {1708.02537},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1708-02537},
  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, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/BartheFGGHS16},
  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, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/BartheFGAGHS16},
  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, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/BartheBDFGSZ16},
  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/bib/conf/cpp/BernardBRS16},
  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 = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/BartheGGHS16},
  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 = {Tue, 06 Nov 2018 16:58:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/BartheGGHS16},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/SwamyHKRDFBFSKZ16},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wine/BartheGAHRS16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1601.05047},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheGGHS16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1602.05681},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheGGHS16a},
  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},
  archivePrefix = {arXiv},
  eprint    = {1605.00283},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheFGAGHS16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1606.07143},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheGGHS16b},
  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},
  archivePrefix = {arXiv},
  eprint    = {1607.03455},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheGHS16},
  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} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {912},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/912},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BartheDFGSS16},
  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 = {Sat, 24 Nov 2018 11:59:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/BartheBDFGS15},
  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 = {Fri, 02 Nov 2018 09:44:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BartheEGHSS15},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BartheGAHRS15},
  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, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sp/BeurdoucheBDFKP15},
  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},
  archivePrefix = {arXiv},
  eprint    = {1502.04052},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheGAHRS15},
  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},
  archivePrefix = {arXiv},
  eprint    = {1509.03476},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheEGHSS15},
  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},
  archivePrefix = {arXiv},
  eprint    = {1512.02791},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BernardBRS15},
  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} Cryptology ePrint Archive},
  volume    = {2015},
  pages     = {60},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/060},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BartheBDFGS15},
  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 = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crypto/BhargavanFKPSB14},
  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 = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/AkinyeleBGSS14},
  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 = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/BartheGAHKS14},
  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 = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/BartziaS14},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BartheFGSSB14},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/SwamyFRBCSB14},
  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 = {Thu, 07 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sp/BhargavanDFPS14},
  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},
  archivePrefix = {arXiv},
  eprint    = {1407.2988},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheGAHKS14},
  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},
  archivePrefix = {arXiv},
  eprint    = {1407.6845},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BartheGAHRS14},
  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} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {182},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/182},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BhargavanFKPSB14},
  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} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {456},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/456},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/AlmeidaBBDDGS14},
  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, 14 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/SwamyCFSBY13},
  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 = {Mon, 07 May 2018 15:01:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fosad/BartheDGKSS13},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/FournetSCDSL13},
  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 = {Thu, 07 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sp/BhargavanFKPS13},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/StrubSFC12},
  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, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/FournetKS11},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/SwamyCFSBY11},
  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 = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/BarrasJSW11},
  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 = {Wed, 14 Nov 2018 10:52:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/Strub10},
  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 = {Fri, 15 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Strub08},
  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 = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/BlanquiJS08},
  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},
  archivePrefix = {arXiv},
  eprint    = {0804.3762},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0804-3762},
  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 = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/BlanquiJS07},
  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},
  archivePrefix = {arXiv},
  eprint    = {0707.1266},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0707-1266},
  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 = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icip/GeraudSD01},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8428826},
  isbn      = {978-1-5386-6680-7},
  timestamp = {Tue, 14 Aug 2018 12:24:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2018},
  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 = {Mon, 16 Apr 2018 12:35:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2018},
  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 = {Wed, 21 Nov 2018 17:34:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/secsr/2018},
  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 = {Tue, 06 Nov 2018 11:07:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2017},
  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 = {Sat, 24 Nov 2018 11:59:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/2017-1},
  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 fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-041-5},
  isbn      = {978-3-95977-041-5},
  timestamp = {Mon, 17 Jul 2017 16:47:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2017},
  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       = {http://www.easychair.org/publications/volume/LPAR-21},
  timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2017},
  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 = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2017},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7957740},
  isbn      = {978-1-5090-5533-3},
  timestamp = {Tue, 27 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2017},
  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 = {Mon, 24 Oct 2016 15:38:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2016},
  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 = {Mon, 18 Jan 2016 19:35:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/2016},
  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 fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-013-2},
  isbn      = {978-3-95977-013-2},
  timestamp = {Tue, 30 Aug 2016 15:33:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2016},
  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 = {Tue, 06 Nov 2018 16:58:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2016},
  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       = {http://dl.acm.org/citation.cfm?id=2837614},
  isbn      = {978-1-4503-3549-2},
  timestamp = {Wed, 09 Mar 2016 08:11:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2016},
  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 = {Fri, 26 May 2017 00:49:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wine/2016},
  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 = {Sat, 24 Nov 2018 11:59:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/2015-1},
  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 = {Fri, 02 Nov 2018 09:44:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2015},
  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       = {http://dl.acm.org/citation.cfm?id=2676726},
  isbn      = {978-1-4503-3300-9},
  timestamp = {Sat, 20 Dec 2014 16:56:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2015},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7160813},
  isbn      = {978-1-4673-6949-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2015},
  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 = {Fri, 26 May 2017 00:50:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crypto/2014-2},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6954678},
  isbn      = {978-1-4799-4290-9},
  timestamp = {Fri, 13 May 2016 11:46:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2014},
  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 = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/2014},
  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       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2014},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6954656},
  isbn      = {978-1-4799-4686-0},
  timestamp = {Tue, 02 Dec 2014 18:47:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2014},
  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 = {Mon, 07 May 2018 15:01:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fosad/2013},
  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       = {http://dl.acm.org/citation.cfm?id=2429069},
  isbn      = {978-1-4503-1832-7},
  timestamp = {Fri, 18 Jan 2013 17:48:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2013},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6547086},
  isbn      = {978-1-4673-6166-8},
  timestamp = {Thu, 08 Jan 2015 16:59:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2013},
  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       = {http://dl.acm.org/citation.cfm?id=2103656},
  isbn      = {978-1-4503-1083-3},
  timestamp = {Sun, 03 Dec 2017 00:17:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2012},
  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, 20 Oct 2011 19:38:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2011},
  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},
  isbn      = {978-1-4503-0865-6},
  timestamp = {Thu, 22 Sep 2011 12:22:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2011},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5968099},
  isbn      = {978-0-7695-4412-0},
  timestamp = {Fri, 21 Nov 2014 14:08:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2011},
  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 = {Wed, 14 Nov 2018 10:52:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2010},
  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},
  isbn      = {978-0-387-09679-7},
  timestamp = {Mon, 15 Sep 2008 15:28:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/2008},
  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 = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2007},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7594},
  isbn      = {0-7803-6725-1},
  timestamp = {Thu, 12 May 2016 11:43:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icip/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier