下載 Linnk AI
•
AI 研究助理
>
登入
洞見
-
MPC 보안 테스트
DT-SIM: Property-Based Testing for MPC Security
Property-Based Testing을 사용하여 MPC 프로토콜의 보안 버그를 탐지하는 효과적인 방법
1