Dorina Ghindici

According to our database, Dorina Ghindici authored at least 5 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.

Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot

Proceedings of the Fundamentals of Software Engineering, 2009

2008

On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards.

Dorina Ghindici, Isabelle Simplot-Ryl

Proceedings of the Smart Card Research and Advanced Applications, 2008

2007

An Information Flow Verifier for Small Embedded Systems.

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl

Proceedings of the Information Security Theory and Practices. Smart Cards, 2007

2006

Embedding verifiable information flow analysis.

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl

Proceedings of the 2006 International Conference on Privacy, 2006

Integrated Security Verification and Validation: Case Study.

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, Issa Traoré

Proceedings of the LCN 2006, 2006