Mako P. Bates -

Registered user since Thu 9 May 2024

Name:Mako P. Bates

Country:United States

Affiliation:University of Vermont

GitHub: https://github.com/ShapeOfMatter

Research interests:Choreographic Programming; Differential Privacy; Secure Multiparty Computation

Contributions

2024

Choreographic Programming

Author of We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values within the Choreographic Programming 2024-track

2023

PLDI

Author in Artifact Evaluation Committee within the Research Artifacts-track

LAFI

Author of πMPC: Automatic Security Proofs for MPC Protocols within the LAFI 2023-track