| Seed selection for successful fuzzing A Herrera, H Gunadi, S Magrath, M Norrish, M Payer, AL Hosking Proceedings of the 30th ACM SIGSOFT international symposium on software …, 2021 | 75 | 2021 |
| Efficient runtime monitoring with metric temporal logic: A case study in the android operating system H Gunadi, A Tiu International Symposium on Formal Methods, 296-311, 2014 | 38 | 2014 |
| Formal certification of non-interferent Android bytecode (DEX bytecode) H Gunadi 2015 20th International Conference on Engineering of Complex Computer …, 2015 | 7 | 2015 |
| Corpus distillation for effective fuzzing: A comparative evaluation A Herrera, H Gunadi, L Hayes, S Magrath, F Friedlander, M Sebastian, ... arXiv preprint arXiv:1905.13055, 2019 | 6 | 2019 |
| Moonlight: Effective fuzzing with near-optimal corpus distillation L Hayes, H Gunadi, A Herrera, J Milford, S Magrath, M Sebastian, ... arXiv preprint arXiv:1905.13055, 2019 | 5 | 2019 |
| Formal certification of android bytecode H Gunadi, A Tiu, R Gore arXiv preprint arXiv:1504.01842, 2015 | 3 | 2015 |
| Formal certification of android bytecode H Gunadi, A Tiu, R Gore arXiv preprint arXiv:1504.01842, 2015 | 3 | 2015 |
| Improving fuzzing performance using hardwareaccelerated hashing and PCA guidance JP López, A Tiu, C Gretton, A Herrera, H Gunadi | 1 | 2019 |
| Comparing nearest neighbor algorithms in high-dimensional space H Gunadi | 1 | 2011 |
| Design and Analysis of Mobile Operating System Security Architecture using Formal Methods H Gunadi PQDT-Global, 2017 | | 2017 |
| Non-Interference Preserving Compilation of Android Bytecode H Gunadi, A Tiu, R Goré | | |
| Non-Interference Preserving Compilation of Android Bytecode A Tiu, H Gunadi, R Gore | | |
| Formal Certification of Android Bytecode A Tiu, H Gunadi, R Gore | | |
| Android Security: A Case for Runtime Verification H Gunadi, A Tiu | | |
