research
∙
05/17/2023
Entanglement-based Mutual Quantum Distance Bounding
Mutual distance bounding (DB) protocols enable two distrusting parties t...
share
research
∙
09/11/2021
F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption (Extended Version)
Fully Homomorphic Encryption (FHE) allows computing on encrypted data, e...
research
∙
04/12/2021
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
MPC-in-the-Head (MitH) is a general framework that allows constructing e...
research
∙
04/21/2020
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version
Implementation flaws in cryptographic libraries, design flaws in algorit...
research
∙
08/07/2019
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
Modern society is increasingly surrounded by, and accustomed to, a wide ...
research
∙
11/01/2018