I have investigated static and dynamic analysis techniques to model Malware behaviour for Android Apps. These behavioural models were be used to mitigate proliferation of Malware in the mobile App ecosystems. During 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. My Masters thesis 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.
My research has been funded through the following projects. I am grateful to the funders for their contribution.
|EPSRC||PI||22-26||PhD Studentship (CDT)||100K|
|EPSRC||PI||22-25||MUSE: Multi-Modal Software Evolution||421K|
|EPSRC||Co-I||21-24||Verifiably Correct Swarm Attestation||514K|
|UK Government||PI||20||Summer Internship Project||3K|
|Univ. of Surrey||PI||20||Travel Grant||1K|
|Univ. of Surrey||PI||19-22||PhD Studentship||60K|
|Univ. of Hertfordshire||PI||11||Travel Grant||6K|