[Paper] CBGRU: A Detection Method of Smart Contract Vulnerability Based on a Hybrid Model
Zhang, L. et al. (2022). CBGRU: A Detection Method of Smart Contract Vulnerability Based on a Hybrid Model. Sensors, 22(9), 3577.URL : https://www.mdpi.com/1424-8220/22/9/3577 1. 연구 배경 및 문제 의식 : 기존 탐지 도구의 한계 Oyente, SmartCheck, Mythril, Securify, Slither, ContractFuzzer 등 기존의 스마트 컨트랙트 취약점 탐지 도구들은 공식 검증(Formal Verification), 기호 실행(Symbolic Execution), 정적 분석(Static Analysis), 퍼즈 테스팅(Fuzz Testing) ..
2026. 4. 13.
