research
∙
01/16/2021
T-Lease: A Trusted Lease Primitive for Distributed Systems
A lease is an important primitive for building distributed protocols, an...
share
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
