2008 |
12 | EE | Sebastian Mödersheim:
On the relationships between models in protocol verification.
Inf. Comput. 206(2-4): 291-311 (2008) |
2006 |
11 | EE | Michael Backes,
Sebastian Mödersheim,
Birgit Pfitzmann,
Luca Viganò:
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.
FoSSaCS 2006: 428-445 |
10 | 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 |
9 | 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 |
8 | EE | David A. Basin,
Sebastian Mödersheim,
Luca Viganò:
Algebraic Intruder Deductions.
LPAR 2005: 549-564 |
7 | EE | Paul Hankes Drielsma,
Sebastian Mödersheim:
The ASW Protocol Revisited: A Unified View.
Electr. Notes Theor. Comput. Sci. 125(1): 145-161 (2005) |
6 | EE | David A. Basin,
Sebastian Mödersheim,
Luca Viganò:
OFMC: A symbolic model checker for security protocols.
Int. J. Inf. Sec. 4(3): 181-208 (2005) |
2004 |
5 | EE | Paul Hankes Drielsma,
Sebastian Mödersheim,
Luca Viganò:
A Formalization of Off-Line Guessing for Security Protocol Analysis.
LPAR 2004: 363-379 |
2003 |
4 | EE | David A. Basin,
Sebastian Mödersheim,
Luca Viganò:
CDiff: a new reduction technique for constraint-based analysis of security protocols.
ACM Conference on Computer and Communications Security 2003: 335-344 |
3 | EE | David A. Basin,
Sebastian Mödersheim,
Luca Viganò:
An On-the-Fly Model-Checker for Security Protocol Analysis.
ESORICS 2003: 253-270 |
2002 |
2 | EE | Alessandro Armando,
David A. Basin,
Mehdi Bouallagui,
Yannick Chevalier,
Luca Compagna,
Sebastian Mödersheim,
Michaël Rusinowitch,
Mathieu Turuani,
Luca Viganò,
Laurent Vigneron:
The AVISS Security Protocol Analysis Tool.
CAV 2002: 349-353 |
2000 |
1 | EE | David A. Basin,
Stefan Friedrich,
Sebastian Mödersheim:
B2M: A Semantic Based Tool for BLIF Hardware Descriptions.
FMCAD 2000: 91-107 |