| 2006 | ||
|---|---|---|
| 1 | EE | Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet: JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174 |
| 1 | Gilles Barthe | [1] |
| 2 | Lilian Burdy | [1] |
| 3 | Benjamin Grégoire | [1] |
| 4 | Marieke Huisman | [1] |
| 5 | Jean-Louis Lanet | [1] |
| 6 | Mariela Pavlova | [1] |
| 7 | Antoine Requet | [1] |