| 2007 |
|---|
| 3 | EE | Judson Santiago,
Laurent Vigneron:
Optimistic Non-repudiation Protocol Analysis.
WISTP 2007: 90-101 |
| 2 | EE | Francis Klay,
Judson Santiago,
Laurent Vigneron:
Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder
CoRR abs/0710.3305: (2007) |
| 2005 |
|---|
| 1 | 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 |
