2 citations · 2 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…
Compact and Selective Disclosure for Verifiable Credentials
Alessandro Buldini, Carlo Mazzocca, Rebecca Montanari +1
Self-Sovereign Identity (SSI) is a novel identity model that empowers individuals with full control over their data, enabling them to choose what information to disclose, with whom…