
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.


coremsg

dt-sim-property-based-testing-for-mpc-security


DT-SIM: Property-Based Testing for MPC Security


title_rewrite


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