Integrated Security Verification and Validation: Case Study. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl; Yanguo Liu; Issa Traoré (LCN, 2006)

Embedding verifiable information flow analysis. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl (PST, 2006)

An Information Flow Verifier for Small Embedded Systems. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl (WISTP, 2007)

On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards. - Dorina Ghindici; Isabelle Simplot-Ryl (CARDIS, 2008)

A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs. - Dorina Ghindici; Isabelle Simplot-Ryl; Jean-Marc Talbot (FSEN, 2009)