12 citations · 13 across the 2 of their papers we have counts for
4 papers
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…
Secret Sharing Sharing For Highly Scalable Secure Aggregation
Timothy Stevens, Joseph Near, Christian Skalka
Secure Multiparty Computation (MPC) can improve the security and privacy of data owners while allowing analysts to perform high quality analytics. Secure aggregation is a secure di…
Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors
Timothy Stevens, Christian Skalka, Christelle Vincent +3
Federated machine learning leverages edge computing to develop models from network user data, but privacy in federated learning remains a major challenge. Techniques using differen…