| |
| 2003 | ||
|---|---|---|
| 2 | Joseph M. Morris, Benjamin Aziz, Frédéric Oehl: 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003 BCS 2003 | |
| 2002 | ||
| 1 | EE | Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair: Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48 |
| 1 | Benjamin Aziz | [2] |
| 2 | Gérard Cécé | [1] |
| 3 | Olga Kouchnarenko | [1] |
| 4 | Joseph M. Morris | [2] |
| 5 | David Sinclair | [1] |