 | 2009 |
|---|
| 5 |       | Dorina Ghindici,
Isabelle Simplot-Ryl,
Jean-Marc Talbot:
A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.
FSEN 2009: 355-370 |
| 2008 |
|---|
| 4 | | Dorina Ghindici,
Isabelle Simplot-Ryl:
On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards.
CARDIS 2008: 32-47 |
| 2007 |
|---|
| 3 | | Dorina Ghindici,
Gilles Grimaud,
Isabelle Simplot-Ryl:
An Information Flow Verifier for Small Embedded Systems.
WISTP 2007: 189-201 |
| 2006 |
|---|
| 2 | | Dorina Ghindici,
Gilles Grimaud,
Isabelle Simplot-Ryl,
Yanguo Liu,
Issa Traoré:
Integrated Security Verification and Validation: Case Study.
LCN 2006: 1000-1007 |
| 1 | | Dorina Ghindici,
Gilles Grimaud,
Isabelle Simplot-Ryl:
Embedding verifiable information flow analysis.
PST 2006: 39 |
Data released under the ODC-BY 1.0 license — See also our legal information page