HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security

TitleHeapHopper: Bringing Bounded Model Checking to Heap Implementation Security
Publication TypeConference Paper
Year of Publication2018
AuthorsEckert M, Bianchi A, Wang R, Shoshitaishvili Y, Kruegel C, Vigna G
Conference Name27th USENIX Security Symposium (USENIX Security 18)
Date Published08/2018
PublisherUSENIX Association
Conference LocationBaltimore, MD
ISBN Number978-1-931971-46-1
URLhttps://www.usenix.org/conference/usenixsecurity18/presentation/eckert