ResearchTrend.AI
Computer-aided proofs for multiparty computation with active security

Computer-aided proofs for multiparty computation with active security

Helene Haagh
Aleksandr Karbyshev
Sabine Oechsner
Bas Spitters
Pierre-Yves Strub
ArXiv (abs)PDFHTML

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

5 / 5 papers shown
Title
SMT-Boosted Security Types for Low-Level MPC
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
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
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
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
Formalizing Nakamoto-Style Proof of Stake
Søren Eller Thomsen
Bas Spitters
LRM
41
20
0
23 Jul 2020