Eigenschaftsbasiertes Testen mit DT-SIM kann Sicherheitsfehler in MPC-Protokollen effektiv aufdecken.