Computer-aided proofs for multiparty computation with active security

19 June 2018

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

5 / 5 papers shown

Title
SMT-Boosted Security Types for Low-Level MPC Christian Skalka Joseph P. Near 447 0 0 29 Jan 2025
Language-Based Security for Low-Level MPC Christian Skalka Joseph P. Near 125 1 0 23 Jul 2024
DT-SIM: Property-Based Testing for MPC Security Mako Bates Joe Near 27 1 0 08 Mar 2024
PRICURE: Privacy-Preserving Collaborative Inference in a Multi-Party Setting Ismat Jarin Birhanu Eshete 95 20 0 19 Feb 2021
Formalizing Nakamoto-Style Proof of Stake Søren Eller Thomsen Bas Spitters LRM 39 20 0 23 Jul 2020