About

I am currently a Postdoctoral Researcher at ETH Zurich where I work in the Information Security Group headed by Prof. David Basin. We are investigating ways to shift from traditional binary-hash-based attestation to more advanced property-based attestation in Trusted Execution Environments.

I completed my PhD from Chalmers University, Gothenburg under the supervision of Prof. Mary Sheeran.

I am currently the lead designer of HasTEE+, a Haskell DSL for programming Trusted Execution Environments that enforces Information Flow Control. I also design and maintain the SynchronVM project, a soft real-time virtual machine supporting functional programming on microcontrollers.

Topic-wise, I am broadly interested in the following in no particular order:

I sporadically read about logic and philosophy. I am currently contemplating the formal definition of trust and ways to design computer systems that uphold the various dimensions of trust, such as confidentiality, integrity, and availability.

Contact me at my ETH email or Chalmers email

The Computer Scientist as Toolsmith.

Reflections on Trusting Trust.