Descarga Linnk AI
•
Asistente de Investigación
>
Iniciar sesión
Información
-
MPC 보안 테스트
DT-SIM: Property-Based Testing for MPC Security
Property-Based Testing을 사용하여 MPC 프로토콜의 보안 버그를 탐지하는 효과적인 방법
1