Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Gilles Barthe
@article{DBLP:journals/joc/BartheBEFGRT24, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Thomas Espitau and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and M{\'{e}}lissa Rossi and Mehdi Tibouchi}, title = {Masking the {GLP} Lattice-Based Signature Scheme at Any Order}, journal = {J. Cryptol.}, volume = {37}, number = {1}, pages = {5}, year = {2024}, url = {https://doi.org/10.1007/s00145-023-09485-z}, doi = {10.1007/S00145-023-09485-Z}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/joc/BartheBEFGRT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/RakotonirinaBS24, author = {Itsaka Rakotonirina and Gilles Barthe and Clara Schneidewind}, title = {Decision and Complexity of Dolev-Yao Hyperproperties}, journal = {Proc. {ACM} Program. Lang.}, volume = {8}, number = {{POPL}}, pages = {1913--1944}, year = {2024}, url = {https://doi.org/10.1145/3632906}, doi = {10.1145/3632906}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/RakotonirinaBS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tches/OlmosBGGLLOS24, author = {Santiago Arranz Olmos and Gilles Barthe and Ruben Gonzalez and Benjamin Gr{\'{e}}goire and Vincent Laporte and Jean{-}Christophe L{\'{e}}chenet and Tiago Oliveira and Peter Schwabe}, title = {High-assurance zeroization}, journal = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.}, volume = {2024}, number = {1}, pages = {375--397}, year = {2024}, url = {https://doi.org/10.46586/tches.v2024.i1.375-397}, doi = {10.46586/TCHES.V2024.I1.375-397}, timestamp = {Tue, 02 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tches/OlmosBGGLLOS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/se/JancarFBSSBFA24, author = {Jan Jancar and Marcel Fourn{\'{e}} and Daniel De Almeida Braga and Mohamed Sabt and Peter Schwabe and Gilles Barthe and Pierre{-}Alain Fouque and Yasemin Acar}, editor = {Rick Rabiser and Manuel Wimmer and Iris Groher and Andreas Wortmann and Bianca Wiesmayr}, title = {They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks}, booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024}, series = {{LNI}}, volume = {{P-343}}, pages = {143--144}, publisher = {Gesellschaft f{\"{u}}r Informatik e.V.}, year = {2024}, url = {https://doi.org/10.18420/sw2024\_47}, doi = {10.18420/SW2024\_47}, timestamp = {Mon, 11 Mar 2024 16:51:10 +0100}, biburl = {https://dblp.org/rec/conf/se/JancarFBSSBFA24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-00641, author = {Gilles Barthe and Marcel B{\"{o}}hme and Sunjay Cauligi and Chitchanok Chuengsatiansup and Daniel Genkin and Marco Guarnieri and David Mateos Romero and Peter Schwabe and David Wu and Yuval Yarom}, title = {Testing side-channel security of cryptographic implementations against future microarchitectures}, journal = {CoRR}, volume = {abs/2402.00641}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00641}, doi = {10.48550/ARXIV.2402.00641}, eprinttype = {arXiv}, eprint = {2402.00641}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00641.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/KarimiBSV23, author = {Amir{-}Hossein Karimi and Gilles Barthe and Bernhard Sch{\"{o}}lkopf and Isabel Valera}, title = {A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential Recommendations}, journal = {{ACM} Comput. Surv.}, volume = {55}, number = {5}, pages = {95:1--95:29}, year = {2023}, url = {https://doi.org/10.1145/3527848}, doi = {10.1145/3527848}, timestamp = {Sun, 25 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/KarimiBSV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ZhouBSLY23, author = {Li Zhou and Gilles Barthe and Pierre{-}Yves Strub and Junyi Liu and Mingsheng Ying}, title = {CoqQ: Foundational Verification of Quantum Programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{POPL}}, pages = {833--865}, year = {2023}, url = {https://doi.org/10.1145/3571222}, doi = {10.1145/3571222}, timestamp = {Fri, 10 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ZhouBSLY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tches/AlmeidaBBGLL00Q23, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte and Jean{-}Christophe L{\'{e}}chenet and Tiago Oliveira and Hugo Pacheco and Miguel Quaresma and Peter Schwabe and Antoine S{\'{e}}r{\'{e}} and Pierre{-}Yves Strub}, title = {Formally verifying Kyber Episode {IV:} Implementation correctness}, journal = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.}, volume = {2023}, number = {3}, pages = {164--193}, year = {2023}, url = {https://doi.org/10.46586/tches.v2023.i3.164-193}, doi = {10.46586/TCHES.V2023.I3.164-193}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tches/AlmeidaBBGLL00Q23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tissec/BarbosaBGKS23, author = {Manuel Barbosa and Gilles Barthe and Benjamin Gr{\'{e}}goire and Adrien Koutsos and Pierre{-}Yves Strub}, title = {Mechanized Proofs of Adversarial Complexity and Application to Universal Composability}, journal = {{ACM} Trans. Priv. Secur.}, volume = {26}, number = {3}, pages = {41:1--41:34}, year = {2023}, url = {https://doi.org/10.1145/3589962}, doi = {10.1145/3589962}, timestamp = {Thu, 09 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tissec/BarbosaBGKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/BarbosaBDDFGHHLW22, author = {Manuel Barbosa and Gilles Barthe and Christian Doczkal and Jelle Don and Serge Fehr and Benjamin Gr{\'{e}}goire and Yu{-}Hsuan Huang and Andreas H{\"{u}}lsing and Yi Lee and Xiaodi Wu}, editor = {Helena Handschuh and Anna Lysyanskaya}, title = {Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium}, booktitle = {Advances in Cryptology - {CRYPTO} 2023 - 43rd Annual International Cryptology Conference, {CRYPTO} 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part {V}}, series = {Lecture Notes in Computer Science}, volume = {14085}, pages = {358--389}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-38554-4\_12}, doi = {10.1007/978-3-031-38554-4\_12}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/crypto/BarbosaBDDFGHHLW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/ShivakumarBGLOPST23, author = {Basavesh Ammanaghatta Shivakumar and Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte and Tiago Oliveira and Swarn Priya and Peter Schwabe and Lucas Tabary{-}Maujean}, title = {Typing High-Speed Cryptography against Spectre v1}, booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco, CA, USA, May 21-25, 2023}, pages = {1094--1111}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/SP46215.2023.10179418}, doi = {10.1109/SP46215.2023.10179418}, timestamp = {Thu, 27 Jul 2023 08:17:10 +0200}, biburl = {https://dblp.org/rec/conf/sp/ShivakumarBGLOPST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/ShivakumarBBCCGOSSY23, author = {Basavesh Ammanaghatta Shivakumar and Jack Barnes and Gilles Barthe and Sunjay Cauligi and Chitchanok Chuengsatiansup and Daniel Genkin and Sioli O'Connell and Peter Schwabe and Rui Qi Sim and Yuval Yarom}, title = {Spectre Declassified: Reading from the Right Place at the Wrong Time}, booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco, CA, USA, May 21-25, 2023}, pages = {1753--1770}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/SP46215.2023.10179355}, doi = {10.1109/SP46215.2023.10179355}, timestamp = {Thu, 27 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sp/ShivakumarBBCCGOSSY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/ZhangBCSY23, author = {Zhiyuan Zhang and Gilles Barthe and Chitchanok Chuengsatiansup and Peter Schwabe and Yuval Yarom}, editor = {Joseph A. Calandrino and Carmela Troncoso}, title = {Ultimate {SLH:} Taking Speculative Load Hardening to the Next Level}, booktitle = {32nd {USENIX} Security Symposium, {USENIX} Security 2023, Anaheim, CA, USA, August 9-11, 2023}, pages = {7125--7142}, publisher = {{USENIX} Association}, year = {2023}, url = {https://www.usenix.org/conference/usenixsecurity23/presentation/zhang-zhiyuan-slh}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uss/ZhangBCSY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBGLLOPQSSS23, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte and Jean{-}Christophe L{\'{e}}chenet and Tiago Oliveira and Hugo Pacheco and Miguel Quaresma and Peter Schwabe and Antoine S{\'{e}}r{\'{e}} and Pierre{-}Yves Strub}, title = {Formally verifying Kyber Part {I:} Implementation Correctness}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {215}, year = {2023}, url = {https://eprint.iacr.org/2023/215}, timestamp = {Tue, 28 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBGLLOPQSSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BarbosaBDDFGHHLW23, author = {Manuel Barbosa and Gilles Barthe and Christian Doczkal and Jelle Don and Serge Fehr and Benjamin Gr{\'{e}}goire and Yu{-}Hsuan Huang and Andreas H{\"{u}}lsing and Yi Lee and Xiaodi Wu}, title = {Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {246}, year = {2023}, url = {https://eprint.iacr.org/2023/246}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/BarbosaBDDFGHHLW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/OlmosBGGLLOS23, author = {Santiago Arranz Olmos and Gilles Barthe and Ruben Gonzalez and Benjamin Gr{\'{e}}goire and Vincent Laporte and Jean{-}Christophe L{\'{e}}chenet and Tiago Oliveira and Peter Schwabe}, title = {High-assurance zeroization}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1713}, year = {2023}, url = {https://eprint.iacr.org/2023/1713}, timestamp = {Thu, 09 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/OlmosBGGLLOS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/AlmeidaBBPPP22, author = {Jos{\'{e}} Carlos Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Hugo Pacheco and Vitor Pereira and Bernardo Portela}, title = {A formal treatment of the role of verified compilers in secure computation}, journal = {J. Log. Algebraic Methods Program.}, volume = {125}, pages = {100736}, year = {2022}, url = {https://doi.org/10.1016/j.jlamp.2021.100736}, doi = {10.1016/J.JLAMP.2021.100736}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlap/AlmeidaBBPPP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/VasilenkoVB22, author = {Elizaveta Vasilenko and Niki Vazou and Gilles Barthe}, title = {Safe couplings: coupled refinement types}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{ICFP}}, pages = {596--624}, year = {2022}, url = {https://doi.org/10.1145/3547643}, doi = {10.1145/3547643}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/VasilenkoVB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BartheCLG22, author = {Gilles Barthe and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Francesco Gavazzo}, title = {On Feller continuity and full abstraction}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{ICFP}}, pages = {826--854}, year = {2022}, url = {https://doi.org/10.1145/3547651}, doi = {10.1145/3547651}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/BartheCLG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BartheJK22, author = {Gilles Barthe and Charlie Jacomme and Steve Kremer}, title = {Universal Equivalence and Majority of Probabilistic Programs over Finite Fields}, journal = {{ACM} Trans. Comput. Log.}, volume = {23}, number = {1}, pages = {5:1--5:42}, year = {2022}, url = {https://doi.org/10.1145/3487063}, doi = {10.1145/3487063}, timestamp = {Thu, 20 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BartheJK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asiaccs/RakotonirinaA0B22, author = {Itsaka Rakotonirina and Miguel Ambrona and Alejandro Aguirre and Gilles Barthe}, editor = {Yuji Suga and Kouichi Sakurai and Xuhua Ding and Kazue Sako}, title = {Symbolic Synthesis of Indifferentiability Attacks}, booktitle = {{ASIA} {CCS} '22: {ACM} Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022 - 3 June 2022}, pages = {667--681}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3488932.3497759}, doi = {10.1145/3488932.3497759}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asiaccs/RakotonirinaA0B22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/ShivakumarBGLP22, author = {Basavesh Ammanaghatta Shivakumar and Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte and Swarn Priya}, editor = {Heng Yin and Angelos Stavrou and Cas Cremers and Elaine Shi}, title = {Enforcing Fine-grained Constant-time Policies}, booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2022, Los Angeles, CA, USA, November 7-11, 2022}, pages = {83--96}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3548606.3560689}, doi = {10.1145/3548606.3560689}, timestamp = {Sat, 17 Dec 2022 01:15:29 +0100}, biburl = {https://dblp.org/rec/conf/ccs/ShivakumarBGLP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheLMR22, author = {Gilles Barthe and Ugo Dal Lago and Giulio Malavolta and Itsaka Rakotonirina}, editor = {Heng Yin and Angelos Stavrou and Cas Cremers and Elaine Shi}, title = {Tidy: Symbolic Verification of Timed Cryptographic Protocols}, booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2022, Los Angeles, CA, USA, November 7-11, 2022}, pages = {263--276}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3548606.3559343}, doi = {10.1145/3548606.3559343}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheLMR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/LiuZBY22, author = {Junyi Liu and Li Zhou and Gilles Barthe and Mingsheng Ying}, editor = {Christel Baier and Dana Fisman}, title = {Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs}, booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022}, pages = {4:1--4:13}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3531130.3533327}, doi = {10.1145/3531130.3533327}, timestamp = {Tue, 09 Aug 2022 12:30:54 +0200}, biburl = {https://dblp.org/rec/conf/lics/LiuZBY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BartheKMPS22, author = {Gilles Barthe and Adrien Koutsos and Sol{\`{e}}ne Mirliaz and David Pichardie and Peter Schwabe}, editor = {Gagandeep Singh and Caterina Urban}, title = {Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs}, booktitle = {Static Analysis - 29th International Symposium, {SAS} 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13790}, pages = {372--396}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-22308-2\_17}, doi = {10.1007/978-3-031-22308-2\_17}, timestamp = {Thu, 08 Dec 2022 15:19:05 +0100}, biburl = {https://dblp.org/rec/conf/sas/BartheKMPS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/JancarFBSSBFA22, author = {Jan Jancar and Marcel Fourn{\'{e}} and Daniel De Almeida Braga and Mohamed Sabt and Peter Schwabe and Gilles Barthe and Pierre{-}Alain Fouque and Yasemin Acar}, title = {"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks}, booktitle = {43rd {IEEE} Symposium on Security and Privacy, {SP} 2022, San Francisco, CA, USA, May 22-26, 2022}, pages = {632--649}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/SP46214.2022.9833713}, doi = {10.1109/SP46214.2022.9833713}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sp/JancarFBSSBFA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/CauligiDMBS22, author = {Sunjay Cauligi and Craig Disselkoen and Daniel Moghimi and Gilles Barthe and Deian Stefan}, title = {SoK: Practical Foundations for Software Spectre Defenses}, booktitle = {43rd {IEEE} Symposium on Security and Privacy, {SP} 2022, San Francisco, CA, USA, May 22-26, 2022}, pages = {666--680}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/SP46214.2022.9833707}, doi = {10.1109/SP46214.2022.9833707}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sp/CauligiDMBS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-04034, author = {Nico Lehmann and Adam T. Geller and Gilles Barthe and Niki Vazou and Ranjit Jhala}, title = {Flux: Liquid Types for Rust}, journal = {CoRR}, volume = {abs/2207.04034}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.04034}, doi = {10.48550/ARXIV.2207.04034}, eprinttype = {arXiv}, eprint = {2207.04034}, timestamp = {Mon, 14 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-04034.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-10590, author = {Gilles Barthe and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Francesco Gavazzo}, title = {On Feller Continuity and Full Abstraction (Long Version)}, journal = {CoRR}, volume = {abs/2207.10590}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.10590}, doi = {10.48550/ARXIV.2207.10590}, eprinttype = {arXiv}, eprint = {2207.10590}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-10590.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-11350, author = {Li Zhou and Gilles Barthe and Pierre{-}Yves Strub and Junyi Liu and Mingsheng Ying}, title = {CoqQ: Foundational Verification of Quantum Programs}, journal = {CoRR}, volume = {abs/2207.11350}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.11350}, doi = {10.48550/ARXIV.2207.11350}, eprinttype = {arXiv}, eprint = {2207.11350}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-11350.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/ShivakumarBBCCG22, author = {Basavesh Ammanaghatta Shivakumar and Jack Barnes and Gilles Barthe and Sunjay Cauligi and Chitchanok Chuengsatiansup and Daniel Genkin and Sioli O'Connell and Peter Schwabe and Rui Qi Sim and Yuval Yarom}, title = {Spectre Declassified: Reading from the Right Place at the Wrong Time}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {426}, year = {2022}, url = {https://eprint.iacr.org/2022/426}, timestamp = {Thu, 21 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/ShivakumarBBCCG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/ShivakumarBGLP22, author = {Basavesh Ammanaghatta Shivakumar and Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte and Swarn Priya}, title = {Enforcing fine-grained constant-time policies}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {630}, year = {2022}, url = {https://eprint.iacr.org/2022/630}, timestamp = {Mon, 20 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/ShivakumarBGLP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/ZhangBCSY22, author = {Zhiyuan Zhang and Gilles Barthe and Chitchanok Chuengsatiansup and Peter Schwabe and Yuval Yarom}, title = {Breaking and Fixing Speculative Load Hardening}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {715}, year = {2022}, url = {https://eprint.iacr.org/2022/715}, timestamp = {Mon, 20 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/ZhangBCSY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/ShivakumarBGLOP22, author = {Basavesh Ammanaghatta Shivakumar and Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte and Tiago Oliveira and Swarn Priya and Peter Schwabe and Lucas Tabary{-}Maujean}, title = {Typing High-Speed Cryptography against Spectre v1}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1270}, year = {2022}, url = {https://eprint.iacr.org/2022/1270}, timestamp = {Sat, 22 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/ShivakumarBGLOP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AguirreBGGKS21, author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Shin{-}ya Katsumata and Tetsuya Sato}, title = {Higher-order probabilistic adversarial computations: categorical semantics and program logics}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{ICFP}}, pages = {1--30}, year = {2021}, url = {https://doi.org/10.1145/3473598}, doi = {10.1145/3473598}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AguirreBGGKS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AvanziniBL21, author = {Martin Avanzini and Gilles Barthe and Ugo Dal Lago}, title = {On continuation-passing transformations and expected cost analysis}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{ICFP}}, pages = {1--30}, year = {2021}, url = {https://doi.org/10.1145/3473592}, doi = {10.1145/3473592}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AvanziniBL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/0001BHKKM21, author = {Alejandro Aguirre and Gilles Barthe and Justin Hsu and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja}, title = {A pre-expectation calculus for probabilistic sensitivity}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{POPL}}, pages = {1--28}, year = {2021}, url = {https://doi.org/10.1145/3434333}, doi = {10.1145/3434333}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/0001BHKKM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BartheCKS021, author = {Gilles Barthe and Rohit Chadha and Paul Krogmeier and A. Prasad Sistla and Mahesh Viswanathan}, title = {Deciding accuracy of differential privacy schemes}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{POPL}}, pages = {1--30}, year = {2021}, url = {https://doi.org/10.1145/3434289}, doi = {10.1145/3434289}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BartheCKS021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tches/BartheGGOPP21, author = {Gilles Barthe and Marc Gourjon and Benjamin Gr{\'{e}}goire and Maximilian Orlt and Clara Paglialonga and Lars Porth}, title = {Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification}, journal = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.}, volume = {2021}, number = {2}, pages = {189--228}, year = {2021}, url = {https://doi.org/10.46586/tches.v2021.i2.189-228}, doi = {10.46586/TCHES.V2021.I2.189-228}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tches/BartheGGOPP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aies/MohammadiKBV21, author = {Kiarash Mohammadi and Amir{-}Hossein Karimi and Gilles Barthe and Isabel Valera}, editor = {Marion Fourcade and Benjamin Kuipers and Seth Lazar and Deirdre K. Mulligan}, title = {Scaling Guarantees for Nearest Counterfactual Explanations}, booktitle = {{AIES} '21: {AAAI/ACM} Conference on AI, Ethics, and Society, Virtual Event, USA, May 19-21, 2021}, pages = {177--187}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3461702.3462514}, doi = {10.1145/3461702.3462514}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aies/MohammadiKBV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheGLP21, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte and Swarn Priya}, editor = {Yongdae Kim and Jong Kim and Giovanni Vigna and Elaine Shi}, title = {Structured Leakage and Applications to Cryptographic Constant-Time and Cost}, booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021}, pages = {462--476}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460120.3484761}, doi = {10.1145/3460120.3484761}, timestamp = {Tue, 16 Nov 2021 12:59:46 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheGLP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BarbosaBGKS21, author = {Manuel Barbosa and Gilles Barthe and Benjamin Gr{\'{e}}goire and Adrien Koutsos and Pierre{-}Yves Strub}, editor = {Yongdae Kim and Jong Kim and Giovanni Vigna and Elaine Shi}, title = {Mechanized Proofs of Adversarial Complexity and Application to Universal Composability}, booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021}, pages = {2541--2563}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460120.3484548}, doi = {10.1145/3460120.3484548}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ccs/BarbosaBGKS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BarbosaBFGHKSWZ21, author = {Manuel Barbosa and Gilles Barthe and Xiong Fan and Benjamin Gr{\'{e}}goire and Shih{-}Han Hung and Jonathan Katz and Pierre{-}Yves Strub and Xiaodi Wu and Li Zhou}, editor = {Yongdae Kim and Jong Kim and Giovanni Vigna and Elaine Shi}, title = {EasyPQC: Verifying Post-Quantum Cryptography}, booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021}, pages = {2564--2586}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460120.3484567}, doi = {10.1145/3460120.3484567}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BarbosaBFGHKSWZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheBHP21, author = {Gilles Barthe and Sandrine Blazy and R{\'{e}}mi Hutin and David Pichardie}, title = {Secure Compilation of Constant-Resource Programs}, booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik, Croatia, June 21-25, 2021}, pages = {1--12}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/CSF51468.2021.00020}, doi = {10.1109/CSF51468.2021.00020}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csfw/BartheBHP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/ZhouBHYY21, author = {Li Zhou and Gilles Barthe and Justin Hsu and Mingsheng Ying and Nengkun Yu}, title = {A Quantum Interpretation of Bunched Logic {\&} Quantum Separation Logic}, booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2021, Rome, Italy, June 29 - July 2, 2021}, pages = {1--14}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/LICS52264.2021.9470673}, doi = {10.1109/LICS52264.2021.9470673}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/ZhouBHYY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/BarbosaBBBCLP21, author = {Manuel Barbosa and Gilles Barthe and Karthik Bhargavan and Bruno Blanchet and Cas Cremers and Kevin Liao and Bryan Parno}, title = {SoK: Computer-Aided Cryptography}, booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco, CA, USA, 24-27 May 2021}, pages = {777--795}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/SP40001.2021.00008}, doi = {10.1109/SP40001.2021.00008}, timestamp = {Thu, 21 Sep 2023 15:57:26 +0200}, biburl = {https://dblp.org/rec/conf/sp/BarbosaBBBCLP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/BartheCGKLOPRS21, author = {Gilles Barthe and Sunjay Cauligi and Benjamin Gr{\'{e}}goire and Adrien Koutsos and Kevin Liao and Tiago Oliveira and Swarn Priya and Tamara Rezk and Peter Schwabe}, title = {High-Assurance Cryptography in the Spectre Era}, booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco, CA, USA, 24-27 May 2021}, pages = {1884--1901}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/SP40001.2021.00046}, doi = {10.1109/SP40001.2021.00046}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sp/BartheCGKLOPRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-00329, author = {Li Zhou and Gilles Barthe and Justin Hsu and Mingsheng Ying and Nengkun Yu}, title = {A Quantum Interpretation of Bunched Logic for Quantum Separation Logic}, journal = {CoRR}, volume = {abs/2102.00329}, year = {2021}, url = {https://arxiv.org/abs/2102.00329}, eprinttype = {arXiv}, eprint = {2102.00329}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-00329.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-05801, author = {Sunjay Cauligi and Craig Disselkoen and Daniel Moghimi and Gilles Barthe and Deian Stefan}, title = {SoK: Practical Foundations for Spectre Defenses}, journal = {CoRR}, volume = {abs/2105.05801}, year = {2021}, url = {https://arxiv.org/abs/2105.05801}, eprinttype = {arXiv}, eprint = {2105.05801}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-05801.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-01155, author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Shin{-}ya Katsumata and Tetsuya Sato}, title = {Higher-order probabilistic adversarial computations: Categorical semantics and program logics}, journal = {CoRR}, volume = {abs/2107.01155}, year = {2021}, url = {https://arxiv.org/abs/2107.01155}, eprinttype = {arXiv}, eprint = {2107.01155}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-01155.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BarbosaBGKS21, author = {Manuel Barbosa and Gilles Barthe and Benjamin Gr{\'{e}}goire and Adrien Koutsos and Pierre{-}Yves Strub}, title = {Mechanized Proofs of Adversarial Complexity and Application to Universal Composability}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {156}, year = {2021}, url = {https://eprint.iacr.org/2021/156}, timestamp = {Tue, 02 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/BarbosaBGKS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheGLP21, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte and Swarn Priya}, title = {Structured Leakage and Applications to Cryptographic Constant-Time and Cost}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {650}, year = {2021}, url = {https://eprint.iacr.org/2021/650}, timestamp = {Mon, 07 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheGLP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BarbosaBFGHKSWZ21, author = {Manuel Barbosa and Gilles Barthe and Xiong Fan and Benjamin Gr{\'{e}}goire and Shih{-}Han Hung and Jonathan Katz and Pierre{-}Yves Strub and Xiaodi Wu and Li Zhou}, title = {EasyPQC: Verifying Post-Quantum Cryptography}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1253}, year = {2021}, url = {https://eprint.iacr.org/2021/1253}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/BarbosaBFGHKSWZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/JancarFBSSBFA21, author = {Jan Jancar and Marcel Fourn{\'{e}} and Daniel De Almeida Braga and Mohamed Sabt and Peter Schwabe and Gilles Barthe and Pierre{-}Alain Fouque and Yasemin Acar}, title = {{\^{a}}{\mbox{\texteuro}}{\oe}They{\^{a}}{\mbox{\texteuro}}{\texttrademark}re not that hard to mitigate{\^{a}}{\mbox{\texteuro}}{\unicode{157}}: What Cryptographic Library Developers Think About Timing Attacks}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1650}, year = {2021}, url = {https://eprint.iacr.org/2021/1650}, timestamp = {Thu, 13 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/JancarFBSSBFA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BartheBC0P20, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna and David Pichardie}, title = {System-Level Non-interference of Constant-Time Cryptography. Part {II:} Verified Static Analysis and Stealth Memory}, journal = {J. Autom. Reason.}, volume = {64}, number = {8}, pages = {1685--1729}, year = {2020}, url = {https://doi.org/10.1007/s10817-020-09548-x}, doi = {10.1007/S10817-020-09548-X}, timestamp = {Tue, 20 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BartheBC0P20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jce/BartheBDFGSS20, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Fran{\c{c}}ois{-}Xavier Standaert and Pierre{-}Yves Strub}, title = {Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations}, journal = {J. Cryptogr. Eng.}, volume = {10}, number = {1}, pages = {17--26}, year = {2020}, url = {https://doi.org/10.1007/s13389-018-00202-2}, doi = {10.1007/S13389-018-00202-2}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jce/BartheBDFGSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpc/BalleBG20, author = {Borja Balle and Gilles Barthe and Marco Gaboardi}, title = {Privacy Profiles and Amplification by Subsampling}, journal = {J. Priv. Confidentiality}, volume = {10}, number = {1}, year = {2020}, url = {https://doi.org/10.29012/jpc.726}, doi = {10.29012/JPC.726}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jpc/BalleBG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BartheBGHLPT20, author = {Gilles Barthe and Sandrine Blazy and Benjamin Gr{\'{e}}goire and R{\'{e}}mi Hutin and Vincent Laporte and David Pichardie and Alix Trieu}, title = {Formal verification of a constant-time preserving {C} compiler}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{POPL}}, pages = {7:1--7:30}, year = {2020}, url = {https://doi.org/10.1145/3371075}, doi = {10.1145/3371075}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/BartheBGHLPT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BartheHYYZ20, author = {Gilles Barthe and Justin Hsu and Mingsheng Ying and Nengkun Yu and Li Zhou}, title = {Relational proofs for quantum programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{POPL}}, pages = {21:1--21:29}, year = {2020}, url = {https://doi.org/10.1145/3371089}, doi = {10.1145/3371089}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/BartheHYYZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BartheHL20, author = {Gilles Barthe and Justin Hsu and Kevin Liao}, title = {A probabilistic separation logic}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{POPL}}, pages = {55:1--55:30}, year = {2020}, url = {https://doi.org/10.1145/3371123}, doi = {10.1145/3371123}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BartheHL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aistats/KarimiBBV20, author = {Amir{-}Hossein Karimi and Gilles Barthe and Borja Balle and Isabel Valera}, editor = {Silvia Chiappa and Roberto Calandra}, title = {Model-Agnostic Counterfactual Explanations for Consequential Decisions}, booktitle = {The 23rd International Conference on Artificial Intelligence and Statistics, {AISTATS} 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy]}, series = {Proceedings of Machine Learning Research}, volume = {108}, pages = {895--905}, publisher = {{PMLR}}, year = {2020}, url = {http://proceedings.mlr.press/v108/karimi20a.html}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aistats/KarimiBBV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aistats/BalleBGHS20, author = {Borja Balle and Gilles Barthe and Marco Gaboardi and Justin Hsu and Tetsuya Sato}, editor = {Silvia Chiappa and Roberto Calandra}, title = {Hypothesis Testing Interpretations and Renyi Differential Privacy}, booktitle = {The 23rd International Conference on Artificial Intelligence and Statistics, {AISTATS} 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy]}, series = {Proceedings of Machine Learning Research}, volume = {108}, pages = {2496--2506}, publisher = {{PMLR}}, year = {2020}, url = {http://proceedings.mlr.press/v108/balle20a.html}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aistats/BalleBGHS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BartheCLG20, author = {Gilles Barthe and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Francesco Gavazzo}, editor = {Peter M{\"{u}}ller}, title = {On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem}, booktitle = {Programming Languages and Systems - 29th European Symposium on Programming, {ESOP} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12075}, pages = {56--83}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44914-8\_3}, doi = {10.1007/978-3-030-44914-8\_3}, timestamp = {Fri, 14 May 2021 08:34:21 +0200}, biburl = {https://dblp.org/rec/conf/esop/BartheCLG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indocrypt/AlmeidaBBL020, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Vincent Laporte and Tiago Oliveira}, editor = {Karthikeyan Bhargavan and Elisabeth Oswald and Manoj Prabhakaran}, title = {Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification}, booktitle = {Progress in Cryptology - {INDOCRYPT} 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12578}, pages = {107--127}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-65277-7\_6}, doi = {10.1007/978-3-030-65277-7\_6}, timestamp = {Wed, 17 Apr 2024 21:39:19 +0200}, biburl = {https://dblp.org/rec/conf/indocrypt/AlmeidaBBL020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BartheCJS020, author = {Gilles Barthe and Rohit Chadha and Vishal Jagannath and A. Prasad Sistla and Mahesh Viswanathan}, editor = {Holger Hermanns and Lijun Zhang and Naoki Kobayashi and Dale Miller}, title = {Deciding Differential Privacy for Programs with Finite Inputs and Outputs}, booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020}, pages = {141--154}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3373718.3394796}, doi = {10.1145/3373718.3394796}, timestamp = {Sat, 30 Sep 2023 09:52:07 +0200}, biburl = {https://dblp.org/rec/conf/lics/BartheCJS020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BartheJK20, author = {Gilles Barthe and Charlie Jacomme and Steve Kremer}, editor = {Holger Hermanns and Lijun Zhang and Naoki Kobayashi and Dale Miller}, title = {Universal equivalence and majority of probabilistic programs over finite fields}, booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020}, pages = {155--166}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3373718.3394746}, doi = {10.1145/3373718.3394746}, timestamp = {Tue, 02 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/BartheJK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/CauligiDGTSRB20, author = {Sunjay Cauligi and Craig Disselkoen and Klaus von Gleissenthall and Dean M. Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe}, editor = {Alastair F. Donaldson and Emina Torlak}, title = {Constant-time foundations for the new spectre era}, booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, {PLDI} 2020, London, UK, June 15-20, 2020}, pages = {913--926}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3385412.3385970}, doi = {10.1145/3385412.3385970}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/CauligiDGTSRB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/AlmeidaBBGKL0S20, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Benjamin Gr{\'{e}}goire and Adrien Koutsos and Vincent Laporte and Tiago Oliveira and Pierre{-}Yves Strub}, title = {The Last Mile: High-Assurance and High-Speed Cryptographic Implementations}, booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco, CA, USA, May 18-21, 2020}, pages = {965--982}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/SP40000.2020.00028}, doi = {10.1109/SP40000.2020.00028}, timestamp = {Thu, 21 Sep 2023 15:57:24 +0200}, biburl = {https://dblp.org/rec/conf/sp/AlmeidaBBGKL0S20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-08489, author = {Gilles Barthe and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Francesco Gavazzo}, title = {On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem}, journal = {CoRR}, volume = {abs/2002.08489}, year = {2020}, url = {https://arxiv.org/abs/2002.08489}, eprinttype = {arXiv}, eprint = {2002.08489}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-08489.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-04050, author = {Amir{-}Hossein Karimi and Gilles Barthe and Bernhard Sch{\"{o}}lkopf and Isabel Valera}, title = {A survey of algorithmic recourse: definitions, formulations, solutions, and prospects}, journal = {CoRR}, volume = {abs/2010.04050}, year = {2020}, url = {https://arxiv.org/abs/2010.04050}, eprinttype = {arXiv}, eprint = {2010.04050}, timestamp = {Tue, 13 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-04050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-04965, author = {Kiarash Mohammadi and Amir{-}Hossein Karimi and Gilles Barthe and Isabel Valera}, title = {Scaling Guarantees for Nearest Counterfactual Explanations}, journal = {CoRR}, volume = {abs/2010.04965}, year = {2020}, url = {https://arxiv.org/abs/2010.04965}, eprinttype = {arXiv}, eprint = {2010.04965}, timestamp = {Tue, 20 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-04965.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-06404, author = {Gilles Barthe and Rohit Chadha and Paul Krogmeier and A. Prasad Sistla and Mahesh Viswanathan}, title = {Deciding Accuracy of Differential Privacy Schemes}, journal = {CoRR}, volume = {abs/2011.06404}, year = {2020}, url = {https://arxiv.org/abs/2011.06404}, eprinttype = {arXiv}, eprint = {2011.06404}, timestamp = {Wed, 18 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-06404.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-08069, author = {Gilles Barthe and Roberta De Viti and Peter Druschel and Deepak Garg and Manuel Gomez{-}Rodriguez and Pierfrancesco Ingo and Matthew Lentz and Aastha Mehta and Bernhard Sch{\"{o}}lkopf}, title = {PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation}, journal = {CoRR}, volume = {abs/2011.08069}, year = {2020}, url = {https://arxiv.org/abs/2011.08069}, eprinttype = {arXiv}, eprint = {2011.08069}, timestamp = {Wed, 18 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-08069.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheGGOPP20, author = {Gilles Barthe and Marc Gourjon and Benjamin Gr{\'{e}}goire and Maximilian Orlt and Clara Paglialonga and Lars Porth}, title = {Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {603}, year = {2020}, url = {https://eprint.iacr.org/2020/603}, timestamp = {Wed, 27 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheGGOPP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheCGKLOPRS20, author = {Gilles Barthe and Sunjay Cauligi and Benjamin Gr{\'{e}}goire and Adrien Koutsos and Kevin Liao and Tiago Oliveira and Swarn Priya and Tamara Rezk and Peter Schwabe}, title = {High-Assurance Cryptography Software in the Spectre Era}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1104}, year = {2020}, url = {https://eprint.iacr.org/2020/1104}, timestamp = {Wed, 30 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheCGKLOPRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BartheBCL19, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna}, title = {System-Level Non-interference of Constant-Time Cryptography. Part {I:} Model}, journal = {J. Autom. Reason.}, volume = {63}, number = {1}, pages = {1--51}, year = {2019}, url = {https://doi.org/10.1007/s10817-017-9441-5}, doi = {10.1007/S10817-017-9441-5}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BartheBCL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BaillotBL19, author = {Patrick Baillot and Gilles Barthe and Ugo Dal Lago}, title = {Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs}, journal = {J. Autom. Reason.}, volume = {63}, number = {4}, pages = {813--855}, year = {2019}, url = {https://doi.org/10.1007/s10817-019-09530-2}, doi = {10.1007/S10817-019-09530-2}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BaillotBL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/AguirreBGGS19, author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Pierre{-}Yves Strub}, title = {A relational logic for higher-order programs}, journal = {J. Funct. Program.}, volume = {29}, pages = {e16}, year = {2019}, url = {https://doi.org/10.1017/S0956796819000145}, doi = {10.1017/S0956796819000145}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/AguirreBGGS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/joc/BartheFFMSS19, author = {Gilles Barthe and Edvard Fagerholm and Dario Fiore and John C. Mitchell and Andre Scedrov and Benedikt Schmidt}, title = {Automated Analysis of Cryptographic Assumptions in Generic Group Models}, journal = {J. Cryptol.}, volume = {32}, number = {2}, pages = {324--360}, year = {2019}, url = {https://doi.org/10.1007/s00145-018-9302-3}, doi = {10.1007/S00145-018-9302-3}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/joc/BartheFFMSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpc/BartheDGHRS19, author = {Gilles Barthe and Christos Dimitrakakis and Marco Gaboardi and Andreas Haeberlen and Aaron Roth and Aleksandra B. Slavkovic}, title = {Program for {TPDP} 2016}, journal = {J. Priv. Confidentiality}, volume = {9}, number = {1}, year = {2019}, url = {https://doi.org/10.29012/jpc.699}, doi = {10.29012/JPC.699}, timestamp = {Wed, 09 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jpc/BartheDGHRS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BartheEHSS19, author = {Gilles Barthe and Thomas Espitau and Justin Hsu and Tetsuya Sato and Pierre{-}Yves Strub}, title = {Relational {\(\star\)}{\(\star\)}{\textbackslash}star-Liftings for Differential Privacy}, journal = {Log. Methods Comput. Sci.}, volume = {15}, number = {4}, year = {2019}, url = {https://doi.org/10.23638/LMCS-15(4:18)2019}, doi = {10.23638/LMCS-15(4:18)2019}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BartheEHSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SatoABGGH19, author = {Tetsuya Sato and Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Justin Hsu}, title = {Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {38:1--38:30}, year = {2019}, url = {https://doi.org/10.1145/3290351}, doi = {10.1145/3290351}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/SatoABGGH19.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, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBCCGPPS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/AlmeidaBBBDGL0S19, author = {Jos{\'{e}} Bacelar Almeida and C{\'{e}}cile Baritel{-}Ruet and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir and Benjamin Gr{\'{e}}goire and Vincent Laporte and Tiago Oliveira and Alley Stoughton and Pierre{-}Yves Strub}, 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 = {Mon, 29 Mar 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBBDGL0S19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheBEFRT19, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Thomas Espitau and Pierre{-}Alain Fouque and M{\'{e}}lissa Rossi and Mehdi Tibouchi}, editor = {Lorenzo Cavallaro and Johannes Kinder and XiaoFeng Wang and Jonathan Katz}, title = {{GALACTICS:} Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited}, booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2019, London, UK, November 11-15, 2019}, pages = {2147--2164}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3319535.3363223}, doi = {10.1145/3319535.3363223}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheBEFRT19.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} }
@inproceedings{DBLP:conf/esorics/BartheBCFGS19, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Ga{\"{e}}tan Cassiers and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Fran{\c{c}}ois{-}Xavier Standaert}, editor = {Kazue Sako and Steve A. Schneider and Peter Y. A. Ryan}, title = {maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults}, booktitle = {Computer Security - {ESORICS} 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11735}, pages = {300--318}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29959-0\_15}, doi = {10.1007/978-3-030-29959-0\_15}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esorics/BartheBCFGS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BartheEGGKM19, author = {Gilles Barthe and Renate Eilers and Pamina Georgiou and Bernhard Gleiss and Laura Kov{\'{a}}cs and Matteo Maffei}, editor = {Clark W. Barrett and Jin Yang}, title = {Verifying Relational Properties using Trace Logic}, booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose, CA, USA, October 22-25, 2019}, pages = {170--178}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.23919/FMCAD.2019.8894277}, doi = {10.23919/FMCAD.2019.8894277}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BartheEGGKM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/SatoBGHK19, author = {Tetsuya Sato and Gilles Barthe and Marco Gaboardi and Justin Hsu and Shin{-}ya Katsumata}, title = {Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--14}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785668}, doi = {10.1109/LICS.2019.8785668}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/SatoBGHK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/BalleBGG19, author = {Borja Balle and Gilles Barthe and Marco Gaboardi and Joseph Geumlek}, editor = {Hanna M. Wallach and Hugo Larochelle and Alina Beygelzimer and Florence d'Alch{\'{e}}{-}Buc and Emily B. Fox and Roman Garnett}, title = {Privacy Amplification by Mixing and Diffusion Mechanisms}, booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada}, pages = {13277--13287}, year = {2019}, url = {https://proceedings.neurips.cc/paper/2019/hash/c4c42505a03f2e969b4c0a97ee9b34e7-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/BalleBGG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/CauligiSJBWRGBJ19, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Gr{\'{e}}goire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {FaCT: a {DSL} for timing-sensitive computation}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {174--189}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314605}, doi = {10.1145/3314221.3314605}, timestamp = {Sun, 09 Jun 2019 18:52:19 +0200}, biburl = {https://dblp.org/rec/conf/pldi/CauligiSJBWRGBJ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/CicekQBG019, author = {Ezgi {\c{C}}i{\c{c}}ek and Weihao Qu and Gilles Barthe and Marco Gaboardi and Deepak Garg}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {Bidirectional type checking for relational properties}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {533--547}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314603}, doi = {10.1145/3314221.3314603}, timestamp = {Sun, 09 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/CicekQBG019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-05184, author = {Gilles Barthe and Justin Hsu and Mingsheng Ying and Nengkun Yu and Li Zhou}, title = {Coupling Techniques for Reasoning about Quantum Programs}, journal = {CoRR}, volume = {abs/1901.05184}, year = {2019}, url = {http://arxiv.org/abs/1901.05184}, eprinttype = {arXiv}, eprint = {1901.05184}, timestamp = {Fri, 01 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-05184.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-06540, author = {Alejandro Aguirre and Gilles Barthe and Justin Hsu and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Christoph Matheja}, title = {Kantorovich Continuity of Probabilistic Programs}, journal = {CoRR}, volume = {abs/1901.06540}, year = {2019}, url = {http://arxiv.org/abs/1901.06540}, eprinttype = {arXiv}, eprint = {1901.06540}, timestamp = {Sat, 02 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-06540.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-04606, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Benjamin Gr{\'{e}}goire and Adrien Koutsos and Vincent Laporte and Tiago Oliveira and Pierre{-}Yves Strub}, title = {The Last Mile: High-Assurance and High-Speed Cryptographic Implementations}, journal = {CoRR}, volume = {abs/1904.04606}, year = {2019}, url = {http://arxiv.org/abs/1904.04606}, eprinttype = {arXiv}, eprint = {1904.04606}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-04606.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-09982, author = {Borja Balle and Gilles Barthe and Marco Gaboardi and Justin Hsu and Tetsuya Sato}, title = {Hypothesis Testing Interpretations and Renyi Differential Privacy}, journal = {CoRR}, volume = {abs/1905.09982}, year = {2019}, url = {http://arxiv.org/abs/1905.09982}, eprinttype = {arXiv}, eprint = {1905.09982}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-09982.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-11190, author = {Amir{-}Hossein Karimi and Gilles Barthe and Borja Balle and Isabel Valera}, title = {Model-Agnostic Counterfactual Explanations for Consequential Decisions}, journal = {CoRR}, volume = {abs/1905.11190}, year = {2019}, url = {http://arxiv.org/abs/1905.11190}, eprinttype = {arXiv}, eprint = {1905.11190}, timestamp = {Mon, 03 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-11190.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-12264, author = {Borja Balle and Gilles Barthe and Marco Gaboardi and Joseph Geumlek}, title = {Privacy Amplification by Mixing and Diffusion Mechanisms}, journal = {CoRR}, volume = {abs/1905.12264}, year = {2019}, url = {http://arxiv.org/abs/1905.12264}, eprinttype = {arXiv}, eprint = {1905.12264}, timestamp = {Mon, 03 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-12264.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-09899, author = {Gilles Barthe and Renate Eilers and Pamina Georgiou and Bernhard Gleiss and Laura Kov{\'{a}}cs and Matteo Maffei}, title = {Verifying Relational Properties using Trace Logic}, journal = {CoRR}, volume = {abs/1906.09899}, year = {2019}, url = {http://arxiv.org/abs/1906.09899}, eprinttype = {arXiv}, eprint = {1906.09899}, timestamp = {Thu, 27 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-09899.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-10708, author = {Gilles Barthe and Justin Hsu and Kevin Liao}, title = {A Probabilistic Separation Logic}, journal = {CoRR}, volume = {abs/1907.10708}, year = {2019}, url = {http://arxiv.org/abs/1907.10708}, eprinttype = {arXiv}, eprint = {1907.10708}, timestamp = {Thu, 01 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-10708.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-01755, author = {Sunjay Cauligi and Craig Disselkoen and Klaus von Gleissenthall and Deian Stefan and Tamara Rezk and Gilles Barthe}, title = {Towards Constant-Time Foundations for the New Spectre Era}, journal = {CoRR}, volume = {abs/1910.01755}, year = {2019}, url = {http://arxiv.org/abs/1910.01755}, eprinttype = {arXiv}, eprint = {1910.01755}, timestamp = {Wed, 09 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-01755.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-04137, author = {Gilles Barthe and Rohit Chadha and Vishal Jagannath and A. Prasad Sistla and Mahesh Viswanathan}, title = {Automated Methods for Checking Differential Privacy}, journal = {CoRR}, volume = {abs/1910.04137}, year = {2019}, url = {http://arxiv.org/abs/1910.04137}, eprinttype = {arXiv}, eprint = {1910.04137}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-04137.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheBEFRT19, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Thomas Espitau and Pierre{-}Alain Fouque and M{\'{e}}lissa Rossi and Mehdi Tibouchi}, title = {{GALACTICS:} Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {511}, year = {2019}, url = {https://eprint.iacr.org/2019/511}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheBEFRT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheBGHLPT19, author = {Gilles Barthe and Sandrine Blazy and Benjamin Gr{\'{e}}goire and R{\'{e}}mi Hutin and Vincent Laporte and David Pichardie and Alix Trieu}, title = {Formal Verification of a Constant-Time Preserving {C} Compiler}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {926}, year = {2019}, url = {https://eprint.iacr.org/2019/926}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheBGHLPT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBCCGPPS19, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Matthew Campagna and Ernie Cohen and Benjamin Gr{\'{e}}goire and Vitor Pereira and Bernardo Portela and Pierre{-}Yves Strub and Serdar Tasiran}, title = {A Machine-Checked Proof of Security for {AWS} Key Management Service}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1042}, year = {2019}, url = {https://eprint.iacr.org/2019/1042}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBCCGPPS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBBDGLOS19, author = {Jos{\'{e}} Bacelar Almeida and C{\'{e}}cile Baritel{-}Ruet and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir and Benjamin Gr{\'{e}}goire and Vincent Laporte and Tiago Oliveira and Alley Stoughton and Pierre{-}Yves Strub}, title = {Machine-Checked Proofs for Cryptographic Standards}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1155}, year = {2019}, url = {https://eprint.iacr.org/2019/1155}, timestamp = {Mon, 29 Mar 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBBDGLOS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BarbosaBBBCLP19, author = {Manuel Barbosa and Gilles Barthe and Karthikeyan Bhargavan and Bruno Blanchet and Cas Cremers and Kevin Liao and Bryan Parno}, title = {SoK: Computer-Aided Cryptography}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1393}, year = {2019}, url = {https://eprint.iacr.org/2019/1393}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BarbosaBBBCLP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/RadicekBG0Z18, author = {Ivan Radicek and Gilles Barthe and Marco Gaboardi and Deepak Garg and Florian Zuleger}, title = {Monadic refinements for relational cost analysis}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{POPL}}, pages = {36:1--36:32}, year = {2018}, url = {https://doi.org/10.1145/3158124}, doi = {10.1145/3158124}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/RadicekBG0Z18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BartheEGHS18, author = {Gilles Barthe and Thomas Espitau and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, title = {Proving expected sensitivity of probabilistic programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{POPL}}, pages = {57:1--57:29}, year = {2018}, url = {https://doi.org/10.1145/3158145}, doi = {10.1145/3158145}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BartheEGHS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheFGGJS18, author = {Gilles Barthe and Xiong Fan and Joshua Gancher and Benjamin Gr{\'{e}}goire and Charlie Jacomme and Elaine Shi}, editor = {David Lie and Mohammad Mannan and Michael Backes and XiaoFeng Wang}, title = {Symbolic Proofs for Lattice-Based Cryptography}, booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2018, Toronto, ON, Canada, October 15-19, 2018}, pages = {538--555}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3243734.3243825}, doi = {10.1145/3243734.3243825}, timestamp = {Tue, 10 Nov 2020 20:00:51 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheFGGJS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/AlmeidaBB0PP18, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Hugo Pacheco and Vitor Pereira and Bernardo Portela}, title = {Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing {MPC} Frameworks}, booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford, United Kingdom, July 9-12, 2018}, pages = {132--146}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/CSF.2018.00017}, doi = {10.1109/CSF.2018.00017}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/AlmeidaBB0PP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheGL18, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte}, title = {Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time"}, booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford, United Kingdom, July 9-12, 2018}, pages = {328--343}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/CSF.2018.00031}, doi = {10.1109/CSF.2018.00031}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheGL18.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 = {Tue, 05 Jul 2022 08:30:25 +0200}, biburl = {https://dblp.org/rec/conf/esop/BartheEGGHS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/0001BBBG018, author = {Alejandro Aguirre and Gilles Barthe and Lars Birkedal and Ales Bizjak and Marco Gaboardi and Deepak Garg}, editor = {Amal Ahmed}, title = {Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus}, 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 = {214--241}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89884-1\_8}, doi = {10.1007/978-3-319-89884-1\_8}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/0001BBBG018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocrypt/BartheBEFGRT18, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Thomas Espitau and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and M{\'{e}}lissa Rossi and Mehdi Tibouchi}, editor = {Jesper Buus Nielsen and Vincent Rijmen}, title = {Masking the {GLP} Lattice-Based Signature Scheme at Any Order}, booktitle = {Advances in Cryptology - {EUROCRYPT} 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10821}, pages = {354--384}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-78375-8\_12}, doi = {10.1007/978-3-319-78375-8\_12}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurocrypt/BartheBEFGRT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/0001BH018, author = {Alejandro Aguirre and Gilles Barthe and Justin Hsu and Alexandra Silva}, editor = {Ioannis Chatzigiannakis and Christos Kaklamanis and D{\'{a}}niel Marx and Donald Sannella}, title = {Almost Sure Productivity}, booktitle = {45th International Colloquium on Automata, Languages, and Programming, {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic}, series = {LIPIcs}, volume = {107}, pages = {113:1--113:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.113}, doi = {10.4230/LIPICS.ICALP.2018.113}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/0001BH018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/BalleBG18, author = {Borja Balle and Gilles Barthe and Marco Gaboardi}, editor = {Samy Bengio and Hanna M. Wallach and Hugo Larochelle and Kristen Grauman and Nicol{\`{o}} Cesa{-}Bianchi and Roman Garnett}, title = {Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences}, booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montr{\'{e}}al, Canada}, pages = {6280--6290}, year = {2018}, url = {https://proceedings.neurips.cc/paper/2018/hash/3b5020bb891119b9f5130f1fea9bd773-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/BalleBG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lpar/2018w, editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes}, title = {{LPAR-22} Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018}, series = {Kalpa Publications in Computing}, volume = {9}, publisher = {EasyChair}, year = {2018}, url = {https://easychair.org/publications/volume/LPAR-IWIL\_2018}, timestamp = {Wed, 25 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/2018w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lpar/2018, editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes}, title = {{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018}, series = {EPiC Series in Computing}, volume = {57}, publisher = {EasyChair}, year = {2018}, url = {https://easychair.org/publications/volume/LPAR-22}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-06283, author = {Alejandro Aguirre and Gilles Barthe and Justin Hsu and Alexandra Silva}, title = {Almost Sure Productivity}, journal = {CoRR}, volume = {abs/1802.06283}, year = {2018}, url = {http://arxiv.org/abs/1802.06283}, eprinttype = {arXiv}, eprint = {1802.06283}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-06283.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-09787, author = {Alejandro Aguirre and Gilles Barthe and Lars Birkedal and Ales Bizjak and Marco Gaboardi and Deepak Garg}, title = {Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus}, journal = {CoRR}, volume = {abs/1802.09787}, year = {2018}, url = {http://arxiv.org/abs/1802.09787}, eprinttype = {arXiv}, eprint = {1802.09787}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-09787.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-05535, author = {Gilles Barthe and Thomas Espitau and Marco Gaboardi and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, title = {An Assertion-Based Program Logic for Probabilistic Programs}, journal = {CoRR}, volume = {abs/1803.05535}, year = {2018}, url = {http://arxiv.org/abs/1803.05535}, eprinttype = {arXiv}, eprint = {1803.05535}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-05535.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-10154, author = {Gilles Barthe and Pedro R. D'Argenio and Bernd Finkbeiner and Holger Hermanns}, title = {Facets of Software Doping}, journal = {CoRR}, volume = {abs/1803.10154}, year = {2018}, url = {http://arxiv.org/abs/1803.10154}, eprinttype = {arXiv}, eprint = {1803.10154}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-10154.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-01647, author = {Borja Balle and Gilles Barthe and Marco Gaboardi}, title = {Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences}, journal = {CoRR}, volume = {abs/1807.01647}, year = {2018}, url = {http://arxiv.org/abs/1807.01647}, eprinttype = {arXiv}, eprint = {1807.01647}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-01647.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-06091, author = {Tetsuya Sato and Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Justin Hsu}, title = {Formal verification of higher-order probabilistic programs}, journal = {CoRR}, volume = {abs/1807.06091}, year = {2018}, url = {http://arxiv.org/abs/1807.06091}, eprinttype = {arXiv}, eprint = {1807.06091}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-06091.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1812-05067, author = {Ezgi {\c{C}}i{\c{c}}ek and Weihao Qu and Gilles Barthe and Marco Gaboardi and Deepak Garg}, title = {Bidirectional Type Checking for Relational Properties}, journal = {CoRR}, volume = {abs/1812.05067}, year = {2018}, url = {http://arxiv.org/abs/1812.05067}, eprinttype = {arXiv}, eprint = {1812.05067}, timestamp = {Tue, 01 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1812-05067.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheBEFGRT18, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Thomas Espitau and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and M{\'{e}}lissa Rossi and Mehdi Tibouchi}, title = {Masking the {GLP} Lattice-Based Signature Scheme at Any Order}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {381}, year = {2018}, url = {https://eprint.iacr.org/2018/381}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheBEFGRT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBPPP18, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Hugo Pacheco and Vitor Pereira and Bernardo Portela}, title = {Enforcing ideal-world leakage bounds in real-world secret sharing {MPC} frameworks}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {404}, year = {2018}, url = {https://eprint.iacr.org/2018/404}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBPPP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheBDFGSS18, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Fran{\c{c}}ois{-}Xavier Standaert and Pierre{-}Yves Strub}, title = {Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference {\&} Automated Optimizations}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {505}, year = {2018}, url = {https://eprint.iacr.org/2018/505}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/BartheBDFGSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheBFG18, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire}, title = {maskVerif: a formal tool for analyzing software and hardware masked implementations}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {562}, year = {2018}, url = {https://eprint.iacr.org/2018/562}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheBFG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheFGGJS18, author = {Gilles Barthe and Xiong Fan and Joshua Gancher and Benjamin Gr{\'{e}}goire and Charlie Jacomme and Elaine Shi}, title = {Symbolic Proofs for Lattice-Based Cryptography}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {765}, year = {2018}, url = {https://eprint.iacr.org/2018/765}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheFGGJS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AguirreBG0S17, author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Pierre{-}Yves Strub}, title = {A relational logic for higher-order programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {21:1--21:29}, year = {2017}, url = {https://doi.org/10.1145/3110265}, doi = {10.1145/3110265}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AguirreBG0S17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/AmbronaBGW17, author = {Miguel Ambrona and Gilles Barthe and Romain Gay and Hoeteck Wee}, editor = {Bhavani Thuraisingham and David Evans and Tal Malkin and Dongyan Xu}, title = {Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions}, booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017}, pages = {647--664}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3133956.3134088}, doi = {10.1145/3133956.3134088}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ccs/AmbronaBGW17.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 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 = {Tue, 10 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBBGLOPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/AlmeidaBBDGLP17, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir and Benjamin Gr{\'{e}}goire and Vincent Laporte and Vitor Pereira}, editor = {Bhavani Thuraisingham and David Evans and Tal Malkin and Dongyan Xu}, title = {A Fast and Verified Software Stack for Secure Function Evaluation}, booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017}, pages = {1989--2006}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3133956.3134017}, doi = {10.1145/3133956.3134017}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBDGLP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/AmbronaBS17, author = {Miguel Ambrona and Gilles Barthe and Benedikt Schmidt}, editor = {Jonathan Katz and Hovav Shacham}, title = {Generic Transformations of Predicate Encodings: Constructions and Applications}, booktitle = {Advances in Cryptology - {CRYPTO} 2017 - 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10401}, pages = {36--66}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63688-7\_2}, doi = {10.1007/978-3-319-63688-7\_2}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/crypto/AmbronaBS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheBLPT17, author = {Gilles Barthe and Sandrine Blazy and Vincent Laporte and David Pichardie and Alix Trieu}, title = {Verified Translation Validation of Static Analyses}, booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa Barbara, CA, USA, August 21-25, 2017}, pages = {405--419}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/CSF.2017.16}, doi = {10.1109/CSF.2017.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheBLPT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/DArgenioBBFH17, author = {Pedro R. D'Argenio and Gilles Barthe and Sebastian Biewer and Bernd Finkbeiner and Holger Hermanns}, editor = {Hongseok Yang}, title = {Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs}, booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10201}, pages = {83--110}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54434-1\_4}, doi = {10.1007/978-3-662-54434-1\_4}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/DArgenioBBFH17.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 = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocrypt/BartheDFGSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosp/OchoaBDBG17, author = {Mart{\'{\i}}n Ochoa and Sebastian Banescu and Cynthia Disenfeld and Gilles Barthe and Vijay Ganesh}, title = {Reasoning about Probabilistic Defense Mechanisms against Remote Attacks}, booktitle = {2017 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P 2017, Paris, France, April 26-28, 2017}, pages = {499--513}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/EuroSP.2017.30}, doi = {10.1109/EUROSP.2017.30}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurosp/OchoaBDBG17.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 = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BartheEHSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BartheEGHS17, author = {Gilles Barthe and Thomas Espitau and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, 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://doi.org/10.29007/vz48}, doi = {10.29007/VZ48}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BartheEGHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/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 = {https://doi.org/10.1145/3009837.3009896}, doi = {10.1145/3009837.3009896}, timestamp = {Mon, 05 Feb 2024 20:33:37 +0100}, biburl = {https://dblp.org/rec/conf/popl/BartheGHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CicekBG0H17, author = {Ezgi {\c{C}}i{\c{c}}ek and Gilles Barthe and Marco Gaboardi and Deepak Garg and Jan Hoffmann}, editor = {Giuseppe Castagna and Andrew D. Gordon}, title = {Relational cost analysis}, booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017}, pages = {316--329}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3009837.3009858}, doi = {10.1145/3009837.3009858}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/CicekBG0H17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheEGHS17, author = {Gilles Barthe and Thomas Espitau and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, title = {Proving uniformity and independence by self-composition and coupling}, journal = {CoRR}, volume = {abs/1701.06477}, year = {2017}, url = {http://arxiv.org/abs/1701.06477}, eprinttype = {arXiv}, eprint = {1701.06477}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheEGHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/OchoaBDBG17, author = {Mart{\'{\i}}n Ochoa and Sebastian Banescu and Cynthia Disenfeld and Gilles Barthe and Vijay Ganesh}, title = {Reasoning about Probabilistic Defense Mechanisms against Remote Attacks}, journal = {CoRR}, volume = {abs/1701.06743}, year = {2017}, url = {http://arxiv.org/abs/1701.06743}, eprinttype = {arXiv}, eprint = {1701.06743}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/OchoaBDBG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DArgenioBBFH17, author = {Pedro R. D'Argenio and Gilles Barthe and Sebastian Biewer and Bernd Finkbeiner and Holger Hermanns}, title = {Is your software on dope? Formal analysis of surreptitiously "enhanced" programs}, journal = {CoRR}, volume = {abs/1702.04693}, year = {2017}, url = {http://arxiv.org/abs/1702.04693}, eprinttype = {arXiv}, eprint = {1702.04693}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DArgenioBBFH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AguirreBG0S17, author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Pierre{-}Yves Strub}, title = {A Relational Logic for Higher-Order Programs}, journal = {CoRR}, volume = {abs/1703.05042}, year = {2017}, url = {http://arxiv.org/abs/1703.05042}, eprinttype = {arXiv}, eprint = {1703.05042}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AguirreBG0S17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheEHSS17, author = {Gilles Barthe and Thomas Espitau and Justin Hsu and Tetsuya Sato and Pierre{-}Yves Strub}, title = {*-Liftings for Differential Privacy}, journal = {CoRR}, volume = {abs/1705.00133}, year = {2017}, url = {http://arxiv.org/abs/1705.00133}, eprinttype = {arXiv}, eprint = {1705.00133}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheEHSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1708-02537, author = {Gilles Barthe and Thomas Espitau and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, title = {Proving Expected Sensitivity of Probabilistic Programs}, journal = {CoRR}, volume = {abs/1708.02537}, year = {2017}, url = {http://arxiv.org/abs/1708.02537}, eprinttype = {arXiv}, eprint = {1708.02537}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1708-02537.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-09010, author = {Tetsuya Sato and Gilles Barthe and Marco Gaboardi and Justin Hsu and Shin{-}ya Katsumata}, title = {Reasoning about Divergences for Relaxations of Differential Privacy}, journal = {CoRR}, volume = {abs/1710.09010}, year = {2017}, url = {http://arxiv.org/abs/1710.09010}, eprinttype = {arXiv}, eprint = {1710.09010}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-09010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBDGLP17, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir and Benjamin Gr{\'{e}}goire and Vincent Laporte and Vitor Pereira}, title = {A Fast and Verified Software Stack for Secure Function Evaluation}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {821}, year = {2017}, url = {http://eprint.iacr.org/2017/821}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBDGLP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AmbronaBGW17, author = {Miguel Ambrona and Gilles Barthe and Romain Gay and Hoeteck Wee}, title = {Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {983}, year = {2017}, url = {http://eprint.iacr.org/2017/983}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AmbronaBGW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheDG17, author = {Gilles Barthe and Fran{\c{c}}ois Dupressoir and Benjamin Gr{\'{e}}goire}, title = {A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1053}, year = {2017}, url = {http://eprint.iacr.org/2017/1053}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheDG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheGL17, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Vincent Laporte}, title = {Provably secure compilation of side-channel countermeasures}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1233}, year = {2017}, url = {http://eprint.iacr.org/2017/1233}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheGL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iet-ifs/BartheFFSST16, author = {Gilles Barthe and Edvard Fagerholm and Dario Fiore and Andre Scedrov and Benedikt Schmidt and Mehdi Tibouchi}, title = {Strongly-optimal structure preserving signatures from Type {II} pairings: synthesis and lower bounds}, journal = {{IET} Inf. Secur.}, volume = {10}, number = {6}, pages = {358--371}, year = {2016}, url = {https://doi.org/10.1049/iet-ifs.2015.0429}, doi = {10.1049/IET-IFS.2015.0429}, timestamp = {Thu, 06 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iet-ifs/BartheFFSST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BartheCK16, author = {Gilles Barthe and Juan Manuel Crespo and C{\'{e}}sar Kunz}, title = {Product programs and relational program logics}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {5}, pages = {847--859}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2016.05.004}, doi = {10.1016/J.JLAMP.2016.05.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BartheCK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siglog/BartheGHP16, author = {Gilles Barthe and Marco Gaboardi and Justin Hsu and Benjamin C. Pierce}, title = {Programming language techniques for differential privacy}, journal = {{ACM} {SIGLOG} News}, volume = {3}, number = {1}, pages = {34--53}, year = {2016}, url = {https://doi.org/10.1145/2893582.2893591}, doi = {10.1145/2893582.2893591}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siglog/BartheGHP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BartheEFH16, author = {Gilles Barthe and Thomas Espitau and Luis Mar{\'{\i}}a Ferrer Fioriti and Justin Hsu}, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {Synthesizing Probabilistic Invariants via Doob's Decomposition}, booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9779}, pages = {43--61}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41528-4\_3}, doi = {10.1007/978-3-319-41528-4\_3}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BartheEFH16.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 = {Tue, 10 Nov 2020 20:00:49 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheFGGHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheFGAGHS16, author = {Gilles Barthe and Gian Pietro Farina and Marco Gaboardi and Emilio Jes{\'{u}}s Gallego Arias and Andy Gordon and Justin Hsu and Pierre{-}Yves Strub}, 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 = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheFGAGHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheBDFGSZ16, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Pierre{-}Yves Strub and R{\'{e}}becca Zucchini}, 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 = {Tue, 10 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheBDFGSZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocrypt/AmbronaBS16, author = {Miguel Ambrona and Gilles Barthe and Benedikt Schmidt}, editor = {Marc Fischlin and Jean{-}S{\'{e}}bastien Coron}, title = {Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model}, booktitle = {Advances in Cryptology - {EUROCRYPT} 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9666}, pages = {822--851}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49896-5\_29}, doi = {10.1007/978-3-662-49896-5\_29}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocrypt/AmbronaBS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fse/AlmeidaBBD16, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir}, editor = {Thomas Peyrin}, title = {Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time {MEE-CBC}}, booktitle = {Fast Software Encryption - 23rd International Conference, {FSE} 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9783}, pages = {163--184}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-52993-5\_9}, doi = {10.1007/978-3-662-52993-5\_9}, timestamp = {Fri, 27 Mar 2020 08:58:25 +0100}, biburl = {https://dblp.org/rec/conf/fse/AlmeidaBBD16.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 = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BartheGGHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/BartheDFH16, author = {Gilles Barthe and Pedro R. D'Argenio and Bernd Finkbeiner and Holger Hermanns}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Facets of Software Doping}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9953}, pages = {601--608}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47169-3\_46}, doi = {10.1007/978-3-319-47169-3\_46}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/BartheDFH16.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 = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/BartheGGHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/AlmeidaBBDE16, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir and Michael Emmi}, editor = {Thorsten Holz and Stefan Savage}, title = {Verifying Constant-Time Implementations}, booktitle = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX, USA, August 10-12, 2016}, pages = {53--70}, publisher = {{USENIX} Association}, year = {2016}, url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida}, timestamp = {Mon, 01 Feb 2021 08:43:18 +0100}, biburl = {https://dblp.org/rec/conf/uss/AlmeidaBBDE16.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, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wine/BartheGAHRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/stm/2016, editor = {Gilles Barthe and Evangelos P. Markatos and Pierangela Samarati}, title = {Security and Trust Management - 12th International Workshop, {STM} 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9871}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46598-2}, doi = {10.1007/978-3-319-46598-2}, isbn = {978-3-319-46597-5}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stm/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheGGHS16, author = {Gilles Barthe and Marco Gaboardi and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, title = {Proving Differential Privacy via Probabilistic Couplings}, journal = {CoRR}, volume = {abs/1601.05047}, year = {2016}, url = {http://arxiv.org/abs/1601.05047}, eprinttype = {arXiv}, eprint = {1601.05047}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheGGHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheGGHS16a, author = {Gilles Barthe and Marco Gaboardi and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, title = {A program logic for union bounds}, journal = {CoRR}, volume = {abs/1602.05681}, year = {2016}, url = {http://arxiv.org/abs/1602.05681}, eprinttype = {arXiv}, eprint = {1602.05681}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheGGHS16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheFGAGHS16, author = {Gilles Barthe and Gian Pietro Farina and Marco Gaboardi and Emilio Jes{\'{u}}s Gallego Arias and Andy Gordon and Justin Hsu and Pierre{-}Yves Strub}, title = {Differentially Private Bayesian Programming}, journal = {CoRR}, volume = {abs/1605.00283}, year = {2016}, url = {http://arxiv.org/abs/1605.00283}, eprinttype = {arXiv}, eprint = {1605.00283}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BartheFGAGHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheEFH16, author = {Gilles Barthe and Thomas Espitau and Luis Mar{\'{\i}}a Ferrer Fioriti and Justin Hsu}, title = {Synthesizing Probabilistic Invariants via Doob's Decomposition}, journal = {CoRR}, volume = {abs/1605.02765}, year = {2016}, url = {http://arxiv.org/abs/1605.02765}, eprinttype = {arXiv}, eprint = {1605.02765}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheEFH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheGGHS16b, author = {Gilles Barthe and Marco Gaboardi and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, title = {Advanced Probabilistic Couplings for Differential Privacy}, journal = {CoRR}, volume = {abs/1606.07143}, year = {2016}, url = {http://arxiv.org/abs/1606.07143}, eprinttype = {arXiv}, eprint = {1606.07143}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheGGHS16b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheGHS16, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Justin Hsu and Pierre{-}Yves Strub}, title = {Coupling proofs are probabilistic product programs}, journal = {CoRR}, volume = {abs/1607.03455}, year = {2016}, url = {http://arxiv.org/abs/1607.03455}, eprinttype = {arXiv}, eprint = {1607.03455}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheGHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AmbronaBS16, author = {Miguel Ambrona and Gilles Barthe and Benedikt Schmidt}, title = {Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {270}, year = {2016}, url = {http://eprint.iacr.org/2016/270}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AmbronaBS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheDFGSS16, author = {Gilles Barthe and Fran{\c{c}}ois Dupressoir and Sebastian Faust and Benjamin Gr{\'{e}}goire and Fran{\c{c}}ois{-}Xavier Standaert and Pierre{-}Yves Strub}, title = {Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {912}, year = {2016}, url = {http://eprint.iacr.org/2016/912}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheDFGSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AmbronaBS16a, author = {Miguel Ambrona and Gilles Barthe and Benedikt Schmidt}, title = {Generic Transformations of Predicate Encodings: Constructions and Applications}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1105}, year = {2016}, url = {http://eprint.iacr.org/2016/1105}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AmbronaBS16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieeesp/Barthe15, author = {Gilles Barthe}, title = {High-Assurance Cryptography: Cryptographic Software We Can Trust}, journal = {{IEEE} Secur. Priv.}, volume = {13}, number = {5}, pages = {86--89}, year = {2015}, url = {https://doi.org/10.1109/MSP.2015.112}, doi = {10.1109/MSP.2015.112}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieeesp/Barthe15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/BarthePS15, author = {Gilles Barthe and Alberto Pardo and Gerardo Schneider}, title = {{SEFM:} software engineering and formal methods}, journal = {Softw. Syst. Model.}, volume = {14}, number = {1}, pages = {3--4}, year = {2015}, url = {https://doi.org/10.1007/s10270-014-0404-6}, doi = {10.1007/S10270-014-0404-6}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/BarthePS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheGS15, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Benedikt Schmidt}, editor = {Indrajit Ray and Ninghui Li and Christopher Kruegel}, title = {Automated Proofs of Pairing-Based Cryptography}, booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015}, pages = {1156--1168}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2810103.2813697}, doi = {10.1145/2810103.2813697}, timestamp = {Tue, 10 Nov 2020 19:58:09 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheGS15.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 = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurocrypt/BartheBDFGS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocrypt/BartheCLS15, author = {Gilles Barthe and Juan Manuel Crespo and Yassine Lakhnech and Benedikt Schmidt}, editor = {Elisabeth Oswald and Marc Fischlin}, title = {Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols}, 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 {II}}, series = {Lecture Notes in Computer Science}, volume = {9057}, pages = {689--718}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46803-6\_23}, doi = {10.1007/978-3-662-46803-6\_23}, timestamp = {Thu, 14 Oct 2021 09:58:15 +0200}, biburl = {https://dblp.org/rec/conf/eurocrypt/BartheCLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BaillotBL15, author = {Patrick Baillot and Gilles Barthe and Ugo Dal Lago}, editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov}, title = {Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs}, 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 = {203--218}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48899-7\_15}, doi = {10.1007/978-3-662-48899-7\_15}, timestamp = {Mon, 03 Jan 2022 22:31:30 +0100}, biburl = {https://dblp.org/rec/conf/lpar/BaillotBL15.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/pkc/BartheFFSST15, author = {Gilles Barthe and Edvard Fagerholm and Dario Fiore and Andre Scedrov and Benedikt Schmidt and Mehdi Tibouchi}, editor = {Jonathan Katz}, title = {Strongly-Optimal Structure Preserving Signatures from Type {II} Pairings: Synthesis and Lower Bounds}, booktitle = {Public-Key Cryptography - {PKC} 2015 - 18th {IACR} International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9020}, pages = {355--376}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46447-2\_16}, doi = {10.1007/978-3-662-46447-2\_16}, timestamp = {Thu, 06 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pkc/BartheFFSST15.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 = {Mon, 08 Apr 2024 08:19:10 +0200}, biburl = {https://dblp.org/rec/conf/popl/BartheGAHRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheGAHRS15, author = {Gilles Barthe and Marco Gaboardi and Emilio Jes{\'{u}}s Gallego Arias and Justin Hsu and Aaron Roth and Pierre{-}Yves Strub}, title = {Computer-aided verification in mechanism design}, journal = {CoRR}, volume = {abs/1502.04052}, year = {2015}, url = {http://arxiv.org/abs/1502.04052}, eprinttype = {arXiv}, eprint = {1502.04052}, timestamp = {Tue, 08 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheGAHRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheEGHSS15, author = {Gilles Barthe and Thomas Espitau and Benjamin Gr{\'{e}}goire and Justin Hsu and L{\'{e}}o Stefanesco and Pierre{-}Yves Strub}, title = {Relational reasoning via probabilistic coupling}, journal = {CoRR}, volume = {abs/1509.03476}, year = {2015}, url = {http://arxiv.org/abs/1509.03476}, eprinttype = {arXiv}, eprint = {1509.03476}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheEGHSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/BartheGKM15, author = {Gilles Barthe and Andrew D. Gordon and Joost{-}Pieter Katoen and Annabelle McIver}, title = {Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)}, journal = {Dagstuhl Reports}, volume = {5}, number = {4}, pages = {123--141}, year = {2015}, url = {https://doi.org/10.4230/DagRep.5.4.123}, doi = {10.4230/DAGREP.5.4.123}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BartheGKM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheFFSST15, author = {Gilles Barthe and Edvard Fagerholm and Dario Fiore and Andre Scedrov and Benedikt Schmidt and Mehdi Tibouchi}, title = {Strongly-Optimal Structure Preserving Signatures from Type {II} Pairings: Synthesis and Lower Bounds}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {19}, year = {2015}, url = {http://eprint.iacr.org/2015/019}, timestamp = {Thu, 06 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheFFSST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheBDFGS15, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Pierre{-}Yves Strub}, title = {Verified Proofs of Higher-Order Masking}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {60}, year = {2015}, url = {http://eprint.iacr.org/2015/060}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheBDFGS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheCLS15, author = {Gilles Barthe and Juan Manuel Crespo and Yassine Lakhnech and Benedikt Schmidt}, title = {Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {74}, year = {2015}, url = {http://eprint.iacr.org/2015/074}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheCLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheBDFG15, author = {Gilles Barthe and Sonia Bela{\"{\i}}d and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire}, title = {Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {506}, year = {2015}, url = {http://eprint.iacr.org/2015/506}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheBDFG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBD15, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir}, title = {Verifiable side-channel security of cryptographic implementations: constant-time {MEE-CBC}}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1241}, year = {2015}, url = {http://eprint.iacr.org/2015/1241}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BartheDP14, author = {Gilles Barthe and Delphine Demange and David Pichardie}, title = {Formal Verification of an SSA-Based Middle-End for CompCert}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {36}, number = {1}, pages = {4:1--4:35}, year = {2014}, url = {https://doi.org/10.1145/2579080}, doi = {10.1145/2579080}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/BartheDP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheDFGZ14, author = {Gilles Barthe and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Jean{-}Christophe Zapalowicz}, editor = {Gail{-}Joon Ahn and Moti Yung and Ninghui Li}, title = {Synthesis of Fault Attacks on Cryptographic Implementations}, booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014}, pages = {1016--1027}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2660267.2660304}, doi = {10.1145/2660267.2660304}, timestamp = {Tue, 10 Nov 2020 20:00:23 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheDFGZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheBCLP14, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Daniel Luna and David Pichardie}, editor = {Gail{-}Joon Ahn and Moti Yung and Ninghui Li}, title = {System-level Non-interference for Constant-time Cryptography}, booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014}, pages = {1267--1279}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2660267.2660283}, doi = {10.1145/2660267.2660283}, timestamp = {Tue, 10 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheBCLP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ches/BartheDFGTZ14, author = {Gilles Barthe and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Mehdi Tibouchi and Jean{-}Christophe Zapalowicz}, editor = {Lejla Batina and Matthew Robshaw}, title = {Making {RSA-PSS} Provably Secure against Non-random Faults}, booktitle = {Cryptographic Hardware and Embedded Systems - {CHES} 2014 - 16th International Workshop, Busan, South Korea, September 23-26, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8731}, pages = {206--222}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44709-3\_12}, doi = {10.1007/978-3-662-44709-3\_12}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/ches/BartheDFGTZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/BartheFFMSS14, author = {Gilles Barthe and Edvard Fagerholm and Dario Fiore and John C. Mitchell and Andre Scedrov and Benedikt Schmidt}, editor = {Juan A. Garay and Rosario Gennaro}, title = {Automated Analysis of Cryptographic Assumptions in Generic Group Models}, booktitle = {Advances in Cryptology - {CRYPTO} 2014 - 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {8616}, pages = {95--112}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44371-2\_6}, doi = {10.1007/978-3-662-44371-2\_6}, timestamp = {Thu, 06 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/crypto/BartheFFMSS14.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 = {Fri, 24 Mar 2023 00:00:00 +0100}, 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 = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheGAHKS14.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 = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/BartheFGSSB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/post/BartheKMO14, author = {Gilles Barthe and Boris K{\"{o}}pf and Laurent Mauborgne and Mart{\'{\i}}n Ochoa}, editor = {Mart{\'{\i}}n Abadi and Steve Kremer}, title = {Leakage Resilience against Concurrent Cache Attacks}, booktitle = {Principles of Security and Trust - Third International Conference, {POST} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8414}, pages = {140--158}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54792-8\_8}, doi = {10.1007/978-3-642-54792-8\_8}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/post/BartheKMO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheGAHKS14, author = {Gilles Barthe and Marco Gaboardi and Emilio Jes{\'{u}}s Gallego Arias and Justin Hsu and C{\'{e}}sar Kunz and Pierre{-}Yves Strub}, title = {Proving differential privacy in Hoare logic}, journal = {CoRR}, volume = {abs/1407.2988}, year = {2014}, url = {http://arxiv.org/abs/1407.2988}, eprinttype = {arXiv}, eprint = {1407.2988}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheGAHKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BartheGAHRS14, author = {Gilles Barthe and Marco Gaboardi and Emilio Jes{\'{u}}s Gallego Arias and Justin Hsu and Aaron Roth and Pierre{-}Yves Strub}, title = {Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy}, journal = {CoRR}, volume = {abs/1407.6845}, year = {2014}, url = {http://arxiv.org/abs/1407.6845}, eprinttype = {arXiv}, eprint = {1407.6845}, timestamp = {Tue, 08 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartheGAHRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/BartheHKU14, author = {Gilles Barthe and Michael Hicks and Florian Kerschbaum and Dominique Unruh}, title = {The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)}, journal = {Dagstuhl Reports}, volume = {4}, number = {12}, pages = {29--47}, year = {2014}, url = {https://doi.org/10.4230/DagRep.4.12.29}, doi = {10.4230/DAGREP.4.12.29}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BartheHKU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheDFGTZ14, author = {Gilles Barthe and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Mehdi Tibouchi and Jean{-}Christophe Zapalowicz}, title = {Making {RSA-PSS} Provably Secure Against Non-Random Faults}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {252}, year = {2014}, url = {http://eprint.iacr.org/2014/252}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheDFGTZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheBCLP14, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna and David Pichardie}, title = {System-level non-interference for constant-time cryptography}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {422}, year = {2014}, url = {http://eprint.iacr.org/2014/422}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheBCLP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheDFGZ14, author = {Gilles Barthe and Fran{\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and Benjamin Gr{\'{e}}goire and Jean{-}Christophe Zapalowicz}, title = {Synthesis of Fault Attacks on Cryptographic Implementations}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {436}, year = {2014}, url = {http://eprint.iacr.org/2014/436}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheDFGZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBDDGS14, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Guillaume Davy and Fran{\c{c}}ois Dupressoir and Benjamin Gr{\'{e}}goire and Pierre{-}Yves Strub}, title = {Verified Implementations for Secure and Verifiable Computation}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {456}, year = {2014}, url = {http://eprint.iacr.org/2014/456}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBDDGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheFFMSS14, author = {Gilles Barthe and Edvard Fagerholm and Dario Fiore and John C. Mitchell and Andre Scedrov and Benedikt Schmidt}, title = {Automated Analysis of Cryptographic Assumptions in Generic Group Models}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {458}, year = {2014}, url = {http://eprint.iacr.org/2014/458}, timestamp = {Thu, 06 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheFFMSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/BartheGHOB13, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Sylvain Heraud and Federico Olmedo and Santiago Zanella B{\'{e}}guelin}, title = {Verified indifferentiable hashing into elliptic curves}, journal = {J. Comput. Secur.}, volume = {21}, number = {6}, pages = {881--917}, year = {2013}, url = {https://doi.org/10.3233/JCS-130476}, doi = {10.3233/JCS-130476}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/BartheGHOB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BarthePR13, author = {Gilles Barthe and David Pichardie and Tamara Rezk}, title = {A certified lightweight non-interference Java bytecode verifier}, journal = {Math. Struct. Comput. Sci.}, volume = {23}, number = {5}, pages = {1032--1081}, year = {2013}, url = {https://doi.org/10.1017/S0960129512000850}, doi = {10.1017/S0960129512000850}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BarthePR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BartheKOB13, author = {Gilles Barthe and Boris K{\"{o}}pf and Federico Olmedo and Santiago Zanella B{\'{e}}guelin}, title = {Probabilistic Relational Reasoning for Differential Privacy}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {35}, number = {3}, pages = {9:1--9:49}, year = {2013}, url = {https://doi.org/10.1145/2492061}, doi = {10.1145/2492061}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/BartheKOB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/AlmeidaBBD13, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir}, editor = {Ahmad{-}Reza Sadeghi and Virgil D. Gligor and Moti Yung}, title = {Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations}, booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013}, pages = {1217--1230}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2508859.2516652}, doi = {10.1145/2508859.2516652}, timestamp = {Tue, 10 Nov 2020 19:58:06 +0100}, biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheCGKLSB13, author = {Gilles Barthe and Juan Manuel Crespo and Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and Yassine Lakhnech and Benedikt Schmidt and Santiago Zanella B{\'{e}}guelin}, editor = {Ahmad{-}Reza Sadeghi and Virgil D. Gligor and Moti Yung}, title = {Fully automated analysis of padding-based encryption in the computational model}, booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013}, pages = {1247--1260}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2508859.2516663}, doi = {10.1145/2508859.2516663}, timestamp = {Tue, 10 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheCGKLSB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheDGKB13, author = {Gilles Barthe and George Danezis and Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and Santiago Zanella B{\'{e}}guelin}, title = {Verified Computational Differential Privacy with Applications to Smart Metering}, booktitle = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013}, pages = {287--301}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/CSF.2013.26}, doi = {10.1109/CSF.2013.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheDGKB13.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/icalp/BartheO13, author = {Gilles Barthe and Federico Olmedo}, editor = {Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg}, title = {Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs}, booktitle = {Automata, Languages, and Programming - 40th International Colloquium, {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {7966}, pages = {49--60}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39212-2\_8}, doi = {10.1007/978-3-642-39212-2\_8}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BartheO13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/BartheCK13, author = {Gilles Barthe and Juan Manuel Crespo and C{\'{e}}sar Kunz}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification}, booktitle = {Logical Foundations of Computer Science, International Symposium, {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7734}, pages = {29--43}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35722-0\_3}, doi = {10.1007/978-3-642-35722-0\_3}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/BartheCK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/BartheCKGM13, author = {Gilles Barthe and Juan Manuel Crespo and Sumit Gulwani and C{\'{e}}sar Kunz and Mark Marron}, editor = {Alex Nicolau and Xiaowei Shen and Saman P. Amarasinghe and Richard W. Vuduc}, title = {From relational verification to {SIMD} loop synthesis}, booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013}, pages = {123--134}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2442516.2442529}, doi = {10.1145/2442516.2442529}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/BartheCKGM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/Barthe13, author = {Gilles Barthe}, editor = {Kaustubh R. Joshi and Markus Siegle and Mari{\"{e}}lle Stoelinga and Pedro R. D'Argenio}, title = {Computer-Aided Security Proofs}, booktitle = {Quantitative Evaluation of Systems - 10th International Conference, {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8054}, pages = {1--2}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40196-1\_1}, doi = {10.1007/978-3-642-40196-1\_1}, timestamp = {Sat, 30 Sep 2023 09:55:03 +0200}, biburl = {https://dblp.org/rec/conf/qest/Barthe13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/BartheBCCL13, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Jes{\'{u}}s Mauricio Chimento and Carlos Luna}, editor = {Ralph Matthes and Aleksy Schubert}, title = {Formally Verified Implementation of an Idealized Model of Virtualization}, booktitle = {19th International Conference on Types for Proofs and Programs, {TYPES} 2013, April 22-26, 2013, Toulouse, France}, series = {LIPIcs}, volume = {26}, pages = {45--63}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/LIPIcs.TYPES.2013.45}, doi = {10.4230/LIPICS.TYPES.2013.45}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/types/BartheBCCL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBD13, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Fran{\c{c}}ois Dupressoir}, title = {Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {316}, year = {2013}, url = {http://eprint.iacr.org/2013/316}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/BartheCLP12, author = {Gilles Barthe and Jorge Cu{\'{e}}llar and Javier L{\'{o}}pez and Alexander Pretschner}, title = {Preface}, journal = {J. Comput. Secur.}, volume = {20}, number = {4}, pages = {307--308}, year = {2012}, url = {https://doi.org/10.3233/JCS-2012-0462}, doi = {10.3233/JCS-2012-0462}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/BartheCLP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/AlmeidaBBBKB12, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Endre Bangerter and Gilles Barthe and Stephan Krenn and Santiago Zanella B{\'{e}}guelin}, editor = {Ting Yu and George Danezis and Virgil D. Gligor}, title = {Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols}, booktitle = {the {ACM} Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012}, pages = {488--500}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2382196.2382249}, doi = {10.1145/2382196.2382249}, timestamp = {Tue, 12 Apr 2022 13:28:49 +0200}, biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBBKB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BarthePB12, author = {Gilles Barthe and David Pointcheval and Santiago Zanella B{\'{e}}guelin}, editor = {Ting Yu and George Danezis and Virgil D. Gligor}, title = {Verified security of redundancy-free encryption from Rabin and {RSA}}, booktitle = {the {ACM} Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012}, pages = {724--735}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2382196.2382272}, doi = {10.1145/2382196.2382272}, timestamp = {Tue, 10 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BarthePB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpp/BartheGKLB12, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and Yassine Lakhnech and Santiago Zanella B{\'{e}}guelin}, editor = {Chris Hawblitzel and Dale Miller}, title = {Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs}, booktitle = {Certified Programs and Proofs - Second International Conference, {CPP} 2012, Kyoto, Japan, December 13-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7679}, pages = {7--8}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35308-6\_3}, doi = {10.1007/978-3-642-35308-6\_3}, timestamp = {Wed, 07 Dec 2022 23:14:04 +0100}, biburl = {https://dblp.org/rec/conf/cpp/BartheGKLB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheBCL12, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna}, editor = {Stephen Chong}, title = {Cache-Leakage Resilient {OS} Isolation in an Idealized Model of Virtualization}, booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge, MA, USA, June 25-27, 2012}, pages = {186--197}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/CSF.2012.17}, doi = {10.1109/CSF.2012.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheBCL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BackesBBGKSB12, author = {Michael Backes and Gilles Barthe and Matthias Berg and Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and Malte Skoruppa and Santiago Zanella B{\'{e}}guelin}, editor = {Stephen Chong}, title = {Verified Security of Merkle-Damg{\aa}rd}, booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge, MA, USA, June 25-27, 2012}, pages = {354--368}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/CSF.2012.14}, doi = {10.1109/CSF.2012.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BackesBBGKSB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BartheDP12, author = {Gilles Barthe and Delphine Demange and David Pichardie}, editor = {Helmut Seidl}, title = {A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert}, booktitle = {Programming Languages and Systems - 21st European Symposium on Programming, {ESOP} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7211}, pages = {47--66}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28869-2\_3}, doi = {10.1007/978-3-642-28869-2\_3}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/BartheDP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BartheCDPR12, author = {Gilles Barthe and Juan Manuel Crespo and Dominique Devriese and Frank Piessens and Exequiel Rivas}, editor = {Holger Giese and Grigore Rosu}, title = {Secure Multi-Execution through Static Program Transformation}, booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7273}, pages = {186--202}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30793-5\_12}, doi = {10.1007/978-3-642-30793-5\_12}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/BartheCDPR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/BartheCGKB12, author = {Gilles Barthe and Juan Manuel Crespo and Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and Santiago Zanella B{\'{e}}guelin}, editor = {Lennart Beringer and Amy P. Felty}, title = {Computer-Aided Cryptographic Proofs}, booktitle = {Interactive Theorem Proving - Third International Conference, {ITP} 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7406}, pages = {11--27}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32347-8\_2}, doi = {10.1007/978-3-642-32347-8\_2}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itp/BartheCGKB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/BartheGB12, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Santiago Zanella B{\'{e}}guelin}, editor = {Jeremy Gibbons and Pablo Nogueira}, title = {Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs}, booktitle = {Mathematics of Program Construction - 11th International Conference, {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7342}, pages = {1--6}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31113-0\_1}, doi = {10.1007/978-3-642-31113-0\_1}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mpc/BartheGB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BartheKOB12, author = {Gilles Barthe and Boris K{\"{o}}pf and Federico Olmedo and Santiago Zanella B{\'{e}}guelin}, editor = {John Field and Michael Hicks}, title = {Probabilistic relational reasoning for differential privacy}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012}, pages = {97--110}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2103656.2103670}, doi = {10.1145/2103656.2103670}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/BartheKOB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/post/BartheGHOB12, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Sylvain Heraud and Federico Olmedo and Santiago Zanella B{\'{e}}guelin}, editor = {Pierpaolo Degano and Joshua D. Guttman}, title = {Verified Indifferentiable Hashing into Elliptic Curves}, booktitle = {Principles of Security and Trust - First International Conference, {POST} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7215}, pages = {209--228}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28641-4\_12}, doi = {10.1007/978-3-642-28641-4\_12}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/post/BartheGHOB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BartheGB12, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Santiago Zanella B{\'{e}}guelin}, editor = {Antoine Min{\'{e}} and David Schmidt}, title = {Computer-Aided Cryptographic Proofs}, booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville, France, September 11-13, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7460}, pages = {1--2}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33125-1\_1}, doi = {10.1007/978-3-642-33125-1\_1}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/BartheGB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/essos/2012, editor = {Gilles Barthe and Benjamin Livshits and Riccardo Scandariato}, title = {Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7159}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28166-2}, doi = {10.1007/978-3-642-28166-2}, isbn = {978-3-642-28165-5}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/essos/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifip1-7/2011, editor = {Gilles Barthe and Anupam Datta and Sandro Etalle}, title = {Formal Aspects of Security and Trust - 8th International Workshop, {FAST} 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7140}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29420-4}, doi = {10.1007/978-3-642-29420-4}, isbn = {978-3-642-29419-8}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AlmeidaBBBKB12, author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and Endre Bangerter and Gilles Barthe and Stephan Krenn and Santiago Zanella B{\'{e}}guelin}, title = {Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {258}, year = {2012}, url = {http://eprint.iacr.org/2012/258}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AlmeidaBBBKB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BarthePB12, author = {Gilles Barthe and David Pointcheval and Santiago Zanella B{\'{e}}guelin}, title = {Verified Security of Redundancy-Free Encryption from Rabin and {RSA}}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {308}, year = {2012}, url = {http://eprint.iacr.org/2012/308}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BarthePB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheCGKLB12, author = {Gilles Barthe and Juan Manuel Crespo and Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and Yassine Lakhnech and Santiago Zanella B{\'{e}}guelin}, title = {Automated Analysis and Synthesis of Padding-Based Encryption Schemes}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {695}, year = {2012}, url = {http://eprint.iacr.org/2012/695}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheCGKLB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BartheDR11, author = {Gilles Barthe and Pedro R. D'Argenio and Tamara Rezk}, title = {Secure information flow by self-composition}, journal = {Math. Struct. Comput. Sci.}, volume = {21}, number = {6}, pages = {1207--1252}, year = {2011}, url = {https://doi.org/10.1017/S0960129511000193}, doi = {10.1017/S0960129511000193}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BartheDR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BartheK11, author = {Gilles Barthe and C{\'{e}}sar Kunz}, title = {An Abstract Model of Certificate Translation}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {33}, number = {4}, pages = {13:1--13:46}, year = {2011}, url = {https://doi.org/10.1145/1985342.1985344}, doi = {10.1145/1985342.1985344}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/BartheK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/BartheGHB11, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Sylvain Heraud and Santiago Zanella B{\'{e}}guelin}, editor = {Phillip Rogaway}, title = {Computer-Aided Security Proofs for the Working Cryptographer}, booktitle = {Advances in Cryptology - {CRYPTO} 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6841}, pages = {71--90}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22792-9\_5}, doi = {10.1007/978-3-642-22792-9\_5}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/crypto/BartheGHB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheK11, author = {Gilles Barthe and Boris K{\"{o}}pf}, title = {Information-Theoretic Bounds for Differentially Private Mechanisms}, booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium, {CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011}, pages = {191--204}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/CSF.2011.20}, doi = {10.1109/CSF.2011.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctrsa/BartheGLB11, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Yassine Lakhnech and Santiago Zanella B{\'{e}}guelin}, editor = {Aggelos Kiayias}, title = {Beyond Provable Security Verifiable {IND-CCA} Security of {OAEP}}, booktitle = {Topics in Cryptology - {CT-RSA} 2011 - The Cryptographers' Track at the {RSA} Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6558}, pages = {180--196}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19074-2\_13}, doi = {10.1007/978-3-642-19074-2\_13}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ctrsa/BartheGLB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BartheCK11, author = {Gilles Barthe and Juan Manuel Crespo and C{\'{e}}sar Kunz}, editor = {Michael J. Butler and Wolfram Schulte}, title = {Relational Verification Using Product Programs}, booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {200--214}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_17}, doi = {10.1007/978-3-642-21437-0\_17}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/BartheCK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BartheBCL11, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna}, editor = {Michael J. Butler and Wolfram Schulte}, title = {Formally Verifying Isolation and Availability in an Idealized Model of Virtualization}, booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {231--245}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_19}, doi = {10.1007/978-3-642-21437-0\_19}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/BartheBCL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fps/BartheDL11, author = {Gilles Barthe and Mathilde Duclos and Yassine Lakhnech}, editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and Pascal Lafourcade}, title = {A Computational Indistinguishability Logic for the Bounded Storage Model}, booktitle = {Foundations and Practice of Security - 4th Canada-France {MITACS} Workshop, {FPS} 2011, Paris, France, May 12-13, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6888}, pages = {102--117}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-27901-0\_9}, doi = {10.1007/978-3-642-27901-0\_9}, timestamp = {Fri, 27 Dec 2019 21:23:06 +0100}, biburl = {https://dblp.org/rec/conf/fps/BartheDL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/provsec/BartheOB11, author = {Gilles Barthe and Federico Olmedo and Santiago Zanella B{\'{e}}guelin}, editor = {Xavier Boyen and Xiaofeng Chen}, title = {Verifiable Security of Boneh-Franklin Identity-Based Encryption}, booktitle = {Provable Security - 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6980}, pages = {68--83}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24316-5\_7}, doi = {10.1007/978-3-642-24316-5\_7}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/provsec/BartheOB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BartheR11, author = {Gilles Barthe and Exequiel Rivas}, editor = {Roberto Bruni and Vladimiro Sassone}, title = {Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language}, booktitle = {Trustworthy Global Computing - 6th International Symposium, {TGC} 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7173}, pages = {73--88}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-30065-3\_5}, doi = {10.1007/978-3-642-30065-3\_5}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tgc/BartheR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esop/2011, editor = {Gilles Barthe}, title = {Programming Languages and Systems - 20th European Symposium on Programming, {ESOP} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6602}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19718-5}, doi = {10.1007/978-3-642-19718-5}, isbn = {978-3-642-19717-8}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sefm/2011, editor = {Gilles Barthe and Alberto Pardo and Gerardo Schneider}, title = {Software Engineering and Formal Methods - 9th International Conference, {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7041}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24690-6}, doi = {10.1007/978-3-642-24690-6}, isbn = {978-3-642-24689-0}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/stm/2010, editor = {Jorge Cu{\'{e}}llar and Gilles Barthe and Alexander Pretschner}, title = {Security and Trust Management - 6th International Workshop, {STM} 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6710}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22444-7}, doi = {10.1007/978-3-642-22444-7}, isbn = {978-3-642-22443-0}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stm/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BartheK11, author = {Gilles Barthe and Boris K{\"{o}}pf}, title = {Information-theoretic Bounds for Differentially Private Mechanisms}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {71}, year = {2011}, url = {http://eprint.iacr.org/2011/071}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BartheK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tissec/BartheRRS10, author = {Gilles Barthe and Tamara Rezk and Alejandro Russo and Andrei Sabelfeld}, title = {Security of multithreaded programs by compilation}, journal = {{ACM} Trans. Inf. Syst. Secur.}, volume = {13}, number = {3}, pages = {21:1--21:32}, year = {2010}, url = {https://doi.org/10.1145/1805974.1895977}, doi = {10.1145/1805974.1895977}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tissec/BartheRRS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheDKL10, author = {Gilles Barthe and Marion Daubignard and Bruce M. Kapron and Yassine Lakhnech}, editor = {Ehab Al{-}Shaer and Angelos D. Keromytis and Vitaly Shmatikov}, title = {Computational indistinguishability logic}, booktitle = {Proceedings of the 17th {ACM} Conference on Computer and Communications Security, {CCS} 2010, Chicago, Illinois, USA, October 4-8, 2010}, pages = {375--386}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1866307.1866350}, doi = {10.1145/1866307.1866350}, timestamp = {Tue, 10 Nov 2020 20:00:21 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheDKL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheHLRW10, author = {Gilles Barthe and Alejandro Hevia and Zhengqin Luo and Tamara Rezk and Bogdan Warinschi}, title = {Robustness Guarantees for Anonymity}, booktitle = {Proceedings of the 23rd {IEEE} Computer Security Foundations Symposium, {CSF} 2010, Edinburgh, United Kingdom, July 17-19, 2010}, pages = {91--106}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/CSF.2010.14}, doi = {10.1109/CSF.2010.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheHLRW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheHBGH10, author = {Gilles Barthe and Daniel Hedin and Santiago Zanella B{\'{e}}guelin and Benjamin Gr{\'{e}}goire and Sylvain Heraud}, title = {A Machine-Checked Formalization of Sigma-Protocols}, booktitle = {Proceedings of the 23rd {IEEE} Computer Security Foundations Symposium, {CSF} 2010, Edinburgh, United Kingdom, July 17-19, 2010}, pages = {246--260}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/CSF.2010.24}, doi = {10.1109/CSF.2010.24}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheHBGH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/BartheBK10, author = {Gilles Barthe and Pablo Buiras and C{\'{e}}sar Kunz}, editor = {Matthias Blume and Naoki Kobayashi and Germ{\'{a}}n Vidal}, title = {A Functional Framework for Result Checking}, booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS} 2010, Sendai, Japan, April 19-21, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6009}, pages = {72--86}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12251-4\_7}, doi = {10.1007/978-3-642-12251-4\_7}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/BartheBK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/BartheGB10, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Santiago Zanella B{\'{e}}guelin}, editor = {Matt Kaufmann and Lawrence C. Paulson}, title = {Programming Language Techniques for Cryptographic Proofs}, booktitle = {Interactive Theorem Proving, First International Conference, {ITP} 2010, Edinburgh, UK, July 11-14, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6172}, pages = {115--130}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14052-5\_10}, doi = {10.1007/978-3-642-14052-5\_10}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itp/BartheGB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BartheDKLL10, author = {Gilles Barthe and Marion Daubignard and Bruce M. Kapron and Yassine Lakhnech and Vincent Laporte}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {On the Equality of Probabilistic Terms}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {46--63}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_4}, doi = {10.1007/978-3-642-17511-4\_4}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BartheDKLL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BartheK10, author = {Gilles Barthe and C{\'{e}}sar Kunz}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Perspectives in Certificate Translation}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {23--34}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_2}, doi = {10.1007/978-3-642-15640-3\_2}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BartheK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2010, editor = {Gilles Barthe and Manuel V. Hermenegildo}, title = {Verification, Model Checking, and Abstract Interpretation, 11th International Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5944}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11319-2}, doi = {10.1007/978-3-642-11319-2}, isbn = {978-3-642-11318-5}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BartheGKR09, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and Tamara Rezk}, title = {Certificate translation for optimizing compilers}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {31}, number = {5}, pages = {18:1--18:45}, year = {2009}, url = {https://doi.org/10.1145/1538917.1538919}, doi = {10.1145/1538917.1538919}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/BartheGKR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/BartheGHKP09, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Sylvain Heraud and C{\'{e}}sar Kunz and Anne Pacalet}, editor = {Karin K. Breitman and Ana Cavalcanti}, title = {Implementing a Direct Method for Certificate Translation}, booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5885}, pages = {541--560}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10373-5\_28}, doi = {10.1007/978-3-642-10373-5\_28}, timestamp = {Mon, 21 Feb 2022 14:40:49 +0100}, biburl = {https://dblp.org/rec/conf/icfem/BartheGHKP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BartheGB09, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Santiago Zanella B{\'{e}}guelin}, editor = {Zhong Shao and Benjamin C. Pierce}, title = {Formal certification of code-based cryptographic proofs}, booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2009, Savannah, GA, USA, January 21-23, 2009}, pages = {90--101}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1480881.1480894}, doi = {10.1145/1480881.1480894}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/popl/BartheGB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/BeguelinBGO09, author = {Santiago Zanella B{\'{e}}guelin and Gilles Barthe and Benjamin Gr{\'{e}}goire and Federico Olmedo}, title = {Formally Certifying the Security of Digital Signature Schemes}, booktitle = {30th {IEEE} Symposium on Security and Privacy {(SP} 2009), 17-20 May 2009, Oakland, California, {USA}}, pages = {237--250}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SP.2009.17}, doi = {10.1109/SP.2009.17}, timestamp = {Thu, 21 Sep 2023 16:14:16 +0200}, biburl = {https://dblp.org/rec/conf/sp/BeguelinBGO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fosad/2009, editor = {Alessandro Aldini and Gilles Barthe and Roberto Gorrieri}, title = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009 Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5705}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03829-7}, doi = {10.1007/978-3-642-03829-7}, isbn = {978-3-642-03828-0}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fosad/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BartheKS08, author = {Gilles Barthe and C{\'{e}}sar Kunz and Jorge Luis Sacchini}, editor = {G. Ramalingam}, title = {Certified Reasoning in Memory Hierarchies}, booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008, Bangalore, India, December 9-11, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5356}, pages = {75--90}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89330-1\_6}, doi = {10.1007/978-3-540-89330-1\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BartheKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Barthe08, author = {Gilles Barthe}, editor = {Bernhard Beckert and Gerwin Klein}, title = {Certificate Translation}, booktitle = {Proceedings of the 5th International Verification Workshop in connection with {IJCAR} 2008, Sydney, Australia, August 10-11, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {372}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-372/paper01.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:14 +0100}, biburl = {https://dblp.org/rec/conf/cade/Barthe08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BartheGP08, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Mariela Pavlova}, editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek}, title = {Preservation of Proof Obligations from Java to the Java Virtual Machine}, booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008, Sydney, Australia, August 12-15, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5195}, pages = {83--99}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71070-7\_7}, doi = {10.1007/978-3-540-71070-7\_7}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BartheGP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheCR08, author = {Gilles Barthe and Salvador Cavadini and Tamara Rezk}, title = {Tractable Enforcement of Declassification Policies}, booktitle = {Proceedings of the 21st {IEEE} Computer Security Foundations Symposium, {CSF} 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008}, pages = {83--97}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/CSF.2008.11}, doi = {10.1109/CSF.2008.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheCR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/BartheGR08, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Colin Riba}, editor = {Michael Kaminski and Simone Martini}, title = {Type-Based Termination with Sized Products}, booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5213}, pages = {493--507}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87531-4\_35}, doi = {10.1007/978-3-540-87531-4\_35}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/BartheGR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BartheK08, author = {Gilles Barthe and C{\'{e}}sar Kunz}, editor = {Sophia Drossopoulou}, title = {Certificate Translation in Abstract Interpretation}, booktitle = {Programming Languages and Systems, 17th European Symposium on Programming, {ESOP} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4960}, pages = {368--382}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78739-6\_28}, doi = {10.1007/978-3-540-78739-6\_28}, timestamp = {Sun, 02 Jun 2019 21:23:56 +0200}, biburl = {https://dblp.org/rec/conf/esop/BartheK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foal/BartheK08, author = {Gilles Barthe and C{\'{e}}sar Kunz}, editor = {Curtis Clifton}, title = {Certificate translation for specification-preserving advices}, booktitle = {Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, {FOAL} 2008, Brussels, Belgium, April 1, 2008}, pages = {9--18}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1394496.1394498}, doi = {10.1145/1394496.1394498}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/foal/BartheK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fosad/BartheK08, author = {Gilles Barthe and C{\'{e}}sar Kunz}, editor = {Alessandro Aldini and Gilles Barthe and Roberto Gorrieri}, title = {An Introduction to Certificate Translation}, booktitle = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009 Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5705}, pages = {51--95}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-03829-7\_2}, doi = {10.1007/978-3-642-03829-7\_2}, timestamp = {Thu, 14 Oct 2021 10:12:35 +0200}, biburl = {https://dblp.org/rec/conf/fosad/BartheK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/BartheGHB08, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Sylvain Heraud and Santiago Zanella B{\'{e}}guelin}, editor = {Pierpaolo Degano and Joshua D. Guttman and Fabio Martinelli}, title = {Formal Certification of ElGamal Encryption}, booktitle = {Formal Aspects in Security and Trust, 5th International Workshop, {FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5491}, pages = {1--19}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01465-9\_1}, doi = {10.1007/978-3-642-01465-9\_1}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/BartheGHB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lernet/BartheGR08, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Colin Riba}, editor = {Ana Bove and Lu{\'{\i}}s Soares Barbosa and Alberto Pardo and Jorge Sousa Pinto}, title = {A Tutorial on Type-Based Termination}, booktitle = {Language Engineering and Rigorous Software Development, International LerNet {ALFA} Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5520}, pages = {100--152}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-03153-3\_3}, doi = {10.1007/978-3-642-03153-3\_3}, timestamp = {Thu, 14 Oct 2021 10:43:04 +0200}, biburl = {https://dblp.org/rec/conf/lernet/BartheGR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BartheKPS08, author = {Gilles Barthe and C{\'{e}}sar Kunz and David Pichardie and Juli{\'{a}}n Samborski{-}Forlese}, editor = {Antonio Cerone and Stefan Gruner}, title = {Preservation of Proof Pbligations for Hybrid Verification Methods}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {127--136}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.10}, doi = {10.1109/SEFM.2008.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BartheKPS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fmoods/2008, editor = {Gilles Barthe and Frank S. de Boer}, title = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5051}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68863-1}, doi = {10.1007/978-3-540-68863-1}, isbn = {978-3-540-68862-4}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tgc/2007, editor = {Gilles Barthe and C{\'{e}}dric Fournet}, title = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4912}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78663-4}, doi = {10.1007/978-3-540-78663-4}, isbn = {978-3-540-78662-7}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/BartheRB07, author = {Gilles Barthe and Tamara Rezk and Amitabh Basu}, title = {Security types preserving compilation}, journal = {Comput. Lang. Syst. Struct.}, volume = {33}, number = {2}, pages = {35--59}, year = {2007}, url = {https://doi.org/10.1016/j.cl.2005.05.002}, doi = {10.1016/J.CL.2005.05.002}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/BartheRB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/BartheN07, author = {Gilles Barthe and Leonor Prensa Nieto}, title = {Secure information flow for a concurrent language with scheduling}, journal = {J. Comput. Secur.}, volume = {15}, number = {6}, pages = {647--689}, year = {2007}, url = {https://doi.org/10.3233/jcs-2007-15604}, doi = {10.3233/JCS-2007-15604}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/BartheN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BarthePR07, author = {Gilles Barthe and David Pichardie and Tamara Rezk}, editor = {Rocco De Nicola}, title = {A Certified Lightweight Non-interference Java Bytecode Verifier}, booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, {ESOP} 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4421}, pages = {125--140}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71316-6\_10}, doi = {10.1007/978-3-540-71316-6\_10}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/BarthePR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esorics/BartheRRS07, author = {Gilles Barthe and Tamara Rezk and Alejandro Russo and Andrei Sabelfeld}, editor = {Joachim Biskup and Javier L{\'{o}}pez}, title = {Security of Multithreaded Programs by Compilation}, booktitle = {Computer Security - {ESORICS} 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4734}, pages = {2--18}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74835-9\_2}, doi = {10.1007/978-3-540-74835-9\_2}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esorics/BartheRRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/BartheCGJP07, author = {Gilles Barthe and Pierre Cr{\'{e}}gut and Benjamin Gr{\'{e}}goire and Thomas P. Jensen and David Pichardie}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {The {MOBIUS} Proof Carrying Code Infrastructure}, booktitle = {Formal Methods for Components and Objects, 6th International Symposium, {FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5382}, pages = {1--24}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-92188-2\_1}, doi = {10.1007/978-3-540-92188-2\_1}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fmco/BartheCGJP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007P7091, editor = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, title = {Mobility, Ubiquity and Security, 25.02. - 02.03.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07091}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/portals/07091/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7091.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BartheMMMS07, author = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, editor = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, title = {07091 Executive Summary - Mobility, Ubiquity and Security}, booktitle = {Mobility, Ubiquity and Security, 25.02. - 02.03.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07091}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1101}, timestamp = {Thu, 10 Jun 2021 13:02:08 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BartheMMMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BartheMMMS07a, author = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, editor = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, title = {07091 Abstracts Collection - Mobility, Ubiquity and Security}, booktitle = {Mobility, Ubiquity and Security, 25.02. - 02.03.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07091}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1102}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BartheMMMS07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BartheC06, author = {Gilles Barthe and Thierry Coquand}, title = {Remarks on the equational theory of non-normalizing pure type systems}, journal = {J. Funct. Program.}, volume = {16}, number = {2}, pages = {137--155}, year = {2006}, url = {https://doi.org/10.1017/S0956796803004726}, doi = {10.1017/S0956796803004726}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BartheC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/BartheFPR06, author = {Gilles Barthe and Julien Forest and David Pichardie and Vlad Rusu}, editor = {Masami Hagiya and Philip Wadler}, title = {Defining and Reasoning About Recursive Functions: {A} Practical Tool for the Coq Proof Assistant}, booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS} 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3945}, pages = {114--129}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11737414\_9}, doi = {10.1007/11737414\_9}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/BartheFPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/BartheBCGHLPR06, author = {Gilles Barthe and Lilian Burdy and Julien Charles and Benjamin Gr{\'{e}}goire and Marieke Huisman and Jean{-}Louis Lanet and Mariela Pavlova and Antoine Requet}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {{JACK} - {A} Tool for Validation of Security and Behaviour of Java Applications}, booktitle = {Formal Methods for Components and Objects, 5th International Symposium, {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {4709}, pages = {152--174}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-74792-5\_7}, doi = {10.1007/978-3-540-74792-5\_7}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmco/BartheBCGHLPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BartheGP06, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Fernando Pastawski}, editor = {Miki Hermann and Andrei Voronkov}, title = {CIC[{\^{}}( {)]:} Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4246}, pages = {257--271}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11916277\_18}, doi = {10.1007/11916277\_18}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BartheGP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BartheGKR06, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and Tamara Rezk}, editor = {Kwangkeun Yi}, title = {Certificate Translation for Optimizing Compilers}, booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul, Korea, August 29-31, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4134}, pages = {301--317}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11823230\_20}, doi = {10.1007/11823230\_20}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/BartheGKR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/BartheRN06, author = {Gilles Barthe and Tamara Rezk and David A. Naumann}, title = {Deriving an Information Flow Checker and Certifying Compiler for Java}, booktitle = {2006 {IEEE} Symposium on Security and Privacy (S{\&}P 2006), 21-24 May 2006, Berkeley, California, {USA}}, pages = {230--242}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/SP.2006.13}, doi = {10.1109/SP.2006.13}, timestamp = {Thu, 21 Sep 2023 15:57:31 +0200}, biburl = {https://dblp.org/rec/conf/sp/BartheRN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BartheBCGHMPPSV06, author = {Gilles Barthe and Lennart Beringer and Pierre Cr{\'{e}}gut and Benjamin Gr{\'{e}}goire and Martin Hofmann and Peter M{\"{u}}ller and Erik Poll and Germ{\'{a}}n Puebla and Ian Stark and Eric V{\'{e}}tillard}, editor = {Ugo Montanari and Donald Sannella and Roberto Bruni}, title = {{MOBIUS:} Mobility, Ubiquity, Security}, booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4661}, pages = {10--29}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-75336-0\_2}, doi = {10.1007/978-3-540-75336-0\_2}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BartheBCGHMPPSV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cassis/2005, editor = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Marieke Huisman and Jean{-}Louis Lanet}, title = {Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, {CASSIS} 2005, Nice, France, March 8-11, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3956}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11741060}, doi = {10.1007/11741060}, isbn = {3-540-33689-3}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cassis/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BartheCDS05, author = {Gilles Barthe and Pierre Courtieu and Guillaume Dufay and Sim{\~{a}}o Melo de Sousa}, title = {Tool-Assisted Specification and Verification of Typed Low-Level Languages}, journal = {J. Autom. Reason.}, volume = {35}, number = {4}, pages = {295--354}, year = {2005}, url = {https://doi.org/10.1007/s10817-005-0084-6}, doi = {10.1007/S10817-005-0084-6}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BartheCDS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Barthe05, author = {Gilles Barthe}, title = {A computational view of implicit coercions in type theory}, journal = {Math. Struct. Comput. Sci.}, volume = {15}, number = {5}, pages = {839--874}, year = {2005}, url = {https://doi.org/10.1017/S0960129505004901}, doi = {10.1017/S0960129505004901}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Barthe05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fosad/BartheD05, author = {Gilles Barthe and Guillaume Dufay}, editor = {Alessandro Aldini and Roberto Gorrieri and Fabio Martinelli}, title = {Formal Methods for Smartcard Security}, booktitle = {Foundations of Security Analysis and Design III, {FOSAD} 2004/2005 Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {3655}, pages = {133--177}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11554578\_5}, doi = {10.1007/11554578\_5}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/fosad/BartheD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/BartheRS05, author = {Gilles Barthe and Tamara Rezk and Ando Saabas}, editor = {Theodosis Dimitrakos and Fabio Martinelli and Peter Y. A. Ryan and Steve A. Schneider}, title = {Proof Obligations Preserving Compilation}, booktitle = {Formal Aspects in Security and Trust, Third International Workshop, {FAST} 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3866}, pages = {112--126}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11679219\_9}, doi = {10.1007/11679219\_9}, timestamp = {Sun, 02 Oct 2022 16:07:30 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/BartheRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BarthePS05, author = {Gilles Barthe and Mariela Pavlova and Gerardo Schneider}, editor = {Bernhard K. Aichernig and Bernhard Beckert}, title = {Precise Analysis of Memory Consumption using Program Logics}, booktitle = {Third {IEEE} International Conference on Software Engineering and Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany}, pages = {86--95}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/SEFM.2005.34}, doi = {10.1109/SEFM.2005.34}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BarthePS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/BartheGP05, author = {Gilles Barthe and Benjamin Gr{\'{e}}goire and Fernando Pastawski}, editor = {Pawel Urzyczyn}, title = {Practical Inference for Type-Based Termination in a Polymorphic Setting}, booktitle = {Typed Lambda Calculi and Applications, 7th International Conference, {TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3461}, pages = {71--85}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11417170\_7}, doi = {10.1007/11417170\_7}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tlca/BartheGP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tldi/BartheR05, author = {Gilles Barthe and Tamara Rezk}, editor = {J. Gregory Morrisett and Manuel F{\"{a}}hndrich}, title = {Non-interference for a JVM-like language}, booktitle = {Proceedings of TLDI'05: 2005 {ACM} {SIGPLAN} International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005}, pages = {103--112}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1040294.1040304}, doi = {10.1145/1040294.1040304}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tldi/BartheR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BartheRW06, author = {Gilles Barthe and Tamara Rezk and Martijn Warnier}, editor = {Antonio Cerone and Herbert Wiklicky}, title = {Preventing Timing Leaks Through Transactional Branching Instructions}, booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {153}, number = {2}, pages = {33--55}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.031}, doi = {10.1016/J.ENTCS.2005.10.031}, timestamp = {Thu, 01 Dec 2022 16:37:27 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BartheRW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cassis/2004, editor = {Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean{-}Louis Lanet and Traian Muntean}, title = {Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, {CASSIS} 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3362}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b105030}, doi = {10.1007/B105030}, isbn = {3-540-24287-2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cassis/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BartheDT04, author = {Gilles Barthe and Peter Dybjer and Peter Thiemann}, title = {Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming}, journal = {J. Funct. Program.}, volume = {14}, number = {1}, pages = {1--2}, year = {2004}, url = {https://doi.org/10.1017/S0956796803004866}, doi = {10.1017/S0956796803004866}, timestamp = {Mon, 23 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/BartheDT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BartheFGPU04, author = {Gilles Barthe and Maria Jo{\~{a}}o Frade and Eduardo Gim{\'{e}}nez and Lu{\'{\i}}s Pinto and Tarmo Uustalu}, title = {Type-based termination of recursive definitions}, journal = {Math. Struct. Comput. Sci.}, volume = {14}, number = {1}, pages = {97--141}, year = {2004}, url = {https://doi.org/10.1017/S0960129503004122}, doi = {10.1017/S0960129503004122}, timestamp = {Fri, 17 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BartheFGPU04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BartheCT04, author = {Gilles Barthe and Jan Cederquist and Sabrina Tarento}, editor = {David A. Basin and Micha{\"{e}}l Rusinowitch}, title = {A Machine-Checked Formalization of the Generic Model and the Random Oracle Model}, booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR} 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3097}, pages = {385--399}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25984-8\_29}, doi = {10.1007/978-3-540-25984-8\_29}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BartheCT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cardis/PavlovaBBHL04, author = {Mariela Pavlova and Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean{-}Louis Lanet}, editor = {Jean{-}Jacques Quisquater and Pierre Paradinas and Yves Deswarte and Anas Abou El Kalam}, title = {Enforcing High-Level Security Properties for Applets}, booktitle = {Smart Card Research and Advanced Applications VI, {IFIP} 18th World Computer Congress, {TC8/WG8.8} {\&} {TC11/WG11.2} Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {153}, pages = {1--16}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8147-2\_1}, doi = {10.1007/1-4020-8147-2\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cardis/PavlovaBBHL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BartheN04, author = {Gilles Barthe and Leonor Prensa Nieto}, editor = {Vijayalakshmi Atluri and Michael Backes and David A. Basin and Michael Waidner}, title = {Formally verifying information flow type systems for concurrent and thread systems}, booktitle = {Proceedings of the 2004 {ACM} Workshop on Formal Methods in Security Engineering, {FMSE} 2004, Washington, DC, USA, October 29, 2004}, pages = {13--22}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1029133.1029136}, doi = {10.1145/1029133.1029136}, timestamp = {Tue, 10 Nov 2020 16:06:16 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BartheN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BartheDR04, author = {Gilles Barthe and Pedro R. D'Argenio and Tamara Rezk}, title = {Secure Information Flow by Self-Composition}, booktitle = {17th {IEEE} Computer Security Foundations Workshop, {(CSFW-17} 2004), 28-30 June 2004, Pacific Grove, CA, {USA}}, pages = {100--114}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.17}, doi = {10.1109/CSFW.2004.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BartheDR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BartheD04, author = {Gilles Barthe and Guillaume Dufay}, editor = {Michel Wermelinger and Tiziana Margaria}, title = {A Tool-Assisted Framework for Certified Bytecode Verification}, booktitle = {Fundamental Approaches to Software Engineering, 7th International Conference, {FASE} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2984}, pages = {99--113}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24721-0\_7}, doi = {10.1007/978-3-540-24721-0\_7}, timestamp = {Sun, 02 Jun 2019 21:17:06 +0200}, biburl = {https://dblp.org/rec/conf/fase/BartheD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/BartheT04, author = {Gilles Barthe and Sabrina Tarento}, editor = {Jean{-}Christophe Filli{\^{a}}tre and Christine Paulin{-}Mohring and Benjamin Werner}, title = {A Machine-Checked Formalization of the Random Oracle Model}, booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3839}, pages = {33--49}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11617990\_3}, doi = {10.1007/11617990\_3}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/types/BartheT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/BartheBR04, author = {Gilles Barthe and Amitabh Basu and Tamara Rezk}, editor = {Bernhard Steffen and Giorgio Levi}, title = {Security Types Preserving Compilation: (Extended Abstract)}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2937}, pages = {2--15}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24622-0\_2}, doi = {10.1007/978-3-540-24622-0\_2}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/BartheBR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BartheCP03, author = {Gilles Barthe and Venanzio Capretta and Olivier Pons}, title = {Setoids in type theory}, journal = {J. Funct. Program.}, volume = {13}, number = {2}, pages = {261--293}, year = {2003}, url = {https://doi.org/10.1017/S0956796802004501}, doi = {10.1017/S0956796802004501}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BartheCP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BartheCKL03, author = {Gilles Barthe and Horatiu Cirstea and Claude Kirchner and Luigi Liquori}, editor = {Alex Aiken and Greg Morrisett}, title = {Pure patterns type systems}, booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003}, pages = {250--261}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/604131.604152}, doi = {10.1145/604131.604152}, timestamp = {Fri, 25 Jun 2021 17:17:37 +0200}, biburl = {https://dblp.org/rec/conf/popl/BartheCKL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BartheS03, author = {Gilles Barthe and Sorin Stratulat}, editor = {Robert Nieuwenhuis}, title = {Validation of the JavaCard Platform with Implicit Induction Techniques}, booktitle = {Rewriting Techniques and Applications, 14th International Conference, {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2706}, pages = {337--351}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44881-0\_24}, doi = {10.1007/3-540-44881-0\_24}, timestamp = {Sun, 02 Oct 2022 16:14:20 +0200}, biburl = {https://dblp.org/rec/conf/rta/BartheS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mpc/2002tip, editor = {Gilles Barthe and Peter Thiemann}, title = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {75}, publisher = {Elsevier}, year = {2003}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/75/suppl/C}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mpc/2002tip.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/BartheCDS02, author = {Gilles Barthe and Pierre Courtieu and Guillaume Dufay and Sim{\~{a}}o Melo de Sousa}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {Tool-Assisted Specification and Verification of the JavaCard Platform}, booktitle = {Algebraic Methodology and Software Technology, 9th International Conference, {AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2422}, pages = {41--59}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45719-4\_4}, doi = {10.1007/3-540-45719-4\_4}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/BartheCDS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BartheGH02, author = {Gilles Barthe and Dilian Gurov and Marieke Huisman}, editor = {Ralf{-}Detlef Kutsche and Herbert Weber}, title = {Compositional Verification of Secure Applet Interactions}, booktitle = {Fundamental Approaches to Software Engineering, 5th International Conference, {FASE} 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2306}, pages = {15--32}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45923-5\_2}, doi = {10.1007/3-540-45923-5\_2}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/BartheGH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/BartheU02, author = {Gilles Barthe and Tarmo Uustalu}, editor = {Peter Thiemann}, title = {{CPS} translating inductive and coinductive types}, booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon, USA, January 14-15, 2002}, pages = {131--142}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/503032.503043}, doi = {10.1145/503032.503043}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/BartheU02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/BartheC02, author = {Gilles Barthe and Pierre Courtieu}, editor = {Victor Carre{\~{n}}o and C{\'{e}}sar A. Mu{\~{n}}oz and Sofi{\`{e}}ne Tahar}, title = {Efficient Reasoning about Executable Specifications in Coq}, booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2410}, pages = {31--46}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45685-6\_4}, doi = {10.1007/3-540-45685-6\_4}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/BartheC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/BartheDJS02, author = {Gilles Barthe and Guillaume Dufay and Line Jakubiec and Sim{\~{a}}o Melo de Sousa}, editor = {Agostino Cortesi}, title = {A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines}, booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2294}, pages = {32--45}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-47813-2\_3}, doi = {10.1007/3-540-47813-2\_3}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/BartheDJS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BartheT02, author = {Gilles Barthe and Peter Thiemann}, editor = {Gilles Barthe and Peter Thiemann}, title = {Preface}, booktitle = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {75}, pages = {114--115}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)80782-0}, doi = {10.1016/S1571-0661(05)80782-0}, timestamp = {Wed, 07 Dec 2022 09:03:24 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BartheT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ac/2000appsem, editor = {Gilles Barthe and Peter Dybjer and Lu{\'{\i}}s Pinto and Jo{\~{a}}o Saraiva}, title = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {2395}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45699-6}, doi = {10.1007/3-540-45699-6}, isbn = {3-540-44044-5}, timestamp = {Fri, 17 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ac/2000appsem.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BartheHS01, author = {Gilles Barthe and John Hatcliff and Morten Heine S{\o}rensen}, title = {An induction principle for pure type systems}, journal = {Theor. Comput. Sci.}, volume = {266}, number = {1-2}, pages = {773--818}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00373-X}, doi = {10.1016/S0304-3975(00)00373-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BartheHS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BartheHS01a, author = {Gilles Barthe and John Hatcliff and Morten Heine S{\o}rensen}, title = {Weak normalization implies strong normalization in a class of non-dependent pure type systems}, journal = {Theor. Comput. Sci.}, volume = {269}, number = {1-2}, pages = {317--361}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(01)00012-3}, doi = {10.1016/S0304-3975(01)00012-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BartheHS01a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BartheJ01, author = {Gilles Barthe and Blas C. Ruiz Jim{\'{e}}nez}, editor = {Lu{\'{\i}}s Moniz Pereira and Paulo Quaresma}, title = {Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo)}, booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming, {\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora, Portugal, September 26-28, 2001}, pages = {149--163}, publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora}, year = {2001}, url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/22.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/BartheJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esmart/BartheDHS01, author = {Gilles Barthe and Guillaume Dufay and Marieke Huisman and Sim{\~{a}}o Melo de Sousa}, editor = {Isabelle Attali and Thomas P. Jensen}, title = {Jakarta: {A} Toolset for Reasoning about JavaCard}, booktitle = {Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2140}, pages = {2--18}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45418-7\_2}, doi = {10.1007/3-540-45418-7\_2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esmart/BartheDHS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BartheDJSS01, author = {Gilles Barthe and Guillaume Dufay and Line Jakubiec and Bernard P. Serpette and Sim{\~{a}}o Melo de Sousa}, editor = {David Sands}, title = {A Formal Executable Semantics of the JavaCard Platform}, booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, {ESOP} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2028}, pages = {302--319}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45309-1\_20}, doi = {10.1007/3-540-45309-1\_20}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/BartheDJSS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BartheP01, author = {Gilles Barthe and Olivier Pons}, editor = {Furio Honsell and Marino Miculan}, title = {Type Isomorphisms and Proof Reuse in Dependent Type Theory}, booktitle = {Foundations of Software Science and Computation Structures, 4th International Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2030}, pages = {57--71}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45315-6\_4}, doi = {10.1007/3-540-45315-6\_4}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BartheP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BartheS00, author = {Gilles Barthe and Morten Heine S{\o}rensen}, title = {Domain-free pure type systems}, journal = {J. Funct. Program.}, volume = {10}, number = {5}, pages = {417--452}, year = {2000}, url = {https://doi.org/10.1017/s0956796800003750}, doi = {10.1017/S0956796800003750}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BartheS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/BartheC00, author = {Gilles Barthe and Thierry Coquand}, editor = {Gilles Barthe and Peter Dybjer and Lu{\'{\i}}s Pinto and Jo{\~{a}}o Saraiva}, title = {An Introduction to Dependent Type Theory}, booktitle = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {2395}, pages = {1--41}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45699-6\_1}, doi = {10.1007/3-540-45699-6\_1}, timestamp = {Fri, 17 Jul 2020 11:39:04 +0200}, biburl = {https://dblp.org/rec/conf/ac/BartheC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BartheR00, author = {Gilles Barthe and Femke van Raamsdonk}, editor = {Jerzy Tiuryn}, title = {Constructor Subtyping in the Calculus of Inductive Constructions}, booktitle = {Foundations of Software Science and Computation Structures, Third International Conference, {FOSSACS} 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1784}, pages = {17--34}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46432-8\_2}, doi = {10.1007/3-540-46432-8\_2}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BartheR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BartheS00, author = {Gilles Barthe and Bernard P. Serpette}, editor = {Michel Parigot and Andrei Voronkov}, title = {Static Reduction Analysis for Imperative Object Oriented Languages}, booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference, {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1955}, pages = {344--361}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44404-1\_22}, doi = {10.1007/3-540-44404-1\_22}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BartheS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Barthe99, author = {Gilles Barthe}, title = {Order-Sorted Inductive Types}, journal = {Inf. Comput.}, volume = {149}, number = {1}, pages = {42--76}, year = {1999}, url = {https://doi.org/10.1006/inco.1998.2751}, doi = {10.1006/INCO.1998.2751}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Barthe99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Barthe99, author = {Gilles Barthe}, title = {Type-checking injective pure type systems}, journal = {J. Funct. Program.}, volume = {9}, number = {6}, pages = {685--698}, year = {1999}, url = {https://doi.org/10.1017/s0956796899003573}, doi = {10.1017/S0956796899003573}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Barthe99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BartheHS99, author = {Gilles Barthe and John Hatcliff and Morten Heine S{\o}rensen}, title = {{CPS} Translations and Applications: The Cube and Beyond}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {2}, pages = {125--170}, year = {1999}, url = {https://doi.org/10.1023/A:1010000206149}, doi = {10.1023/A:1010000206149}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BartheHS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BartheF99, author = {Gilles Barthe and Maria Jo{\~{a}}o Frade}, editor = {S. Doaitse Swierstra}, title = {Constructor Subtyping}, booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1576}, pages = {109--127}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49099-X\_8}, doi = {10.1007/3-540-49099-X\_8}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/BartheF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/BartheS99, author = {Gilles Barthe and Bernard P. Serpette}, editor = {Aart Middeldorp and Taisuke Sato}, title = {Partial Evaluation and Non-interference for Object Calculi}, booktitle = {Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1722}, pages = {53--67}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10705424\_4}, doi = {10.1007/10705424\_4}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/BartheS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Barthe99, author = {Gilles Barthe}, editor = {Wolfgang Thomas}, title = {Expanding the Cube}, booktitle = {Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1578}, pages = {90--103}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49019-1\_7}, doi = {10.1007/3-540-49019-1\_7}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Barthe99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Barthe98, author = {Gilles Barthe}, editor = {Georg Gottlob and Etienne Grandjean and Katrin Seyr}, title = {Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion}, booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1584}, pages = {241--259}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10703163\_17}, doi = {10.1007/10703163\_17}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/Barthe98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Barthe98, author = {Gilles Barthe}, editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel}, title = {The Relevance of Proof-Irrelevance}, booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1443}, pages = {755--768}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055099}, doi = {10.1007/BFB0055099}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Barthe98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Barthe98, author = {Gilles Barthe}, editor = {Lubos Brim and Jozef Gruska and Jir{\'{\i}} Zlatuska}, title = {The Semi-Full Closure of Pure Type Systems}, booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1450}, pages = {316--325}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055781}, doi = {10.1007/BFB0055781}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Barthe98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/BartheR97, author = {Gilles Barthe and Femke van Raamsdonk}, editor = {Michael Hanus and Jan Heering and Karl Meinke}, title = {Termination of Algebraic Type Systems: The Syntactic Approach}, booktitle = {Algebraic and Logic Programming, 6th International Joint Conference, {ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1298}, pages = {174--193}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0027010}, doi = {10.1007/BFB0027010}, timestamp = {Thu, 14 Oct 2021 10:38:45 +0200}, biburl = {https://dblp.org/rec/conf/alp/BartheR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/BartheKR97, author = {Gilles Barthe and Fairouz Kamareddine and Alejandro R{\'{\i}}os}, editor = {Michael Hanus and Jan Heering and Karl Meinke}, title = {Explicit Substitutions for the Lambda-Calculus}, booktitle = {Algebraic and Logic Programming, 6th International Joint Conference, {ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1298}, pages = {209--223}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0027012}, doi = {10.1007/BFB0027012}, timestamp = {Wed, 28 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alp/BartheKR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/BartheS97, author = {Gilles Barthe and Morten Heine S{\o}rensen}, editor = {Sergei I. Adian and Anil Nerode}, title = {Domain-Free Pure Type Systems}, booktitle = {Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1234}, pages = {9--20}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63045-7\_2}, doi = {10.1007/3-540-63045-7\_2}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/BartheS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BartheHS97, author = {Gilles Barthe and John Hatcliff and Morten Heine S{\o}rensen}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Reflections on Reflections}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {241--258}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033848}, doi = {10.1007/BFB0033848}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BartheHS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BartheHS97, author = {Gilles Barthe and John Hatcliff and Morten Heine S{\o}rensen}, editor = {Stephen D. Brookes and Michael W. Mislove}, title = {A notion of classical pure type system}, booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {6}, pages = {4--59}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80170-7}, doi = {10.1016/S1571-0661(05)80170-7}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BartheHS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BartheHT97, author = {Gilles Barthe and John Hatcliff and Peter Thiemann}, editor = {Andrew D. Gordon and Andrew M. Pitts and Carolyn L. Talcott}, title = {Monadic Type Systems: Pure Type Systems for Impure Settings}, booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics, {HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {10}, pages = {54--120}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80691-7}, doi = {10.1016/S1571-0661(05)80691-7}, timestamp = {Fri, 11 Nov 2022 13:29:29 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BartheHT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/BartheM96, author = {Gilles Barthe and Paul{-}Andr{\'{e}} Melli{\`{e}}s}, editor = {Dirk van Dalen and Marc Bezem}, title = {On the Subject Reduction Property for Algebraic Type Systems}, booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1258}, pages = {34--57}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-63172-0\_31}, doi = {10.1007/3-540-63172-0\_31}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/BartheM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/disco/BartheE96, author = {Gilles Barthe and Hugo Elbers}, editor = {Jacques Calmet and Carla Limongelli}, title = {Towards Lean Proof Checking}, booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, {DISCO} '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1128}, pages = {61--62}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61697-7\_5}, doi = {10.1007/3-540-61697-7\_5}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/disco/BartheE96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/BartheG95, author = {Gilles Barthe and Herman Geuvers}, editor = {Hans Kleine B{\"{u}}ning}, title = {Congruence Types}, booktitle = {Computer Science Logic, 9th International Workshop, {CSL} '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1092}, pages = {36--51}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61377-3\_30}, doi = {10.1007/3-540-61377-3\_30}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/BartheG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Barthe95, author = {Gilles Barthe}, editor = {Horst Reichel}, title = {A Simple Abstract Semantics for Equational Theories}, booktitle = {Fundamentals of Computation Theory, 10th International Symposium, {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {965}, pages = {126--135}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60249-6\_45}, doi = {10.1007/3-540-60249-6\_45}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/Barthe95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hoa/BartheG95, author = {Gilles Barthe and Herman Geuvers}, editor = {Gilles Dowek and Jan Heering and Karl Meinke and Bernhard M{\"{o}}ller}, title = {Modular Properties of Algebraic Type Systems}, booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1074}, pages = {37--56}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61254-8\_18}, doi = {10.1007/3-540-61254-8\_18}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/hoa/BartheG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/Barthe95, author = {Gilles Barthe}, editor = {Mariangiola Dezani{-}Ciancaglini and Gordon D. Plotkin}, title = {Extensions of Pure Type Systems}, booktitle = {Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK, April 10-12, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {902}, pages = {16--31}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0014042}, doi = {10.1007/BFB0014042}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tlca/Barthe95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/Barthe95, author = {Gilles Barthe}, editor = {Stefano Berardi and Mario Coppo}, title = {Implicit Coercions in Type Systems}, booktitle = {Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1158}, pages = {1--15}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61780-9\_58}, doi = {10.1007/3-540-61780-9\_58}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/types/Barthe95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/BartheRB95, author = {Gilles Barthe and Mark Ruys and Henk Barendregt}, editor = {Stefano Berardi and Mario Coppo}, title = {A Two-Level Approach Towards Lean Proof-Checking}, booktitle = {Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1158}, pages = {16--35}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61780-9\_59}, doi = {10.1007/3-540-61780-9\_59}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/types/BartheRB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.