Marco Guarnieri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | 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 |
| 2025 | CCS | Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. | Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri |
| 2024 | CCS | Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures. | Gilles Barthe, Marcel Bhme, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Marco Guarnieri, David Mateos Romero, Peter Schwabe, David Wu, Yuval Yarom |
| 2024 | DATE | Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. | Gideon Mohr, Marco Guarnieri, Jan Reineke |
| 2023 | CCS | Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. | Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri |
| 2023 | SP | Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. | Oleksii Oleksenko, Marco Guarnieri, Boris Kpf, Mark Silberstein |
| 2022 | CCS | Automatic Detection of Speculative Execution Combinations. | Xaver Fabian, Marco Guarnieri, Marco Patrignani |
| 2022 | PLDI | ANOSY: approximated knowledge synthesis with refinement types for declassification. | Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
| 2021 | CCS | Exorcising Spectres with Secure Compilers. | Marco Patrignani, Marco Guarnieri |
| 2021 | SP | Hardware-Software Contracts for Secure Speculation. | Marco Guarnieri, Boris Kpf, Jan Reineke, Pepe Vila |
| 2020 | PLDI | CacheQuery: learning replacement policies from hardware caches. | Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Kpf |
| 2020 | SP | Spectector: Principled Detection of Speculative Information Flows. | Marco Guarnieri, Boris Kpf, Jos F. Morales, Jan Reineke, Andrs Snchez |
| 2017 | CCS | Synthesis of Probabilistic Privacy Enforcement. | Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev |
| 2017 | ISSTA | Test execution checkpointing for web applications. | Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin |
| 2013 | ICST | AURORA: AUtomatic RObustness coveRage Analysis Tool. | Angelo Gargantini, Marco Guarnieri, Eros Magri |
| 2013 | SACMAT | On the notion of redundancy in access control policies. | Marco Guarnieri, Mario Arrigoni Neri, Eros Magri, Simone Mutti |
| 2013 | SECRYPT | A Model-driven Approach for Securing Software Architectures. | Mario Arrigoni Neri, Marco Guarnieri, Eros Magri, Simone Mutti, Stefano Paraboschi |
| 2012 | ICWE | Model-Driven Testing for Web Applications Using Abstract State Machines. | Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto |
| 2012 | SSBSE | Evolutionary Testing of PHP Web Applications with WETT. | Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri |