Up a level |
(2022) TyPro: Forward CFI for C-Style Indirect Function Calls Using Type Propagation.
(2022) AmpFuzz: Fuzzing for Amplification DDoS Vulnerabilities.
(2017) A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
(2017) A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
(2016) HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving.
(2014) Static Analysis of Android Applications.