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
Cas Cremers
,
Caroline Fontaine
,
Charlie Jacomme
January 2022
PDF
Citation
Type
Article de conférence
Publication
Proceedings of the 43nd IEEE Symposium on Security and Privacy (S&P'22)
Sur le même sujet
Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
SAPIC+: protocol verifiers of the world, unite!
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
Citation
×