My broad research interests are in secure software development, and technologies for retroactively securing legacy software. My research interests reside in developing sophisticated and effective approaches to software
security, specifically using programming language theory, program analysis and formal methods.
My research career has been the amalgamation of the above three domains in the context of software security (popularly known as language-based security). Much of my recent research has focused on two broad topics: (1) certification algorithms for in-lined reference monitors, and (2) language-based security techniques for web and mobile and IoT security.