2 papers
cs.CR2026
Enforcing Control Flow Integrity on DeFi Smart Contracts
Zhiyang Chen, Sidi Mohamed Beillahi, Pasha Barahimi +4
Smart contracts power decentralized financial (DeFi) services but are vulnerable to security exploits that can lead to significant financial losses. Existing security measures ofte…
cs.SE2025
VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
Xun Deng, Sicheng Zhong, BarıŠBayazıt +3
Large language models (LLMs) have demonstrated remarkable progress in code generation, but many existing benchmarks are approaching saturation and offer little guarantee on the tru…