Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
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
A comprehensive, formal and automated analysis of the EDHOC protocol
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
SAPIC+: protocol verifiers of the world, unite!
Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
Cite
×