| 2006 |
|---|
| 4 | EE | Paul Hankes Drielsma,
Sebastian Mödersheim,
Luca Viganò,
David A. Basin:
Formalizing and Analyzing Sender Invariance.
Formal Aspects in Security and Trust 2006: 80-95 |
| 2005 |
|---|
| 3 | EE | Alessandro Armando,
David A. Basin,
Yohan Boichut,
Yannick Chevalier,
Luca Compagna,
Jorge Cuéllar,
Paul Hankes Drielsma,
Pierre-Cyrille Héam,
Olga Kouchnarenko,
Jacopo Mantovani,
Sebastian Mödersheim,
David von Oheimb,
Michaël Rusinowitch,
Judson Santiago,
Mathieu Turuani,
Luca Viganò,
Laurent Vigneron:
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
CAV 2005: 281-285 |
| 2 | EE | Paul Hankes Drielsma,
Sebastian Mödersheim:
The ASW Protocol Revisited: A Unified View.
Electr. Notes Theor. Comput. Sci. 125(1): 145-161 (2005) |
| 2004 |
|---|
| 1 | EE | Paul Hankes Drielsma,
Sebastian Mödersheim,
Luca Viganò:
A Formalization of Off-Line Guessing for Security Protocol Analysis.
LPAR 2004: 363-379 |
