research
∙
08/22/2023
Algorithm-assisted discovery of an intrinsic order among mathematical constants
In recent decades, a growing number of discoveries in fields of mathemat...
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
∙
11/14/2022
Securing Access to Untrusted Services From TEEs with GateKeeper
Applications running in Trusted Execution Environments (TEEs) commonly u...
research
∙
09/11/2021
A readahead prefetcher for GPU file system layer
GPUs are broadly used in I/O-intensive big data applications. Prior work...
research
∙
05/14/2021
Revizor: Testing Black-box CPUs against Speculation Contracts
Speculative vulnerabilities such as Spectre and Meltdown expose speculat...
research
∙
02/10/2020
A Computational Approach to Packet Classification
Multi-field packet classification is a crucial component in modern softw...
research
∙
05/24/2019
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface
SpecFuzz is the first tool that enables dynamic testing for speculative ...
research
∙
05/22/2018
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass
A recent discovery of a new class of microarchitectural attacks called S...
research
∙
05/21/2018