5 citations · 5 across the 7 of their papers we have counts for
Showing cs.CRShow all
2 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.CR2024
DT-SIM: Property-Based Testing for MPC Security
Mako Bates, Joseph P. Near
Formal methods for guaranteeing that a protocol satisfies a cryptographic security definition have advanced substantially, but such methods are still labor intensive and the need r…