About
I am currently a Postdoctoral Researcher at ETH Zurich where I work in the Information Security Group headed by Prof. David Basin. My interests lie in the following broad areas of research, which I am currently exploring:
- Protocol Verification for security protocols involving Trusted Execution Environments
- Property-based Attestation, an open problem for confidential computing
- Program Equivalence with applications in compiler verification and security (looking for collaborators with experience in Agda or other powerful proof assistants)
I completed my PhD from Chalmers University, Gothenburg under the supervision of Prof. Mary Sheeran, where I worked extensively on compilers and language runtimes, focussing on functional programming languages.
My PhD produced tools like - HasTEE+, a Haskell DSL for programming Trusted Execution Environments that enforces Information Flow Control, and SynchronVM, a soft real-time virtual machine supporting functional programming on microcontrollers.
Topic-wise, I am broadly interested in the following in no particular order:
- All aspects of programming language implementation - compilers, runtimes, memory management, type systems, etc.
- Information Flow Control
- Certified Programming with proof assistants such as Agda
- Compiler Verification
- Operating Systems and their Security
- Computer Architecture (specifically Microarchitectural Security)
- Concurrency and Parallelism
I sporadically read about logic and philosophy in my spare time.
Contact me at my ETH email