Melisande Zonta-Roudes

I am a PhD student in the Secure and Trustworthy Computing group at ETH Zurich, focusing on the security analysis of protocols commonly used in FPGA hardware designs through formal verification methods. My work aims to enable the secure deployment of accelerated applications on FPGAs in the cloud, ensuring robust security measures are in place to maintain safety.

Prior to starting my PhD, I worked as a Silicon Architecture Engineer at Intel, gaining valuable experience in processor architecture. Before that, I earned a Master’s degree in Electrical and Computer Engineering from Georgia Tech.

• eXpect: On the Security Implications of Violations in AXI Implementations

  Best Paper Award Nomination

  attach_file code language

Computer Systems (Fall 2021, 2022, 2023)

Big Data for Engineers (Spring 2022, 2023)

Big Data (Fall 2024)