research
∙
02/20/2023
Symphony: Expressive Secure Multiparty Computation with Coordination
Context: Secure Multiparty Computation (MPC) refers to a family of crypt...
share
research
∙
04/01/2020
SPES: A Two-Stage Query Equivalence Verifier
In database-as-a-service platforms, automated verification of query equi...
research
∙
07/09/2019
Relational Verification via Invariant-Guided Synchronization
Relational properties describe relationships that hold over multiple exe...
research
∙
10/10/2017