Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
SMT-Boosted Security Types and Correctness for Low-Level MPC
Christian Skalka, Steven Baldasty, Yeonhee Yeh +2
Secure Multi-Party Computation (MPC) is an important enabling technology for data privacy in modern distributed applications. We develop a new Hoare logic and type theory to automa…
cs.CR2025
SMT-Boosted Security Types for Low-Level MPC
Christian Skalka, Joseph P. Near
Secure Multi-Party Computation (MPC) is an important enabling technology for data privacy in modern distributed applications. We develop a new type theory to automatically enforce…
cs.CR2024
Language-Based Security for Low-Level MPC
Christian Skalka, Joseph P. Near
Secure Multi-Party Computation (MPC) is an important enabling technology for data privacy in modern distributed applications. Currently, proof methods for low-level MPC protocols a…