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]
Abstract is missing.