Charlie Jacomme
Charlie Jacomme
Accueil
Publications
Enseignement
Autres
Contact
Light
Dark
Automatic
Français
Français
English
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols (to appear)
Cas Cremers
,
Caroline Fontaine
,
Charlie Jacomme
January 2022
Citation
Type
Article de conférence
Publication
Proceedings of the 43nd IEEE Symposium on Security and Privacy (S&P'22) - To appear
Sur le même sujet
An extensive formal analysis of multi-factor authentication protocols
An interactive prover for protocol verification in the computational model
Proofs of Security Protocols - Symbolic Methods and Powerful Attackers
Oracle simulation: a technique for protocol composition with long term shared secrets
Universal equivalence and majority on probabilistic programs over finite fields
Citation
×