DT-SIM: Property-Based Testing for MPC Security

Property-based testing is effective for detecting security bugs in Secure Multi-Party Computation (MPC) protocols.