3 citations · 5 across the 3 of their papers we have counts for
6 papers · 1 filter
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall +2
Leakage contracts have recently been proposed as a new security abstraction at the Instruction Set Architecture (ISA) level. Such contracts aim to faithfully capture the informatio…
Contract-Aware Secure Compilation
Marco Guarnieri, Marco Patrignani
Microarchitectural attacks exploit the abstraction gap between the Instruction Set Architecture (ISA) and how instructions are actually executed by processors to compromise the con…
Hardware-Software Contracts for Secure Speculation
Marco Guarnieri, Boris Köpf, Jan Reineke +1
Since the discovery of Spectre, a large number of hardware mechanisms for secure speculation has been proposed. Intuitively, more defensive mechanisms are less efficient but can se…
Flushgeist: Cache Leaks from Beyond the Flush
Pepe Vila, Andreas Abel, Marco Guarnieri +2
Flushing the cache, using instructions like clflush and wbinvd, is commonly proposed as a countermeasure against access-based cache attacks. In this report, we show that several In…
SPECTECTOR: Principled Detection of Speculative Information Flows
Marco Guarnieri, Boris Köpf, José F. Morales +2
Since the advent of SPECTRE, a number of countermeasures have been proposed and deployed. Rigorously reasoning about their effectiveness, however, requires a well-defined notion of…
Securing Databases from Probabilistic Inference
Marco Guarnieri, Srdjan Marinovic, David Basin
Databases can leak confidential information when users combine query results with probabilistic data dependencies and prior knowledge. Current research offers mechanisms that eithe…