| |
| 2002 | ||
|---|---|---|
| 1 | 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 |
| 1 | Alessandro Armando | [1] |
| 2 | David A. Basin | [1] |
| 3 | Yannick Chevalier | [1] |
| 4 | Luca Compagna | [1] |
| 5 | Sebastian Mödersheim | [1] |
| 6 | Michaël Rusinowitch | [1] |
| 7 | Mathieu Turuani | [1] |
| 8 | Luca Viganò | [1] |
| 9 | Laurent Vigneron | [1] |