Publications

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).

Charlie Jacomme, Steve Kremer (2021). An extensive formal analysis of multi-factor authentication protocols. ACM Transactions on Privacy and Security (TOPS).

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 Long Version

Charlie Jacomme (2020). Proofs of Security Protocols - Symbolic Methods and Powerful Attackers. PhD Thesis.

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).

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).

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).

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).

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).