Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Oracle simulation: a technique for protocol composition with long term shared secrets
Hubert Comon
,
Charlie Jacomme
,
Guillaume Scerri
November 2020
PDF
Cite
Long Version
Type
Conference paper
Publication
Proceedings of the 27st ACM Conference on Computer and Communications Security (CCS'20)
Related
Symbolic Models for Isolated Execution Environments
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
Universal equivalence and majority on probabilistic programs over finite fields
Cite
×