%0 Conference Paper %1 conf/uss/EckertB0SKV18 %A Eckert, Moritz %A Bianchi, Antonio %A Wang, Ruoyu %A Shoshitaishvili, Yan %A Kruegel, Christopher %A Vigna, Giovanni %B USENIX Security Symposium %D 2018 %E Enck, William %E Felt, Adrienne Porter %I USENIX Association %K dblp %P 99-116 %T HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security. %U http://dblp.uni-trier.de/db/conf/uss/uss2018.html#EckertB0SKV18

@inproceedings{conf/uss/EckertB0SKV18, added-at = {2021-02-01T00:00:00.000+0100}, author = {Eckert, Moritz and Bianchi, Antonio and Wang, Ruoyu and Shoshitaishvili, Yan and Kruegel, Christopher and Vigna, Giovanni}, biburl = {https://www.bibsonomy.org/bibtex/248182952e13814cc30f16eeadb253d52/dblp}, booktitle = {USENIX Security Symposium}, crossref = {conf/uss/2018}, editor = {Enck, William and Felt, Adrienne Porter}, ee = {https://www.usenix.org/conference/usenixsecurity18/presentation/eckert}, interhash = {dbec1fabcfc8224c890c9da39dc6265f}, intrahash = {48182952e13814cc30f16eeadb253d52}, keywords = {dblp}, pages = {99-116}, publisher = {USENIX Association}, timestamp = {2024-04-09T15:40:08.000+0200}, title = {HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security.}, url = {http://dblp.uni-trier.de/db/conf/uss/uss2018.html#EckertB0SKV18}, year = 2018 }