| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 6 |      | Cédric Fournet, Gurvan Le Guernic, Tamara Rezk: A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. ACM Conference on Computer and Communications Security 2009: 432-441 |
| 2008 | ||
| 5 | | Gurvan Le Guernic: Precise Dynamic Verification of Confidentiality. VERIFY 2008 |
| 4 | | Gurvan Le Guernic, Julien Perret: FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. Electr. Notes Theor. Comput. Sci. 219: 3-18 (2008) |
| 2007 | ||
| 3 | | Gurvan Le Guernic: Information Flow Testing. ASIAN 2007: 33-47 |
| 2 | | Gurvan Le Guernic: Automaton-based Confidentiality Monitoring of Concurrent Programs. CSF 2007: 218-232 |
| 2006 | ||
| 1 | | Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt: Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89 |
| 1 | Anindya Banerjee | [1] |
| 2 | Cédric Fournet | [6] |
| 3 | Thomas P. Jensen | [1] |
| 4 | Julien Perret | [4] |
| 5 | Tamara Rezk | [6] |
| 6 | David A. Schmidt | [1] |
Colors in the list of coauthors
Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page