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