Marco Guarnieri

Marco Guarnieri

Assistant professor

IMDEA Software Institute

Biography

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.

Interests
  • Security and privacy
  • Programming languages
  • Formal methods
Education

  • 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

News

  • 2024/02/01 - New paper on testing the security guarantees of future microarchitectures with leakage models
  • 2023/12/10 - Our paper on synthesis of leakage contracts has been accepted at DATE 2024
  • 2023/11/30 - Our CCS 2023 paper received a distinguished paper award!
  • 2023/07/16 - Our paper on hardware verification has been accepted at CCS 2023
  • 2023/06/29 - New paper on hardware verification for leakage contracts!
  • 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!

Publications

Gilles Barthe, Marcel Böhme, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Marco Guarnieri, David Mateos Romero, Peter Schwabe, David Wu, Yuval Yarom (2024). Testing side-channel security of cryptographic implementations against future microarchitectures. Tech Report.

PDF Cite Code Project arXiv version

Gideon Mohr, Marco Guarnieri, Jan Reineke (2023). Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. DATE 2024.

PDF Cite Code Project Project arXiv version

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri (2023). Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CCS 2023.

PDF Cite Code Project Extended version (arXiv) Distinguished paper award

Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein (2023). Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. S&P 2023.

PDF Cite Code Project Extended version (arXiv)

Xaver Fabian, Marco Patrignani, Marco Guarnieri (2022). Automatic Detection of Speculative Execution Combinations. CCS 2022.

PDF Cite Code Project Extended version (arXiv) Distinguished paper award

Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker (2022). Anosy: Approximated Knowledge Synthesis with Refinement Types for Declassification. PLDI 2022.

PDF Cite Code DOI Extended version (arXiv)

See all publications

Projects

Hardware/software co-design for secure speculation
Reasoning about speculative execution attacks
Automatically learning micro-architectural models
Provably secure access and inference control in databases

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.

Contact