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
    in: Principles of Security and Trust. POST 2017. Lecture Notes in Computer Science, vol 10204. pp 117-140. Springer, Berlin, Heidelberg.
    [BIB (BIB, 401 Bytes) | PDF (PDF, 383 KB) | DOI]
  • Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel
    Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants
    In: H. Yang (Ed.), Programming Languages and Systems (ESOP 2017), LNCS 10201, pp. 111-140, Springer, 2017.
    [BIB (BIB, 443 Bytes) | PDF (PDF, 295 KB) | DOI | long version (PDF, 390 KB)]
  • Andreas Lochbihler
    Probabilistic while loop
    Archive of Formal Proofs, 2017.
    [BIB (BIB, 337 Bytes) | Link]
  • Joshua Schneider, Manuel Eberl, and Andreas Lochbihler
    Monad normalisation
    Archive of Formal Proofs, 2017.
    [BIB (BIB, 369 Bytes) | Link]
  • Andreas Lochbihler
    Effect polymorphism in higher-order logic
    Archive of Formal Proofs, 2017.
    [BIB (BIB, 349 Bytes) | Link]
  • Andreas Lochbihler
    Archive of Formal Proofs, 2017.
    [BIB (BIB, 298 Bytes) | Link]
  • Andreas Lochbihler, S. Reza Sefidgar, and Bhargav Bhatt
    Game-based cryptography in HOL
    Archive of Formal Proofs, 2017.
    [BIB (BIB, 377 Bytes) | Link]
Page URL:
© 2017 Eidgenössische Technische Hochschule Zürich