Jan Juerjens

Practical Security Analysis of C Programs Using Automated Theorem Proving

Jan Juerjens, Thomas A. Kuhn, 2004 .

Stream Based Specification of Cryptographic Protocols and Their Composition Properties

Maria Spichkova, Jan Juerjens, 2008 .

Automated Theorem Proving for Cryptographic Protocols with Automatic Attack Generation

Jan Juerjens, Thomas A. Kuhn, 2004 .