Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
English
English
Français
Cas Cremers
Latest
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
Subterm-based proof techniques for improving the automation and scope of security protocol analysis
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Cite
×