Jae-Won Jang, Freek Verbeek, Binoy Ravindran. Verification of Functional Correctness of Code Diversification Techniques. In Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez 0003, editors, NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Volume 12673 of Lecture Notes in Computer Science, pages 160-179, Springer, 2021. [doi]
@inproceedings{JangVR21,
title = {Verification of Functional Correctness of Code Diversification Techniques},
author = {Jae-Won Jang and Freek Verbeek and Binoy Ravindran},
year = {2021},
doi = {10.1007/978-3-030-76384-8_11},
url = {https://doi.org/10.1007/978-3-030-76384-8_11},
researchr = {https://researchr.org/publication/JangVR21},
cites = {0},
citedby = {0},
pages = {160-179},
booktitle = {NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings},
editor = {Aaron Dutle and Mariano M. Moscato and Laura Titolo and César A. Muñoz and Ivan Perez 0003},
volume = {12673},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-76384-8},
}