IEEE Computer Security Foundations Symposium, CSF 2017


Article Details
Title: Verified Translation Validation of Static Analyses
Article URLs:
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:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/csfw/BartheBLPT17
Author Comments:

Discuss this paper and its artifacts below