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…