Gurvan Le Guernic

	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

Coauthor Index

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