My research project
My project aims to develop tools and techniques for the formal verification of systems relying on TEEs (Trusted Execution Environments) for security in realistic adversary models, including side-channel adversaries and compromised execution platforms.
I am PhD student at the Surrey Centre for Cyber Security. I started in April 2018 and I am one of the PGR student reps in the Computer Science department. My supervisor is Dr François Depressoir, my project involves Providing and Verifying Security on Compromised Platforms funded by Microsoft Research.