Charlie Jacomme

33 papers A* 13A 5Journal 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Subversion-resilient Key-exchange in the Post-quantum World. IACR Cryptol. ePrint Arch. Kévin Duverger, Pierre-Alain Fouque, Charlie Jacomme, Guilhem Niot, Cristina Onete
2025	J	`jnl`	Are ideal functionalities really ideal? IACR Cryptol. ePrint Arch. Myrto Arapinis, Véronique Cortier, Hubert de Groote, Charlie Jacomme, Steve Kremer
2025	A*	`conf`	Subversion-resilient Key-exchange in the Post-quantum World. CCS Kévin Duverger, Pierre-Alain Fouque, Charlie Jacomme, Guilhem Niot, Cristina Onete
2025	A*	`conf`	Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation. SP Cas Cremers, Gal Horowitz, Charlie Jacomme, Eyal Ronen
2024	A*	`conf`	Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging. USENIX Security Symposium Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt
2024	A	`conf`	Post-Quantum Sound CryptoVerif and Verification of Hybrid TLS and SSH Key-Exchanges. CSF Bruno Blanchet, Charlie Jacomme
2024	J	`jnl`	The Squirrel Prover and its Logic. ACM SIGLOG News David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand
2023	A*	`conf`	A comprehensive, formal and automated analysis of the EDHOC protocol. USENIX Security Symposium Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot
2023	A*	`conf`	Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. USENIX Security Symposium Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
2023	J	`jnl`	Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security. IACR Cryptol. ePrint Arch. Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao
2023	A*	`conf`	Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. USENIX Security Symposium Cas Cremers, Charlie Jacomme, Aurora Naska
2023	A*	`conf`	Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. USENIX Security Symposium Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2023	A	`conf`	Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. CSF Cas Cremers, Charlie Jacomme, Philip Lukert
2022	A*	`conf`	A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. SP Cas Cremers, Caroline Fontaine, Charlie Jacomme
2022	J	`jnl`	A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. IACR Cryptol. ePrint Arch. Cas Cremers, Caroline Fontaine, Charlie Jacomme
2022	J	`jnl`	Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations. IACR Cryptol. ePrint Arch. Cas Cremers, Charlie Jacomme, Aurora Naska
2022	J	`jnl`	Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. IACR Cryptol. ePrint Arch. Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
2022	A*	`conf`	SAPIC+: protocol verifiers of the world, unite! USENIX Security Symposium Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann
2022	J	`jnl`	Sapic+: protocol verifiers of the world, unite! IACR Cryptol. ePrint Arch. Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann
2022	J	`jnl`	Subterm-based proof techniques for improving the automation and scope of security protocol analysis. IACR Cryptol. ePrint Arch. Cas Cremers, Charlie Jacomme, Philip Lukert
2022	J	`jnl`	TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation. IACR Cryptol. ePrint Arch. Cas Cremers, Charlie Jacomme, Eyal Ronen
2022	J	`jnl`	Universal Equivalence and Majority of Probabilistic Programs over Finite Fields. ACM Trans. Comput. Log. Gilles Barthe, Charlie Jacomme, Steve Kremer
2021	J	`jnl`	An Extensive Formal Analysis of Multi-factor Authentication Protocols. ACM Trans. Priv. Secur. Charlie Jacomme, Steve Kremer
2021	A*	`conf`	An Interactive Prover for Protocol Verification in the Computational Model. SP David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
2020	A*	`conf`	Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets. CCS Hubert Comon, Charlie Jacomme, Guillaume Scerri
2020	—	`—`	Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants. (Proofs of security protocols : symbolic methods and powerful attackers). Charlie Jacomme
2020	A*	`conf`	Universal equivalence and majority of probabilistic programs over finite fields. LICS Gilles Barthe, Charlie Jacomme, Steve Kremer
2019	A	`conf`	Symbolic Methods in Computational Cryptography Proofs. CSF Gilles Barthe, Benjamin Grégoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub
2018	A	`conf`	An Extensive Formal Analysis of Multi-factor Authentication Protocols. CSF Charlie Jacomme, Steve Kremer
2018	A*	`conf`	Symbolic Proofs for Lattice-Based Cryptography. CCS Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi
2018	J	`jnl`	Symbolic Proofs for Lattice-Based Cryptography. IACR Cryptol. ePrint Arch. Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi
2017	A	`conf`	Symbolic Models for Isolated Execution Environments. EuroS&P Charlie Jacomme, Steve Kremer, Guillaume Scerri
2017	J	`jnl`	Symbolic Models for Isolated Execution Environments. IACR Cryptol. ePrint Arch. Charlie Jacomme, Steve Kremer, Guillaume Scerri