Computer-aided proofs for multiparty computation with active security

19 June 2018

Papers citing "Computer-aided proofs for multiparty computation with active security"

3 / 3 papers shown

Title
SMT-Boosted Security Types for Low-Level MPC Christian Skalka Joseph P. Near 164 0 0 29 Jan 2025
PRICURE: Privacy-Preserving Collaborative Inference in a Multi-Party Setting Ismat Jarin Birhanu Eshete 26 18 0 19 Feb 2021
The Foundational Cryptography Framework Adam Petcher Greg Morrisett LRM 30 101 0 14 Oct 2014