| |
| 2006 | ||
|---|---|---|
| 3 | Frédéric Michaud, Frédéric Painchaud: Source Code Verification Tools for Software Security Bugs. SoMeT 2006: 231-241 | |
| 2002 | ||
| 2 | EE | Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi: Secure Self-certified Code for Java. FASec 2002: 133-151 |
| 2000 | ||
| 1 | EE | Frédéric Painchaud, Mourad Debbabi: On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier. WETICE 2000: 189-194 |
| 1 | Mourad Debbabi | [1] [2] |
| 2 | Jules Desharnais | [2] |
| 3 | M. Fourati | [2] |
| 4 | E. Menif | [2] |
| 5 | Frédéric Michaud | [3] |
| 6 | Nadia Tawbi | [2] |