Get started
Author

Marco Guarnieri

Observed names: Guarnieri Marco, Guarnieri, Marco
ORCID: 0000-0001-5767-555X
Observed ORCID: 0000-0001-5767-555X
OpenAlex ID: A5069694679
Spectector: Principled Detection of Speculative Information Flows
2020 · Marco Guarnieri, Boris Kopf, et al. · IEEE Symposium on Security and Privacy (S&P) · 169
PDF
Hardware-Software Contracts for Secure Speculation
2021 · Marco Guarnieri, Boris Köpf, et al. · IEEE Symposium on Security and Privacy (S&P) · 109
PDF
CacheQuery: learning replacement policies from hardware caches
2020 · Pepe Vila, Pierre Ganty, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 45
PDF
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
2023 · Zilong Wang, Gideon Mohr, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 39
PDF
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
2023 · Oleksii Oleksenko, Marco Guarnieri, et al. · IEEE Symposium on Security and Privacy (S&P) · 33
PDF
Securing Databases from Probabilistic Inference
2017 · Marco Guarnieri, Srdjan Marinovic, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 27
PDF
Automatic Detection of Speculative Execution Combinations
2022 · Xaver Fabian, Marco Guarnieri, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 25
Synthesis of Probabilistic Privacy Enforcement
2017 · Martin Kučera, Petar Tsankov, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 24
Information-Flow Control for Database-Backed Applications
2019 · Marco Guarnieri, Musard Balliu, et al. · IEEE European Symposium on Security and Privacy · 20
PDF
Optimal security-aware query processing
2014 · Marco Guarnieri, David Basin · Proceedings of the VLDB Endowment · 20
Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures
2024 · Gilles Barthe, Marcel Böhme, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 13
I Told You Tomorrow: Practical Time-Locked Secrets using Smart Contracts
2021 · Enrico Bacis, Dario Facchinetti, et al. · International Conference on Availability, Reliability and Security (ARES) · 12
PDF
On the notion of redundancy in access control policies
2013 · Marco Guarnieri, Mario Arrigoni Neri, et al. · ACM Symposium on Access Control Models and Technologies (SACMAT) · 11
Model-Driven Testing for Web Applications Using Abstract State Machines
2012 · Francesco Bolis, Angelo Gargantini, et al. · Lecture notes in computer science · 11
PDF
Strong and Provably Secure Database Access Control
2016 · Marco Guarnieri, Srdjan Marinovic, et al. · IEEE European Symposium on Security and Privacy · 10
PDF
Exorcising Spectres with Secure Compilers
2021 · Marco Patrignani, Marco Guarnieri · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 9
PDF
Flushgeist: Cache Leaks from Beyond the Flush
2020 · Vila, Pepe, Abel, Andreas, et al. · arXiv (Cornell University) · 9
PDF
Conflict detection in security policies using Semantic Web technology
2012 · Mario Arrigoni Neri, Marco Guarnieri, et al. · IEEE AESS European Conference on Satellite Telecommunications · 9
Strong and Provably Secure Database Access Control
2015 · Guarnieri, Marco, Marinovic, Srdjan, et al. · Repository for Publications and Research Data (ETH Zurich) · 8
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
2024 · Gideon Mohr, Marco Guarnieri, et al. · Design, Automation, and Test in Europe · 7
PDF
Test execution checkpointing for web applications
2017 · Marco Guarnieri, Petar Tsankov, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 7
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
2025 · Bo Fu, Leo Tenenbaum, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 5
Contract-Aware Secure Compilation
2020 · Guarnieri, Marco, Patrignani, Marco · arXiv (Cornell University) · 5
PDF
Security vulnerabilities detection and protection using eclipse
2011 · Marco Guarnieri · Graduate School and Research Center in Digital Science (EURECOM) · 5
CacheSolidarity: Preventing Prefix Caching Side Channels in Multi-Tenant LLM Serving Systems
2026 · Pennas, Panagiotis Georgios, Papaioannou, Konstantinos, et al. · arXiv (Cornell University) · 4
PDF
Works count: 54
Citation count: 667
H-index: 12
I10-index: 15
Year
Topic
Type