3 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.CR2019★ 3 cited
Corpus Distillation for Effective Fuzzing: A Comparative Evaluation
Adrian Herrera, Hendra Gunadi, Liam Hayes +5
Mutation-based fuzzing typically uses an initial set of non-crashing seed inputs (a corpus) from which to generate new inputs by mutation. A corpus of potential seeds will often co…
cs.PL2015★ 2 cited
Formal Certification of Android Bytecode
Hendra Gunadi, Alwen Tiu, Rajeev Gore
Android is an operating system that has been used in a majority of mobile devices. Each application in Android runs in an instance of the Dalvik virtual machine, which is a registe…
cs.LO2013★ 2 cited
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System
Hendra Gunadi, Alwen Tiu
We present a design and an implementation of a security policy specification language based on metric linear-time temporal logic (MTL). MTL features temporal operators that are ind…