Mako Bates

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Multicast Routing

Object Oriented Programming

Top Venues

Publications

Mako Bates, Joseph P. Near
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values. CoRR (2024)
Mako Bates, Joseph P. Near
DT-SIM: Property-Based Testing for MPC Security. CoRR (2024)
Mako Bates, Syed Jafri, Joseph P. Near
MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values. CoRR (2024)