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
∙
03/28/2022
Warping Cache Simulation of Polyhedral Programs
Techniques to evaluate a program's cache performance fall into two camps...
research
∙
07/29/2021
uiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures
Performance models that statically predict the steady-state throughput o...
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
∙
11/08/2019
nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems
We present nanoBench, a tool for evaluating small microbenchmarks using ...
research
∙
09/10/2019
Cache Persistence Analysis: Finally Exact
Cache persistence analysis is an important part of worst-case execution ...
research
∙
12/20/2018
SPECTECTOR: Principled Detection of Speculative Information Flows
Since the advent of SPECTRE, a number of countermeasures have been propo...
research
∙
11/05/2018
Fast and exact analysis for LRU caches
For applications in worst-case execution time analysis and in security, ...
research
∙
10/10/2018
uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures
Modern microarchitectures are some of the world's most complex man-made ...
research
∙
07/03/2018
On the Incomparability of Cache Algorithms in Terms of Timing Leakage
Modern computer architectures rely on caches to reduce the latency gap b...
research
∙
09/28/2017
