연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (7건)


Smart Contract Fuzzing Towards Profitable Vulnerabilities
키워드: #vulnerabilities #financial #attackers #billions #profitability
파트: Strategies | 연도: 2025
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
키워드: #researchers #academia #ethereum #opentracer #vtdmjwdyd30
파트: Analysis | 연도: 2024
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects
키워드: #vulnerabilities #complexity #qualitatively #vulnerability #compromised
파트: Strategies | 연도: 2023
Detecting false alarms from automatic static analysis tools: how far are we?
키워드: #heuristic #alarms #alarm #findbugs #overoptimistic
파트: Verification | 연도: 2022