4 papers
SMT-Boosted Security Types and Correctness for Low-Level MPC
Christian Skalka, Steven Baldasty, Yeonhee Yeh +2
Secure Multi-Party Computation (MPC) is an important enabling technology for data privacy in modern distributed applications. We develop a new Hoare logic and type theory to automa…
Qoreo: Choreographic Programming for Quantum Distributed Systems
Jennifer Paykin, Steven Baldasty, Joseph P. Near +1
Programming distributed quantum systems requires multiple actors to coordinate precise sequences of quantum operations, classical communication, and entanglement generation. Writin…
Probabilistic, Resource-Aware, Asynchronous, Out-of-Order Choreographies
Mako Bates, Steven Baldasty, Ernest Hyun +2
Futures-based implementations of out-of-order choreographies can substantially improve latency and throughput, but their actual behavior depends on resources such as communication…
SoK: Usability Studies in Differential Privacy
Onyinye Dibia, Prianka Bhattacharjee, Brad Stenger +5
Differential Privacy (DP) has emerged as a pivotal approach for safeguarding individual privacy in data analysis, yet its practical adoption is often hindered by challenges in the…