| |
| 2008 | ||
|---|---|---|
| 4 | EE | Dorina Ghindici, Isabelle Simplot-Ryl: On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards. CARDIS 2008: 32-47 |
| 2007 | ||
| 3 | EE | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl: An Information Flow Verifier for Small Embedded Systems. WISTP 2007: 189-201 |
| 2006 | ||
| 2 | EE | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, I. Traore: Integrated Security Verification and Validation: Case Study. LCN 2006: 1000-1007 |
| 1 | EE | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl: Embedding verifiable information flow analysis. PST 2006: 39 |
| 1 | Gilles Grimaud | [1] [2] [3] |
| 2 | Yanguo Liu | [2] |
| 3 | Isabelle Simplot-Ryl (Isabelle Ryl) | [1] [2] [3] [4] |
| 4 | I. Traore | [2] |