Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Publications
Type
Conference paper
Journal article
Thesis
Date
2021
2020
2019
2018
2017
David Baelde
,
Stéphanie Delaune
,
Adrien Koutsos
,
Charlie Jacomme
,
Solène Moreau
(2021).
An interactive prover for protocol verification in the computational model (To appear)
.
IEEE Symposium on Security and Privacy (S&P'21)
.
Cite
Charlie Jacomme
,
Steve Kremer
(2021).
An extensive formal analysis of multi-factor authentication protocols
.
ACM Transactions on Privacy and Security (TOPS)
.
PDF
Cite
Hubert Comon
,
Charlie Jacomme
,
Guillaume Scerri
(2020).
Oracle simulation: a technique for protocol composition with long term shared secrets
.
Proceedings of the 27st ACM Conference on Computer and Communications Security (CCS'20)
.
PDF
Cite
Long Version
Charlie Jacomme
(2020).
Proofs of Security Protocols - Symbolic Methods and Powerful Attackers
. PhD Thesis.
PDF
Cite
Gilles Barthe
,
Charlie Jacomme
,
Steve Kremer
(2020).
Universal equivalence and majority on probabilistic programs over finite fields
.
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'20)
.
PDF
Cite
Gilles Barthe
,
Benjamin Grégoire
,
Charlie Jacomme
,
Steve Kremer
,
Pierre-Yves Strub
(2019).
Symbolic methods in computational cryptography proofs
.
Proceedings of the 31st IEEE Computer Security Foundations Symposium (CSF'19)
.
PDF
Cite
DOI
Gilles Barthe
,
Xiong Fan
,
Joshua Gancher
,
Benjamin Grégoire
,
Charlie Jacomme
,
Elaine Shi
(2018).
Symbolic Proofs for Lattice-Based Cryptography
.
Proceedings of the 25th ACM Conference on Computer and Communications Security (CCS'18)
.
PDF
Cite
Charlie Jacomme
,
Steve Kremer
(2018).
An extensive formal analysis of multi-factor authentication protocols
.
Proceedings of the 31st IEEE Computer Security Foundations Symposium (CSF'18)
.
PDF
Cite
DOI
Charlie Jacomme
,
Steve Kremer
,
Guillaume Scerri
(2017).
Symbolic Models for Isolated Execution Environments
.
Proceedings of the 2nd IEEE European Symposium on Security and Privacy (EuroS&P'17)
.
PDF
Cite
DOI
Cite
×