Model-Driven Testing for Web Applications Using Abstract State Machines. - Francesco Bolis; Angelo Gargantini; Marco Guarnieri; Eros Magri; Lorenzo Musto (ICWE Workshops, 2012)

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. - Angelo Gargantini; Marco Guarnieri; Eros Magri (ICTSS, 2012)

Evolutionary Testing of PHP Web Applications with WETT. - Francesco Bolis; Angelo Gargantini; Marco Guarnieri; Eros Magri (SSBSE, 2012)

AURORA: AUtomatic RObustness coveRage Analysis Tool. - Angelo Gargantini; Marco Guarnieri; Eros Magri (ICST, 2013)

On the notion of redundancy in access control policies. - Marco Guarnieri; Mario Arrigoni Neri; Eros Magri; Simone Mutti (SACMAT, 2013)

A Model-driven Approach for Securing Software Architectures. - Mario Arrigoni Neri; Marco Guarnieri; Eros Magri; Simone Mutti; Stefano Paraboschi (SECRYPT, 2013)

Optimal Security-Aware Query Processing. - Marco Guarnieri; David A. Basin (Proc. VLDB Endow., 2014)

Strong and Provably Secure Database Access Control. - Marco Guarnieri; Srdjan Marinovic; David A. Basin (EuroS&P, 2016)

Synthesis of Probabilistic Privacy Enforcement. - Martin Kucera; Petar Tsankov; Timon Gehr; Marco Guarnieri; Martin T. Vechev (CCS, 2017)

Securing Databases from Probabilistic Inference. - Marco Guarnieri; Srdjan Marinovic; David A. Basin (CSF, 2017)

Test execution checkpointing for web applications. - Marco Guarnieri; Petar Tsankov; Tristan Buchs; Mohammad Torabi Dashti; David A. Basin (ISSTA, 2017)

Information-Flow Control for Database-Backed Applications. - Marco Guarnieri; Musard Balliu; Daniel Schoepe; David A. Basin; Andrei Sabelfeld (EuroS&P, 2019)

CacheQuery: learning replacement policies from hardware caches. - Pepe Vila; Pierre Ganty; Marco Guarnieri; Boris Köpf (PLDI, 2020)

Spectector: Principled Detection of Speculative Information Flows. - Marco Guarnieri; Boris Köpf; José F. Morales 001; Jan Reineke 001; Andrés Sánchez (SP, 2020)

Flushgeist: Cache Leaks from Beyond the Flush. - Pepe Vila; Andreas Abel 002; Marco Guarnieri; Boris Köpf; Jan Reineke 001 (CoRR, 2020)

Contract-Aware Secure Compilation. - Marco Guarnieri; Marco Patrignani (CoRR, 2020)

I Told You Tomorrow: Practical Time-Locked Secrets using Smart Contracts. - Enrico Bacis; Dario Facchinetti; Marco Guarnieri; Marco Rosa; Matthew Rossi; Stefano Paraboschi (ARES, 2021)

Exorcising Spectres with Secure Compilers. - Marco Patrignani; Marco Guarnieri (CCS, 2021)

Hardware-Software Contracts for Secure Speculation. - Marco Guarnieri; Boris Köpf; Jan Reineke 001; Pepe Vila (SP, 2021)

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

ANOSY: approximated knowledge synthesis with refinement types for declassification. - Sankha Narayan Guria; Niki Vazou; Marco Guarnieri; James Parker (PLDI, 2022)

A Turning Point for Verified Spectre Sandboxing. - Sunjay Cauligi; Marco Guarnieri; Daniel Moghimi; Deian Stefan; Marco Vassena (CoRR, 2022)

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

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

MAD: Microarchitectural Attacks and Defenses (Dagstuhl Seminar 23481). - Christopher W. Fletcher; Marco Guarnieri; David Kohlbrenner; Clémentine Maurice (Dagstuhl Reports, 2023)

Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures. - Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom (CCS, 2024)

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

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures. - Bo Fu; Leo Tenenbaum; David Adler; Assaf Klein; Arpit Gogia; Alaa R. Alameldeen; Marco Guarnieri; Mark Silberstein; Oleksii Oleksenko; Gururaj Saileshwar (ASPLOS (2), 2025)

Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks. - Xaver Fabian; Marco Patrignani; Marco Guarnieri; Michael Backes 001 (Proc. ACM Program. Lang., 2025)