Search Results - Bates, Mako

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    DT-SIM: Property-Based Testing for MPC Security

    DT-SIM: Property-Based Testing for MPC Security by Bates, Mako, Near, Joseph P

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values

    We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values by Bates, Mako, Near, Joseph P

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values

    MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values by Bates, Mako, Jafri, Syed, Near, Joseph P

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    SoK: Usability Studies in Differential Privacy

    SoK: Usability Studies in Differential Privacy by Dibia, Onyinye, Stenger, Brad, Baldasty, Steven, Bates, Mako, Ngong, Ivoline C, Feng, Yuanyuan, Near, Joseph P

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Efficient, Portable, Census-Polymorphic Choreographic Programming

    Efficient, Portable, Census-Polymorphic Choreographic Programming by Bates, Mako, Kashiwa, Shun, Jafri, Syed, Shen, Gan, Kuper, Lindsey, Near, Joseph P

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: