Publications 2017

Main content

  • Michèle Feltz and Cas Cremers
    Strengthening the security of authenticated key exchange against bad randomness
    in: Designs, Codes and Cryptography, pp 1-36, 2017
    [BIB (BIB, 1 KB) | PDF | DOI]
  • Jannik Dreier, Charles Dumenil, Steve Kremer, Ralf Sasse
    Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
    To appear in: 6th International Conference on Principles of Security and Trust (POST 2017)
    [BIB (BIB, 369 Bytes) | PDF (PDF, 383 KB) | DOI]
Page URL:
Fri Mar 31 00:36:57 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich