 | 2009 |
|---|
| 15 |       | Sebastian Mödersheim:
Algebraic Properties in Alice and Bob Notation.
ARES 2009: 433-440 |
| 14 | | Sebastian Mödersheim,
Luca Viganò:
Secure Pseudonymous Channels.
ESORICS 2009: 337-354 |
| 13 | | Sebastian Mödersheim,
Luca Viganò:
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.
FOSAD 2009: 166-194 |
| 2008 |
|---|
| 12 | | Sebastian Mödersheim:
On the relationships between models in protocol verification.
Inf. Comput. 206(2-4): 291-311 (2008) |
| 2006 |
|---|
| 11 | | Michael Backes,
Sebastian Mödersheim,
Birgit Pfitzmann,
Luca Viganò:
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.
FoSSaCS 2006: 428-445 |
| 10 | | 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 | | 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 | | David A. Basin,
Sebastian Mödersheim,
Luca Viganò:
Algebraic Intruder Deductions.
LPAR 2005: 549-564 |
| 7 | | Paul Hankes Drielsma,
Sebastian Mödersheim:
The ASW Protocol Revisited: A Unified View.
Electr. Notes Theor. Comput. Sci. 125(1): 145-161 (2005) |
| 6 | | 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 | | Paul Hankes Drielsma,
Sebastian Mödersheim,
Luca Viganò:
A Formalization of Off-Line Guessing for Security Protocol Analysis.
LPAR 2004: 363-379 |
| 2003 |
|---|
| 4 | | 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 | | David A. Basin,
Sebastian Mödersheim,
Luca Viganò:
An On-the-Fly Model-Checker for Security Protocol Analysis.
ESORICS 2003: 253-270 |
| 2002 |
|---|
| 2 | | 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 | | David A. Basin,
Stefan Friedrich,
Sebastian Mödersheim:
B2M: A Semantic Based Tool for BLIF Hardware Descriptions.
FMCAD 2000: 91-107 |
