Descarga Linnk AI
•
Asistente de Investigación
>
Iniciar sesión
Información
-
DeFi 서비스의 취약점 자동 탐지
DeFi 취약점 탐지를 위한 문맥 민감형 콘콜릭 검증
DeFi 서비스의 다양한 취약점을 사용자 정의 시간 논리 속성을 활용하여 자동으로 탐지하는 문맥 민감형 콘콜릭 검증 방법론
1