64 citations · 64 across the 3 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
Antaeus: Hunting Repository-Level Logic Vulnerabilities via Context-Grounded LLM Reasoning
Michele Armillotta, Nicolò Romandini, Rebecca Montanari +1
LLM-based vulnerability detectors have shown promising results in identifying memory-safety bugs and vulnerability classes whose violations can often be expressed through establish…
cs.CR2025
SoK: Security and Privacy of AI Agents for Blockchain
Nicolò Romandini, Carlo Mazzocca, Kai Otsuki +1
Blockchain and smart contracts have garnered significant interest in recent years as the foundation of a decentralized, trustless digital ecosystem, thereby eliminating the need fo…