Marco Guarnieri

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