research
∙
09/10/2023
Parallel RAM from Cyclic Circuits
Known simulations of random access machines (RAMs) or parallel RAMs (PRA...
share
research
∙
02/20/2023
Symphony: Expressive Secure Multiparty Computation with Coordination
Context: Secure Multiparty Computation (MPC) refers to a family of crypt...
research
∙
07/09/2019
Relational Verification via Invariant-Guided Synchronization
Relational properties describe relationships that hold over multiple exe...
research
∙
10/10/2017