Research

Post-Doctoral

I am currently investigating dynamic analysis techniques to model Malware behaviour for Android Apps. These behavioural models will be used to mitigate proliferation of Malware in the mobile App ecosystems.

Doctoral

For my PhD, I worked on an adaptive bound constraint solver for atomic subsumption constraints. This solver was used to perform information flow analysis to ascertain whether a program protects confidentiality of classified information.

Masters

During my Masters, I worked on a dynamic analysis framework for identifying the optimal instruction cache size in an application-specific manner. I then extended this work to perform cache tuning for multitasking embedded systems.