| |
| 2008 | ||
|---|---|---|
| 3 | EE | June Andronick, Quang Huy Nguyen: Certifying an embedded remote method invocation protocol. SAC 2008: 352-359 |
| 2005 | ||
| 2 | EE | June Andronick, Boutheina Chetali, Christine Paulin-Mohring: Formal Verification of Security Properties of Smart Card Embedded Source Code. FM 2005: 302-317 |
| 2003 | ||
| 1 | EE | June Andronick, Boutheina Chetali, Olivier Ly: Using Coq to Verify Java Card Applet Isolation Properties. TPHOLs 2003: 335-351 |
| 1 | Boutheina Chetali | [1] [2] |
| 2 | Olivier Ly | [1] |
| 3 | Quang Huy Nguyen | [3] |
| 4 | Christine Paulin-Mohring | [2] |