-
T-Lease: A Trusted Lease Primitive for Distributed Systems
A lease is an important primitive for building distributed protocols, an...
read it
-
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface
SpecFuzz is the first tool that enables dynamic testing for speculative ...
read it
-
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass
A recent discovery of a new class of microarchitectural attacks called S...
read it

Bohdan Trach
is this you? claim profile