research
∙
05/11/2023
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Leakage contracts have recently been proposed as a new security abstract...
share
research
∙
01/18/2023
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Attacks like Spectre abuse speculative execution, one of the key perform...
research
∙
09/02/2022
Automatic Detection of Speculative Execution Combinations
Modern processors employ different prediction mechanisms to speculate ov...
research
∙
08/02/2022
A Turning Point for Verified Spectre Sandboxing
Spectre attacks enable an attacker to access restricted data in an appli...
research
∙
03/22/2022
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Non-interference is a popular way to enforce confidentiality of sensitiv...
research
∙
12/28/2020
Contract-Aware Secure Compilation
Microarchitectural attacks exploit the abstraction gap between the Instr...
research
∙
06/06/2020
Hardware-Software Contracts for Secure Speculation
Since the discovery of Spectre, a large number of hardware mechanisms fo...
research
∙
05/28/2020
Flushgeist: Cache Leaks from Beyond the Flush
Flushing the cache, using instructions like clflush and wbinvd, is commo...
research
∙
12/20/2019
CacheQuery: Learning Replacement Policies from Hardware Caches
We show how to infer deterministic cache replacement policies using off-...
research
∙
10/18/2019
Exorcising Spectres with Secure Compilers
Speculative execution has been demonstrated to leak information about ex...
research
∙
12/20/2018
SPECTECTOR: Principled Detection of Speculative Information Flows
Since the advent of SPECTRE, a number of countermeasures have been propo...
research
∙
06/08/2017