Główne pojęcia
Property-Based Testing을 사용하여 MPC 프로토콜의 보안 버그를 탐지하는 효과적인 방법
Statystyki
"DT-SIM은 보안 버그를 탐지하는 데 효과적입니다."
"DT-SIM은 수백 개의 프로토콜에서 보안 버그를 식별할 수 있습니다."
"DT-SIM은 실제 프로토콜에서도 보안 버그를 탐지할 수 있습니다."
Cytaty
"DT-SIM은 property-based testing을 사용하여 보안 버그를 탐지하는 효과적인 방법을 제시합니다."
"DT-SIM은 MPC 보안을 조건부 독립성으로 정의하고 이를 통계적으로 테스트합니다."