Gilles Barthe, Sandrine Blazy, Vincent Laporte, David Pichardie, Alix Trieu. Verified Translation Validation of Static Analyses. In 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017. pages 405-419, IEEE, 2017. [doi]
@inproceedings{BartheBLPT17,
title = {Verified Translation Validation of Static Analyses},
author = {Gilles Barthe and Sandrine Blazy and Vincent Laporte and David Pichardie and Alix Trieu},
year = {2017},
doi = {10.1109/CSF.2017.16},
url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2017.16},
researchr = {https://researchr.org/publication/BartheBLPT17},
cites = {0},
citedby = {0},
pages = {405-419},
booktitle = {30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017},
publisher = {IEEE},
isbn = {978-1-5386-3217-8},
}