1. A distance hijacking attack on the CRCS distance bounding protocol

Cremers, Cas (2011)

Reports

2. Comparing state spaces in automatic security protocol verification

Cremers, Cas and Lafourcade, Pascal

Reports

3. Distance hijacking attacks on distance bounding protocols

Cremers, Cas, Rasmussen, Kasper Bonne and Capkun, Srdjan (2011)

Reports

4. Distance hijacking attacks on distance bounding protocols

Cremers, Cas, Rasmussen, Kasper Bonne and Capkun, Srdjan (2011)

Reports

5. Evaluation of ISO/IEC 9798 Protocols

Basin, David A. and Cremers, Cas (2011)

Reports

6. Examining Indistinguishability-Based Security Models for Key Exchange Protocols: The case of CK, CK-HMQV, and eCK

Cremers, Cas (2011)

Reports

7. Key Exchange in IPsec revisited: Formal Analysis of IKEv1 and IKEv2

Cremers, Cas (2011)

Reports

8. One-round strongly secure key exchange with perfect forward secrecy and deniability

Cremers, Cas and Feltz, Michèle (2011)

Reports

9. Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

Basin, David A., Cremers, Cas and Meier, Simon (2012)

Reports

10. Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs

Meier, Simon, Cremers, Cas and Basin, David A. (2010)

Reports