BibTeX records: Pierre-Yves Strub

download as .bib file

@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. Cryptographic Engineering},
  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 = {Sun, 05 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jce/BartheBDFGSS20.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 = {Thu, 12 Mar 2020 00:00:00 +0100},
  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   = {Logical Methods in Computer Science},
  volume    = {15},
  number    = {4},
  year      = {2019},
  url       = {https://lmcs.episciences.org/5989},
  timestamp = {Tue, 21 Jan 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},
  editor    = {Lorenzo Cavallaro and
               Johannes Kinder and
               XiaoFeng Wang and
               Jonathan Katz},
  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},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3319535.3354228},
  doi       = {10.1145/3319535.3354228},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +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
               Cecile 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},
  editor    = {Lorenzo Cavallaro and
               Johannes Kinder and
               XiaoFeng Wang and
               Jonathan Katz},
  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},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3319535.3363211},
  doi       = {10.1145/3319535.3363211},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  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},
  publisher = {{IEEE}},
  year      = {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},
  archivePrefix = {arXiv},
  eprint    = {1904.04606},
  timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
  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.},
  volume    = {2019},
  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
               Cecile 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.},
  volume    = {2019},
  pages     = {1155},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/1155},
  timestamp = {Mon, 11 May 2020 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 = {Thu, 16 Apr 2020 01:00:00 +0200},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {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},
  editor    = {Amal Ahmed},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  pages     = {117--144},
  publisher = {Springer},
  year      = {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},
  editor    = {Cas Cremers and
               Anja Lehmann},
  title     = {hacspec: Towards Verifiable Crypto Standards},
  booktitle = {Security Standardisation Research - 4th International Conference,
               {SSR} 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11322},
  pages     = {1--20},
  publisher = {Springer},
  year      = {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},
  archivePrefix = {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},
  archivePrefix = {arXiv},
  eprint    = {1806.07197},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  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.},
  volume    = {2018},
  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.},
  volume    = {2018},
  pages     = {505},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/505},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  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 = {Thu, 16 Apr 2020 01:00:00 +0200},
  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},
  editor    = {Bhavani M. Thuraisingham and
               David Evans and
               Tal Malkin and
               Dongyan Xu},
  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},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133956.3134078},
  doi       = {10.1145/3133956.3134078},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  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},
  editor    = {Jean{-}S{\'{e}}bastien Coron and
               Jesper Buus Nielsen},
  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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10210},
  pages     = {535--566},
  year      = {2017},
  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},
  editor    = {Ioannis Chatzigiannakis and
               Piotr Indyk and
               Fabian Kuhn and
               Anca Muscholl},
  title     = {*-Liftings for Differential Privacy},
  booktitle = {44th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
  series    = {LIPIcs},
  volume    = {80},
  pages     = {102:1--102:12},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2017.102},
  doi       = {10.4230/LIPIcs.ICALP.2017.102},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  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},
  editor    = {Thomas Eiter and
               David Sands},
  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},
  series    = {EPiC Series in Computing},
  volume    = {46},
  pages     = {385--403},
  publisher = {EasyChair},
  year      = {2017},
  url       = {https://easychair.org/publications/paper/L9T5},
  timestamp = {Wed, 27 May 2020 16:02:02 +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},
  editor    = {Thomas Eiter and
               David Sands},
  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},
  series    = {EPiC Series in Computing},
  volume    = {46},
  pages     = {474--489},
  publisher = {EasyChair},
  year      = {2017},
  url       = {https://easychair.org/publications/paper/BKQ},
  timestamp = {Wed, 27 May 2020 16:02:02 +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},
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  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},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009896},
  timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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},
  editor    = {Edgar R. Weippl and
               Stefan Katzenbeisser and
               Christopher Kruegel and
               Andrew C. Myers and
               Shai Halevi},
  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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2976749.2978391},
  doi       = {10.1145/2976749.2978391},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  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},
  editor    = {Edgar R. Weippl and
               Stefan Katzenbeisser and
               Christopher Kruegel and
               Andrew C. Myers and
               Shai Halevi},
  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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2976749.2978371},
  doi       = {10.1145/2976749.2978371},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  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},
  editor    = {Edgar R. Weippl and
               Stefan Katzenbeisser and
               Christopher Kruegel and
               Andrew C. Myers and
               Shai Halevi},
  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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2976749.2978427},
  doi       = {10.1145/2976749.2978427},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  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},
  editor    = {Jeremy Avigad and
               Adam Chlipala},
  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},
  publisher = {{ACM}},
  year      = {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},
  editor    = {Ioannis Chatzigiannakis and
               Michael Mitzenmacher and
               Yuval Rabani and
               Davide Sangiorgi},
  title     = {A Program Logic for Union Bounds},
  booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2016, July 11-15, 2016, Rome, Italy},
  series    = {LIPIcs},
  volume    = {55},
  pages     = {107:1--107:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2016},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2016.107},
  doi       = {10.4230/LIPIcs.ICALP.2016.107},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  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},
  editor    = {Martin Grohe and
               Eric Koskinen and
               Natarajan Shankar},
  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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2933575.2934554},
  doi       = {10.1145/2933575.2934554},
  timestamp = {Sat, 19 Oct 2019 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},
  editor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  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},
  publisher = {{ACM}},
  year      = {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/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},
  editor    = {Yang Cai and
               Adrian Vetta},
  title     = {Computer-Aided Verification for Mechanism Design},
  booktitle = {Web and Internet Economics - 12th International Conference, {WINE}
               2016, Montreal, Canada, December 11-14, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10123},
  pages     = {279--293},
  publisher = {Springer},
  year      = {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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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.},
  volume    = {2016},
  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},
  editor    = {Elisabeth Oswald and
               Marc Fischlin},
  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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9056},
  pages     = {457--485},
  publisher = {Springer},
  year      = {2015},
  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},
  editor    = {Martin Davis and
               Ansgar Fehnker and
               Annabelle McIver and
               Andrei Voronkov},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9450},
  pages     = {387--401},
  publisher = {Springer},
  year      = {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},
  editor    = {Sriram K. Rajamani and
               David Walker},
  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},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2676726.2677000},
  doi       = {10.1145/2676726.2677000},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +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},
  publisher = {{IEEE} Computer Society},
  year      = {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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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.},
  volume    = {2015},
  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},
  editor    = {Juan A. Garay and
               Rosario Gennaro},
  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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8617},
  pages     = {235--255},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44381-1\_14},
  doi       = {10.1007/978-3-662-44381-1\_14},
  timestamp = {Tue, 14 May 2019 10:00:48 +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},
  publisher = {{IEEE} Computer Society},
  year      = {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},
  publisher = {{IEEE} Computer Society},
  year      = {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},
  editor    = {Gerwin Klein and
               Ruben Gamboa},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8558},
  pages     = {77--92},
  publisher = {Springer},
  year      = {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},
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2535838.2535847},
  doi       = {10.1145/2535838.2535847},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +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},
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2535838.2535889},
  doi       = {10.1145/2535838.2535889},
  timestamp = {Sun, 02 Jun 2019 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},
  publisher = {{IEEE} Computer Society},
  year      = {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},
  archivePrefix = {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},
  archivePrefix = {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.},
  volume    = {2014},
  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.},
  volume    = {2014},
  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, 14 Dec 2017 00:00:00 +0100},
  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},
  editor    = {Alessandro Aldini and
               Javier L{\'{o}}pez and
               Fabio Martinelli},
  title     = {EasyCrypt: {A} Tutorial},
  booktitle = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
               Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {8604},
  pages     = {146--166},
  publisher = {Springer},
  year      = {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},
  editor    = {Roberto Giacobazzi and
               Radhia Cousot},
  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},
  publisher = {{ACM}},
  year      = {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/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},
  publisher = {{IEEE} Computer Society},
  year      = {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},
  editor    = {John Field and
               Michael Hicks},
  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},
  publisher = {{ACM}},
  year      = {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/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},
  editor    = {Yan Chen and
               George Danezis and
               Vitaly Shmatikov},
  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},
  publisher = {{ACM}},
  year      = {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/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},
  editor    = {Manuel M. T. Chakravarty and
               Zhenjiang Hu and
               Olivier Danvy},
  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},
  publisher = {{ACM}},
  year      = {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/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},
  publisher = {{IEEE} Computer Society},
  year      = {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},
  editor    = {Anuj Dawar and
               Helmut Veith},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6247},
  pages     = {529--543},
  publisher = {Springer},
  year      = {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 = {Fri, 15 Jul 2016 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},
  editor    = {Giorgio Ausiello and
               Juhani Karhum{\"{a}}ki and
               Giancarlo Mauri and
               C.{-}H. Luke Ong},
  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},
  series    = {{IFIP}},
  volume    = {273},
  pages     = {349--365},
  publisher = {Springer},
  year      = {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},
  archivePrefix = {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},
  editor    = {Jacques Duparc and
               Thomas A. Henzinger},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {4646},
  pages     = {328--342},
  publisher = {Springer},
  year      = {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},
  archivePrefix = {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},
  publisher = {{IEEE}},
  year      = {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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics