Dorina Ghindici

	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, I. Traore: 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

Coauthor Index

1	Gilles Grimaud	[1] [2] [3]
2	Yanguo Liu	[2]
3	Isabelle Simplot-Ryl (Isabelle Ryl)	[1] [2] [3] [4]
4	I. Traore	[2]