Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Gurvan Le
Last name:	Guernic
DBLP:	09/3601
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 6 of 6  

Select a publication
Show	Title	Venue	Rating	Date
	Cédric Fournet, Gurvan Le Guernic, Tamara Rezk. A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.	Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009 2009	(0)	2009
	Gurvan Le Guernic. Precise Dynamic Verification of Confidentiality.	Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 2008	(0)	2008
	Gurvan Le Guernic, Julien Perret. FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS.	Electr. Notes Theor. Comput. Sci. 2008, Volume 219	(0)	2008
	Gurvan Le Guernic. Information Flow Testing.	Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings 2007	(0)	2007
	Gurvan Le Guernic. Automaton-based Confidentiality Monitoring of Concurrent Programs.	20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy 2007	(0)	2007
	Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt. Automata-Based Confidentiality Monitoring.	Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers 2008	(0)	2006

Your query returned 6 matches in the database.