5 citations · 5 across the 7 of their papers we have counts for
8 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…
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…
Efficient, Portable, Census-Polymorphic Choreographic Programming
Mako Bates, Shun Kashiwa, Syed Jafri +3
Choreographic programming (CP) is a paradigm for implementing distributed systems that uses a single global program to define the actions and interactions of all participants. Libr…
MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
Mako Bates, Syed Jafri, Joseph P. Near
Choreographic programming is a concurrent paradigm in which a single global program called a choreography describes behavior across an entire distributed network of participants. C…
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
Mako Bates, Joseph P. Near
Concurrent distributed systems are notoriously difficult to construct and reason about. Choreographic programming is a recent paradigm that describes a distributed system in a sing…
DT-SIM: Property-Based Testing for MPC Security
Mako Bates, Joseph P. Near
Formal methods for guaranteeing that a protocol satisfies a cryptographic security definition have advanced substantially, but such methods are still labor intensive and the need r…
Contextual Linear Types for Differential Privacy
Matías Toro, David Darais, Chike Abuah +4
Language support for differentially-private programming is both crucial and delicate. While elaborate program logics can be very expressive, type-system based approaches using line…