Marco Guarnieri

According to our database, Marco Guarnieri authored at least 28 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks.

Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes

CoRR, 2024

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

CoRR, 2024

Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors.

Gideon Mohr, Marco Guarnieri, Jan Reineke

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

MAD: Microarchitectural Attacks and Defenses (Dagstuhl Seminar 23481).

Christopher W. Fletcher, Marco Guarnieri, David Kohlbrenner, Clémentine Maurice

Dagstuhl Reports, 2023

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing.

Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

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

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

A Turning Point for Verified Spectre Sandboxing.

Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi, Deian Stefan, Marco Vassena

CoRR, 2022

ANOSY: approximated knowledge synthesis with refinement types for declassification.

Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Automatic Detection of Speculative Execution Combinations.

Xaver Fabian, Marco Guarnieri, Marco Patrignani

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Hardware-Software Contracts for Secure Speculation.

Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Exorcising Spectres with Secure Compilers.

Marco Patrignani, Marco Guarnieri

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

I Told You Tomorrow: Practical Time-Locked Secrets using Smart Contracts.

Enrico Bacis, Dario Facchinetti, Marco Guarnieri, Marco Rosa, Matthew Rossi, Stefano Paraboschi

Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020

Contract-Aware Secure Compilation.

Marco Guarnieri, Marco Patrignani

CoRR, 2020

Flushgeist: Cache Leaks from Beyond the Flush.

Pepe Vila, Andreas Abel, Marco Guarnieri, Boris Köpf, Jan Reineke

CoRR, 2020

Spectector: Principled Detection of Speculative Information Flows.

Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

CacheQuery: learning replacement policies from hardware caches.

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Information-Flow Control for Database-Backed Applications.

Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

2017

Test execution checkpointing for web applications.

Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Securing Databases from Probabilistic Inference.

Marco Guarnieri, Srdjan Marinovic, David A. Basin

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Synthesis of Probabilistic Privacy Enforcement.

Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Strong and Provably Secure Database Access Control.

Marco Guarnieri, Srdjan Marinovic, David A. Basin

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

2014

Optimal Security-Aware Query Processing.

Marco Guarnieri, David A. Basin

Proc. VLDB Endow., 2014

2013

A Model-driven Approach for Securing Software Architectures.

Mario Arrigoni Neri, Marco Guarnieri, Eros Magri, Simone Mutti, Stefano Paraboschi

Proceedings of the SECRYPT 2013, 2013

On the notion of redundancy in access control policies.

Marco Guarnieri, Mario Arrigoni Neri, Eros Magri, Simone Mutti

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

AURORA: AUtomatic RObustness coveRage Analysis Tool.

Angelo Gargantini, Marco Guarnieri, Eros Magri

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Evolutionary Testing of PHP Web Applications with WETT.

Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes.

Angelo Gargantini, Marco Guarnieri, Eros Magri

Proceedings of the Testing Software and Systems, 2012

Model-Driven Testing for Web Applications Using Abstract State Machines.

Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto

Proceedings of the Current Trends in Web Engineering, 2012