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…