Application-Scale Secure Multiparty Computation
Abstract elided by the publisher.
Related papers
- Efficient lookup-table protocol in secure multiparty computation ICFP 2012
- Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation OOPSLA 2024
- Taype: A Policy-Agnostic Language for Oblivious Computation PLDI 2023
- Deadlock-free asynchronous message reordering in rust with multiparty session types PPoPP 2022
- Viaduct: an extensible, optimizing compiler for secure distributed programs PLDI 2021
- Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes PLDI 2021
- A Comprehensive Study of the Complexity of Multiparty Interaction POPL 1992
- A Synthetic Reconstruction of Multiparty Session Types POPL 2026