Marco Guarnieri

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 32

Top Topics

Efficient Discovery

Security Analysis

Top Venues

IEEE Symposium on Security and Privacy

Publications

Gideon Mohr, Marco Guarnieri, Jan Reineke
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. CoRR (2024)
Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks. CoRR (2024)
Gilles Barthe, Marcel Böhme, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Marco Guarnieri, David Mateos Romero, Peter Schwabe, David Wu, Yuval Yarom
Testing side-channel security of cryptographic implementations against future microarchitectures. CoRR (2024)
Gideon Mohr, Marco Guarnieri, Jan Reineke
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. DATE (2024)
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. SP (2023)
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. CoRR (2023)
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CCS (2023)
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CoRR (2023)
Christopher W. Fletcher, Marco Guarnieri, David Kohlbrenner, Clémentine Maurice
MAD: Microarchitectural Attacks and Defenses (Dagstuhl Seminar 23481). Dagstuhl Reports 13 (11) (2023)
Xaver Fabian, Marco Guarnieri, Marco Patrignani
Automatic Detection of Speculative Execution Combinations. CCS (2022)
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification. CoRR (2022)
Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena
A Turning Point for Verified Spectre Sandboxing. CoRR (2022)
Xaver Fabian, Marco Guarnieri, Marco Patrignani
Automatic Detection of Speculative Execution Combinations. CoRR (2022)
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
ANOSY: approximated knowledge synthesis with refinement types for declassification. PLDI (2022)
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
Hardware-Software Contracts for Secure Speculation. IEEE Symposium on Security and Privacy (2021)
Enrico Bacis, Dario Facchinetti, Marco Guarnieri, Marco Rosa, Matthew Rossi, Stefano Paraboschi
I Told You Tomorrow: Practical Time-Locked Secrets using Smart Contracts. ARES (2021)
Marco Patrignani, Marco Guarnieri
Exorcising Spectres with Secure Compilers. CCS (2021)
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
Hardware-Software Contracts for Secure Speculation. CoRR (2020)
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
Spectector: Principled Detection of Speculative Information Flows. IEEE Symposium on Security and Privacy (2020)
Pepe Vila, Andreas Abel, Marco Guarnieri, Boris Köpf, Jan Reineke
Flushgeist: Cache Leaks from Beyond the Flush. CoRR (2020)
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
CacheQuery: learning replacement policies from hardware caches. PLDI (2020)
Marco Guarnieri, Marco Patrignani
Contract-Aware Secure Compilation. CoRR (2020)
Marco Guarnieri, Marco Patrignani
Exorcising Spectres with Secure Compilers. CoRR (2019)
Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld
Information-Flow Control for Database-Backed Applications. EuroS&P (2019)
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
CacheQuery: Learning Replacement Policies from Hardware Caches. CoRR (2019)
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR (2018)
Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin
Test execution checkpointing for web applications. ISSTA (2017)
Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev
Synthesis of Probabilistic Privacy Enforcement. CCS (2017)
Marco Guarnieri, Srdjan Marinovic, David A. Basin
Securing Databases from Probabilistic Inference. CoRR (2017)
Marco Guarnieri, Srdjan Marinovic, David A. Basin
Securing Databases from Probabilistic Inference. CSF (2017)
Marco Guarnieri, Srdjan Marinovic, David A. Basin
Strong and Provably Secure Database Access Control. EuroS&P (2016)
Marco Guarnieri, Srdjan Marinovic, David A. Basin
Strong and Provably Secure Database Access Control. CoRR (2015)
Marco Guarnieri, David A. Basin
Optimal Security-Aware Query Processing. Proc. VLDB Endow. 7 (12) (2014)
Angelo Gargantini, Marco Guarnieri, Eros Magri
AURORA: AUtomatic RObustness coveRage Analysis Tool. ICST (2013)
Marco Guarnieri, Mario Arrigoni Neri, Eros Magri, Simone Mutti
On the notion of redundancy in access control policies. SACMAT (2013)
Mario Arrigoni Neri, Marco Guarnieri, Eros Magri, Simone Mutti, Stefano Paraboschi
A Model-driven Approach for Securing Software Architectures. SECRYPT (2013)
Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto
Model-Driven Testing for Web Applications Using Abstract State Machines. ICWE Workshops (2012)
Angelo Gargantini, Marco Guarnieri, Eros Magri
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. ICTSS (2012)
Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri
Evolutionary Testing of PHP Web Applications with WETT. SSBSE (2012)