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...
share
research
∙
04/16/2020
Solving bitvectors with MCSAT: explanations from bits and pieces (long version)
We present a decision procedure for the theory of fixed-sized bitvectors...
research
∙
07/06/2018
