Moritz Eckert, Antonio Bianchi, Ruoyu Wang 0001, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna. HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security. In William Enck, Adrienne Porter Felt, editors, 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018. pages 99-116, USENIX Association, 2018. [doi]
@inproceedings{EckertB0SKV18,
title = {HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security},
author = {Moritz Eckert and Antonio Bianchi and Ruoyu Wang 0001 and Yan Shoshitaishvili and Christopher Kruegel and Giovanni Vigna},
year = {2018},
url = {https://www.usenix.org/conference/usenixsecurity18/presentation/eckert},
researchr = {https://researchr.org/publication/EckertB0SKV18},
cites = {0},
citedby = {0},
pages = {99-116},
booktitle = {27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018},
editor = {William Enck and Adrienne Porter Felt},
publisher = {USENIX Association},
}