DeFi 취약점 탐지를 위한 문맥 민감형 콘콜릭 검증

DeFi 서비스의 다양한 취약점을 사용자 정의 시간 논리 속성을 활용하여 자동으로 탐지하는 문맥 민감형 콘콜릭 검증 방법론