Verified Translation Validation of Static Analyses

Article Details
Title:	Verified Translation Validation of Static Analyses
Article URLs:	https://doi.org/10.1109/CSF.2017.16 http://doi.ieeecomputersociety.org/10.1109/CSF.2017.16
Alternative Article URLs:
Authors:	Gilles Barthe	IMDEA Software Institute
	Sandrine Blazy	CNRS IRISA - University of Rennes 1 - Inria
	Vincent Laporte	IMDEA Software Institute
	David Pichardie	CNRS IRISA - ENS Rennes - Inria
	Alix Trieu	CNRS IRISA - University of Rennes 1 - Inria
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www.irisa.fr/celtique/ext/csf17/;
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/csfw/BartheBLPT17
Author Comments:

IEEE Computer Security Foundations Symposium, CSF 2017