Gilles Barthe
AuthID: R-00H-7MM
1
TITLE: A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
AUTHORS: Gilles Barthe; Minbo Gao; Jam Kabeer Ali Khan; Matthijs Muis; Ivan Renison; Keiya Sakabe; Michael Walter; Yingte Xu; Li Zhou;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.07051
AUTHORS: Gilles Barthe; Minbo Gao; Jam Kabeer Ali Khan; Matthijs Muis; Ivan Renison; Keiya Sakabe; Michael Walter; Yingte Xu; Li Zhou;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.07051
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: (Dis)Proving Spectre Security with Speculation-Passing Style
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Xingyu Xie; Zhiyuan Zhang;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.11573
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Xingyu Xie; Zhiyuan Zhang;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.11573
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: The Jasmin Compiler Preserves Cryptographic Security
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte; Paolo Torrini;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.11292
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte; Paolo Torrini;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.11292
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
AUTHORS: Gilles Barthe; Evangelos P Markatos; Pierangela Samarati;
PUBLISHED: 2016, SOURCE: STM, VOLUME: 9871
AUTHORS: Gilles Barthe; Evangelos P Markatos; Pierangela Samarati;
PUBLISHED: 2016, SOURCE: STM, VOLUME: 9871
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: High-Assurance Cryptography: Cryptographic Software We Can Trust
AUTHORS: Gilles Barthe;
PUBLISHED: 2015, SOURCE: IEEE Secur. Priv., VOLUME: 13, ISSUE: 5
AUTHORS: Gilles Barthe;
PUBLISHED: 2015, SOURCE: IEEE Secur. Priv., VOLUME: 13, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: Computer-Aided Security Proofs
AUTHORS: Gilles Barthe;
PUBLISHED: 2013, SOURCE: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, VOLUME: 8054
AUTHORS: Gilles Barthe;
PUBLISHED: 2013, SOURCE: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, VOLUME: 8054
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
TITLE: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
AUTHORS: Gilles Barthe; Benjamin Livshits; Riccardo Scandariato;
PUBLISHED: 2012, SOURCE: ESSoS, VOLUME: 7159
AUTHORS: Gilles Barthe; Benjamin Livshits; Riccardo Scandariato;
PUBLISHED: 2012, SOURCE: ESSoS, VOLUME: 7159
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP8
TITLE: Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
AUTHORS: Gilles Barthe; Anupam Datta; Sandro Etalle;
PUBLISHED: 2012, SOURCE: Formal Aspects in Security and Trust, VOLUME: 7140
AUTHORS: Gilles Barthe; Anupam Datta; Sandro Etalle;
PUBLISHED: 2012, SOURCE: Formal Aspects in Security and Trust, VOLUME: 7140
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
AUTHORS: Gilles Barthe; Manuel V Hermenegildo;
PUBLISHED: 2010, SOURCE: VMCAI, VOLUME: 5944
AUTHORS: Gilles Barthe; Manuel V Hermenegildo;
PUBLISHED: 2010, SOURCE: VMCAI, VOLUME: 5944
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
AUTHORS: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLISHED: 2009, SOURCE: FOSAD, VOLUME: 5705
AUTHORS: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLISHED: 2009, SOURCE: FOSAD, VOLUME: 5705
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP