HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Moritz Eckert' in GoogleThis author has not been identified. Look up 'Antonio Bianchi' in GoogleThis author has not been identified. Look up 'Ruoyu Wang 0001' in GoogleThis author has not been identified. Look up 'Yan Shoshitaishvili' in GoogleThis author has not been identified. Look up 'Christopher Kruegel' in GoogleThis author has not been identified. Look up 'Giovanni Vigna' in Google

runs on WebDSL