Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

1
TÍTULO: A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
AUTORES: Gilles Barthe; Minbo Gao; Jam Kabeer Ali Khan; Matthijs Muis; Ivan Renison; Keiya Sakabe; Michael Walter; Yingte Xu; Li Zhou;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.07051
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: (Dis)Proving Spectre Security with Speculation-Passing Style
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Xingyu Xie; Zhiyuan Zhang;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.11573
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: The Jasmin Compiler Preserves Cryptographic Security
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Lionel Blatter; Benjamin Grégoire; Vincent Laporte; Paolo Torrini;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.11292
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
AUTORES: Gilles Barthe; Evangelos P Markatos; Pierangela Samarati;
PUBLICAÇÃO: 2016, FONTE: STM, VOLUME: 9871
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: High-Assurance Cryptography: Cryptographic Software We Can Trust
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2015, FONTE: IEEE Secur. Priv., VOLUME: 13, NÚMERO: 5
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Computer-Aided Security Proofs
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2013, FONTE: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, VOLUME: 8054
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
AUTORES: Gilles Barthe; Benjamin Livshits; Riccardo Scandariato;
PUBLICAÇÃO: 2012, FONTE: ESSoS, VOLUME: 7159
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
AUTORES: Gilles Barthe; Anupam Datta; Sandro Etalle;
PUBLICAÇÃO: 2012, FONTE: Formal Aspects in Security and Trust, VOLUME: 7140
INDEXADO EM: DBLP
NO MEU: DBLP
9
10
TÍTULO: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
AUTORES: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLICAÇÃO: 2009, FONTE: FOSAD, VOLUME: 5705
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 3. Total de resultados: 27.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service