1. Algebraic Intruder Deductions

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

Reports

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

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

Reports

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

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

Reports

4. Formalizing and analyzing sender invariance

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

Reports

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

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

Reports

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

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

Reports