DT-SIM is an automated property-based testing tool designed to detect security bugs in Secure Multi-Party Computation (MPC) protocols by leveraging statistical independence testing. It aims to provide a scalable and efficient method for identifying vulnerabilities in secure protocols.
Property-based testing is effective for detecting security bugs in Secure Multi-Party Computation (MPC) protocols.