dblp.uni-trier.dewww.uni-trier.de

Dorina Ghindici

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)