DT-SIM: Property-Based Testing for MPC Security

Property-Based Testing을 사용하여 MPC 프로토콜의 보안 버그를 탐지하는 효과적인 방법