Autor der Publikation

HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security.

, , , , , und . USENIX Security Symposium, Seite 99-116. USENIX Association, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

SafetyNOT: on the usage of the SafetyNet attestation API in Android., , und . MobiSys, Seite 150-162. ACM, (2021)Towards Improving Container Security by Preventing Runtime Escapes., , , und . SecDev, Seite 38-46. IEEE, (2021)A thermodynamic, electrochemical and molecular dynamics study on NAD and NADP recognition by 1,4,7,10,13,16,19-heptaazacyclohenicosane (21aneN7) \textbackslashtextdagger, , , , , , , , und . J. Chem. Soc. Perkin Trans. 2, (1999)On the Security and Engineering Implications of Finer-Grained Access Controls for Android Developers and Users., , , , , , und . DIMVA, Volume 9148 von Lecture Notes in Computer Science, Seite 282-303. Springer, (2015)Execute This! Analyzing Unsafe and Malicious Dynamic Code Loading in Android Applications., , , , und . NDSS, The Internet Society, (2014)EdgeMiner: Automatically Detecting Implicit Control Flow Transitions through the Android Framework., , , , , , und . NDSS, The Internet Society, (2015)PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles., , , , und . NDSS, The Internet Society, (2021)LocIn: Inferring Semantic Location from Spatial Maps in Mixed Reality., , , , und . USENIX Security Symposium, Seite 877-894. USENIX Association, (2023)M2MON: Building an MMIO-based Security Reference Monitor for Unmanned Vehicles., , , , , und . USENIX Security Symposium, Seite 285-302. USENIX Association, (2021)CLAPP: characterizing loops in Android applications., , , , und . ESEC/SIGSOFT FSE, Seite 687-697. ACM, (2015)