Hendra Gunadi

I am mainly interested in experimenting with mobile device, especially Android. I am also interested in formal logic as the base of security theory for mobile device.
Type
Party
Party Type
person
Access Privileges
Research School of Computer Science
Given Name
Hendra
Surname
Gunadi
Uni ID
u4971560
Brief Description
PhD Student, Logic and Computation Group, Research School of Information System and Engineering at The Australian National University
Full Description
I am mainly interested in experimenting with mobile device, especially Android. I am also interested in formal logic as the base of security theory for mobile device.
Email Address
Hendra.Gunadi@anu.edu.au
Postal Address
Logic and Computation Group Research School of Information System and Engineering College of Engineering and Computer Science The Australian National University
Phone Number
+61 2 612 58833
Website Address
https://cs.anu.edu.au/people/hendra-gunadi
Fields of Research
080303 - Computer System Security
Keywords
fuzzing; corpus distillation
Status: Published
Published to:
  • Australian National University
  • Australian National Data Service