Congratulations to Aadarsh Sreekumar!

Congratulations to Aadarsh Sreekumar for the successful completion of his MSc project! Aadarsh's project, titled "A Verifiable Delivery Framework for Web Applications That Use Trusted Execution Environments", leverages Meta's Code Verify browser extension to implement trustworthy delivery and client-side verifiability for web applications that rely on server-side Trusted Execution Environments (TEEs) to provide security guarantees.