3 papers
cs.SE2026
TrapHunter: Exposing Covert Pathways in Trap Token Contracts
Yin Wu, Yixuan Liu, Yi Li +5
Standardized token contracts (e.g., ERC-20) form the foundation of digital assets. However, attackers increasingly abuse this standardization to disguise malicious trap tokens. Unl…
cs.LO2026
DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory
Chen Peng
DEKL 2.0 is a dependent type-theoretic framework for trace-indexed knowledge evolution. Its central claim is that the proof calculus remains monotone under standard structural rule…
cs.CR2025
ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
Chenyang Peng, Haijun Wang, Yin Wu +4
With the advance application of blockchain technology in various fields, ensuring the security and stability of smart contracts has emerged as a critical challenge. Current securit…