research
∙
10/20/2022
Towards cryptographically-authenticated in-memory data structures
Modern processors include high-performance cryptographic functionalities...
share
research
∙
04/20/2022
BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking
We present Blinded Memory (BliMe), a way to realize efficient and secure...
research
∙
10/11/2019
SADAN: Scalable Adversary Detection in Autonomous Networks
Autonomous collaborative networks of devices are emerging in numerous do...
research
∙
05/24/2019
Making Speculative BFT Resilient with Trusted Monotonic Counters
Consensus mechanisms used by popular distributed ledgers are highly scal...
research
∙
05/24/2019