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
∙
05/14/2021
Revizor: Testing Black-box CPUs against Speculation Contracts
Speculative vulnerabilities such as Spectre and Meltdown expose speculat...
research
∙
01/16/2021
T-Lease: A Trusted Lease Primitive for Distributed Systems
A lease is an important primitive for building distributed protocols, an...
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