Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
English
English
Français
Symbolic Proofs for Lattice-Based Cryptography
Gilles Barthe
,
Xiong Fan
,
Joshua Gancher
,
Benjamin Grégoire
,
Charlie Jacomme
,
Elaine Shi
October 2018
PDF
Cite
Type
Conference paper
Publication
Proceedings of the 25th ACM Conference on Computer and Communications Security (CCS'18)
Related
Symbolic methods in computational cryptography proofs
Universal equivalence and majority on probabilistic programs over finite fields
An extensive formal analysis of multi-factor authentication protocols
An interactive prover for protocol verification in the computational model (To appear)
Proofs of Security Protocols - Symbolic Methods and Powerful Attackers
Cite
×