research
∙
10/20/2022
Execution Time Program Verification With Tight Bounds
This paper presents a proof system for reasoning about execution time bo...
share
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
∙
05/25/2020
Decentralized Privacy-Preserving Proximity Tracing
This document describes and analyzes a system for secure and privacy-pre...
research
∙
04/09/2019