3 papers
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…
cs.LG2025
FedUP: Efficient Pruning-based Federated Unlearning for Model Poisoning Attacks
Nicolò Romandini, Cristian Borcea, Rebecca Montanari +1
Federated Learning (FL) can be vulnerable to attacks, such as model poisoning, where adversaries send malicious local weights to compromise the global model. Federated Unlearning (…