1. Algebraic Intruder Deductions

Basin, David A., Mödersheim, Sebastian and Viganò, Luca (2005)

Reports

2. An On-the-fly model-checker for security protocol analysis

Basin, David A., Mödersheim, Sebastian and Viganò, Luca (2003)

Reports

3. Constraint differentiation: a new reduction technique for constraint-based analysis of security protocols

Basin, David A., Mödersheim, Sebastian and Viganò, Luca (2003)

Reports

4. Formalizing and analyzing sender invariance

Drielsma, Paul David Hankes, Mödersheim, Sebastian, Viganò, Luca and Basin, David A.

Reports

5. OFMC: A Symbolic Model-Checker for Security Protocols

Basin, David A., Mödersheim, Sebastian and Viganò, Luca (2004)

Reports

6. Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

Backes, Michael, Mödersheim, Sebastian, Pfitzmann, Birgit and Viganò, Luca (2006)

Reports