| 2007 |
| 4 | EE | Yohan Boichut,
Thomas Genet,
Thomas P. Jensen,
Luka Le Roux:
Rewriting Approximations for Fast Prototyping of Static Analyzers.
RTA 2007: 48-62 |
| 2006 |
| 3 | EE | Yohan Boichut,
Pierre-Cyrille Héam,
Olga Kouchnarenko:
Handling Algebraic Properties in Automatic Analysis of Security Protocols.
ICTAC 2006: 153-167 |
| 2 | EE | Yohan Boichut,
Thomas Genet:
Feasible Trace Reconstruction for Rewriting Approximations.
RTA 2006: 123-135 |
| 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 |