Marco Guarnieri

Marco Guarnieri

Assistant professor

IMDEA Software Institute


I am an assistant professor at the IMDEA Software Institute. Before that, I completed my Ph.D. at the Institute of Information Security at ETH Zurich.

My research focuses on the design, analysis, and implementation of practical systems for securely storing and processing sensitive data. Recently, I have been working on building foundations and tools for reasoning about security at the hardware-software boundary, with a specific focus on microarchitectural attacks and defenses.

  • Security and privacy
  • Programming languages
  • Formal methods
  • PhD in Computer Science, 2017

    ETH Zurich

  • MSc in Computer Engineering, 2012

    Università degli Studi di Bergamo

  • BSc in Computer Engineering, 2010

    Università degli Studi di Bergamo


  • 2023/01/18 - Our paper on testing for microarchitectural leaks has been accepted at S&P 2023
  • 2022/11/10 - Our CCS 2022 paper received a distinguished paper award!
  • 2022/09/07 - The camera ready of our CCS 2022 paper is out
  • 2022/07/18 - Finally updated the website :-)
  • 2022/07/15 - Our paper on reasoning about leaks arising by combining multiple speculative semantics has been accepted at CCS 2022
  • 2022/07/07 - I received a Ramón y Cajal fellowship from the Spanish government

Open positions

I am always looking for talented people (research interns, PhD students, and postdocs) to join my research group at IMDEA Software to work on security at the hardware-software interface. In case you are interested, contact me via email.