Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
BTOR2-Based C Program Verification via Hardware Model Checking
Xinyu Zhang, Runxuan Fang, Ziqun Bao +3
Program verification tools often rely on specific intermediate representations and analysis backends, limiting the reuse of verification algorithms and model checkers across framew…
cs.SE2025
Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models
Youwei Huang, Jianwen Li, Bin Hu +3
Malicious developer intents in smart contracts constitute significant security threats to decentralized applications, leading to substantial economic losses. Prior work introduced…