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...
share
research
∙
06/10/2022
Bayesian Estimation of Differential Privacy
Algorithms such as Differentially Private SGD enable training machine le...
research
∙
05/14/2021
Revizor: Testing Black-box CPUs against Speculation Contracts
Speculative vulnerabilities such as Spectre and Meltdown expose speculat...
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
∙
12/17/2019
Analyzing Privacy Loss in Updates of Natural Language Models
To continuously improve quality and reflect changes in data, machine lea...
research
∙
12/20/2018
SPECTECTOR: Principled Detection of Speculative Information Flows
Since the advent of SPECTRE, a number of countermeasures have been propo...
research
∙
10/02/2018
Theory and Practice of Finding Eviction Sets
Many micro-architectural attacks rely on the capability of an attacker t...
research
∙
07/03/2018