Follow
Charlie Jacomme
Charlie Jacomme
Université de Lorraine, LORIA, Inria Nancy Grand-Est
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
An extensive formal analysis of multi-factor authentication protocols
C Jacomme, S Kremer
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 1-15, 2018
772018
An interactive prover for protocol verification in the computational model
D Baelde, S Delaune, C Jacomme, A Koutsos, S Moreau
2021 IEEE Symposium on Security and Privacy (SP), 537-554, 2021
342021
{SAPIC+}: protocol verifiers of the world, unite!
V Cheval, C Jacomme, S Kremer, R Künnemann
31st USENIX Security Symposium (USENIX Security 22), 3935-3952, 2022
212022
CryptoVerif: A computationally-sound security protocol verifier
B Blanchet, C Jacomme
Inria, 2023
162023
Symbolic Proofs for Lattice-Based Cryptography
G Barthe, X Fan, J Gancher, B Grégoire, C Jacomme, E Shi
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
142018
A comprehensive, formal and automated analysis of the {EDHOC} protocol
C Jacomme, E Klein, S Kremer, M Racouchot
32nd USENIX Security Symposium (USENIX Security 23), 5881-5898, 2023
132023
Symbolic models for isolated execution environments
C Jacomme, S Kremer, G Scerri
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 530-545, 2017
122017
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
C Cremers, C Fontaine, C Jacomme
2022 IEEE Symposium on Security and Privacy (SP), 125-141, 2022
92022
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
V Cheval, C Cremers, A Dax, L Hirschi, C Jacomme, S Kremer
32nd USENIX Security Symposium (USENIX Security 23), 5899-5916, 2023
72023
Subterm-based proof techniques for improving the automation and scope of security protocol analysis
C Cremers, C Jacomme, P Lukert
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 200-213, 2023
62023
Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
G Barthe, C Jacomme, S Kremer
ACM Transactions on Computational Logic (TOCL) 23 (1), 1-42, 2021
62021
Symbolic methods in computational cryptography proofs
G Barthe, B Grégoire, C Jacomme, S Kremer, PY Strub
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 136-13615, 2019
62019
Oracle simulation: a technique for protocol composition with long term shared secrets
H Comon, C Jacomme, G Scerri
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
52020
Formal Analysis of {Session-Handling} in Secure Messaging: Lifting Security from Sessions to Conversations
C Cremers, C Jacomme, A Naska
32nd USENIX Security Symposium (USENIX Security 23), 1235-1252, 2023
32023
Automated Analysis of Protocols that use Authenticated Encryption: Analysing the Impact of the Subtle Differences between AEADs on Protocol Security
C Cremers, A Dax, C Jacomme, M Zhao
USENIX Security 2023, 2023
22023
TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation
C Cremers, G Horowitz, C Jacomme, E Ronen
Cryptology ePrint Archive, 2022
22022
Inria Paris, France February 5, 2024
B Blanchet, D Cadé, C Jacomme
2024
Extending the SQUIRREL meta-logic for reasoning over security protocols
D Baelde, S Delaune, C Jacomme, A Koutsos, S Moreau
2021
Squirrel, an Interactive Prover for Protocol Verification in the Computational Model
D Baelde, S Delaune, C Jacomme, A Koutsos, S Moreau
2020
Preuves de protocoles cryptographiques: méthodes symboliques et attaquants puissants
C Jacomme
Université Paris-Saclay, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20