Search

Cas Cremers

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

Published with Wowchemy — the free, open source website builder that empowers creators.