Hendra Gunadi

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 4

Top Topics

Metric Temporal Logic

Virtual Machine

Top Venues

Publications

Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, Antony L. Hosking
Seed selection for successful fuzzing. ISSTA (2021)
Liam Hayes, Hendra Gunadi, Adrian Herrera, Jonathon Milford, Shane Magrath, Maggi Sebastian, Michael Norrish, Antony L. Hosking
MoonLight: Effective Fuzzing with Near-Optimal Corpus Distillation. CoRR (2019)
Hendra Gunadi
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode). ICECCS (2015)
Hendra Gunadi, Alwen Tiu, Rajeev Goré
Formal Certification of Android Bytecode. CoRR (2015)
Hendra Gunadi, Alwen Tiu
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. FM (2014)
Hendra Gunadi, Alwen Tiu
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. CoRR (2013)