Mako Bates

According to our database, Mako Bates authored at least 3 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values.

Mako Bates, Syed Jafri, Joseph P. Near

CoRR, 2024

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values.

Mako Bates, Joseph P. Near

CoRR, 2024

DT-SIM: Property-Based Testing for MPC Security.

Mako Bates, Joseph P. Near

CoRR, 2024