Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
An extensive formal analysis of multi-factor authentication protocols
Charlie Jacomme
,
Steve Kremer
January 2021
PDF
Cite
Type
Journal article
Publication
ACM Transactions on Privacy and Security (TOPS)
Related
An extensive formal analysis of multi-factor authentication protocols
Universal equivalence and majority on probabilistic programs over finite fields
Symbolic methods in computational cryptography proofs
Symbolic Models for Isolated Execution Environments
An interactive prover for protocol verification in the computational model (To appear)
Cite
×