DT-SIM: Property-Based Testing for MPC Security. - Mako Bates; 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)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values. - Mako Bates; Syed Jafri; Joseph P. Near (CoRR, 2024)

SoK: Usability Studies in Differential Privacy. - Onyinye Dibia; Brad Stenger; Steven Baldasty; Mako Bates; Ivoline C. Ngong; Yuanyuan Feng; Joseph P. Near (CoRR, 2024)

Efficient, Portable, Census-Polymorphic Choreographic Programming. - Mako Bates; Shun Kashiwa; Syed Jafri; Gan Shen; Lindsey Kuper; Joseph P. Near (Proc. ACM Program. Lang., 2025)

SoK: Usability Studies in Differential Privacy. - Onyinye Dibia; Prianka Bhattacharjee; Brad Stenger; Steven Baldasty; Mako Bates; Ivoline C. Ngong; Yuanyuan Feng; Joseph P. Near (Proc. Priv. Enhancing Technol., 2025)