팔로우
Hendra Gunadi
Hendra Gunadi
anu.edu.au의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
582021
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
382014
Formal certification of non-interferent Android bytecode (DEX bytecode)
H Gunadi
2015 20th International Conference on Engineering of Complex Computer …, 2015
72015
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
52019
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
52019
Formal certification of android bytecode
H Gunadi, A Tiu, R Gore
arXiv preprint arXiv:1504.01842, 2015
32015
Formal certification of android bytecode
H Gunadi, A Tiu, R Gore
arXiv preprint arXiv:1504.01842, 2015
32015
Improving fuzzing performance using hardwareaccelerated hashing and PCA guidance
JP López, A Tiu, C Gretton, A Herrera, H Gunadi
12019
Comparing nearest neighbor algorithms in high-dimensional space
H Gunadi
12011
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–14