Secure Synthesis of Distributed Cryptographic Applications (Technical Report)

6 January 2024

Papers citing "Secure Synthesis of Distributed Cryptographic Applications (Technical Report)"

5 / 5 papers shown

Title
SMT-Boosted Security Types for Low-Level MPC Christian Skalka Joseph P. Near 289 0 0 29 Jan 2025
An Array Intermediate Language for Mixed Cryptography Vivian Ding Coşku Acay Andrew C. Myers 23 0 0 03 Sep 2024
Language-Based Security for Low-Level MPC Christian Skalka Joseph P. Near 34 1 0 23 Jul 2024
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values Mako Bates Joe Near 21 0 0 08 Mar 2024
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation Qianchuan Ye Benjamin Delaware 20 0 0 15 Nov 2023