Marco Guarnieri

Synthesis of Probabilistic Privacy Enforcement

Martin Kučera, Petar Tsankov, Timon Gehr et al. · 2017 · 22 citations

Representative Programs, Leaked Information, Privacy Protection +19

Optimal security-aware query processing

Marco Guarnieri, David Basin · Proceedings of the VLDB Endowment · 2014 · 19 citations

Engineering, Information Security, Data-centric Security +19

Spectector: Principled Detection of Speculative Information Flows

Marco Guarnieri, Boris Köpf, José F. Morales et al. · 2020 · 19 citations · Full text

Engineering, Information Security, Information Leakage +24

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 · 19 citations · Full text

Modern Processors, Engineering, Information Security +23

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall et al. · 2023 · 19 citations · Full text

Engineering, Information Security, Verification +23