Research Interests

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.

Research Work

• Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System.
  Hendra Gunadi and Alwen Tiu
  [Paper] [Implementation]
• Non-Interference Preserving Compilation of Android Bytecode.
  Hendra Gunadi, Alwen Tiu, and Rajeev Gore
  [Implementation] [Technical Report]