| 2026 | SAC | A Methodology for Verifiable Query Result Integrity in Blockchain Indexing Systems. | Xinrui Liu, Boojoong Kang, Leonardo Aniello |
| 2025 | SRDS | Uncovering Evaluation Bias in Node Attachment Strategies for the Lightning Network. | Asma Almosa, Leonardo Aniello, BooJoong Kang |
| 2024 | NOMS | MANET-Rank: A Framework for Defence Protocols against Packet Dropping Attacks in MANETs. | Charles Hutchins, Leonardo Aniello, Enrico H. Gerding, Basel Halak |
| 2023 | ESORICS | A Methodology for Cybersecurity Risk Assessment in Supply Chains. | Betul Gokkaya, Leonardo Aniello, Erisa Karafili, Basel Halak |
| 2022 | MODELS | A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. | Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang |
| 2017 | EDCC | A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database. | Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri, Vladimiro Sassone |
| 2017 | VizSec | The goods, the bads and the uglies: Supporting decisions in malware detection through visual analytics. | Marco Angelini, Leonardo Aniello, Simone Lenti, Giuseppe Santucci, Daniele Ucci |
| 2016 | DSN | An Architecture for Semi-Automatic Collaborative Malware Analysis for CIs. | Giuseppe Laurenza, Daniele Ucci, Leonardo Aniello, Roberto Baldoni |
| 2016 | SAFECOMP | Automatic Invariant Selection for Online Anomaly Detection. | Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, Stefano Russo |
| 2015 | PRDC | NIRVANA: A Non-intrusive Black-Box Monitoring Framework for Rack-Level Fault Detection. | Claudio Ciccotelli, Leonardo Aniello, Federico Lombardi, Luca Montanari, Leonardo Querzoni, Roberto Baldoni |
| 2013 | SAC | Input data organization for batch processing in time window based computations. | Leonardo Aniello, Leonardo Querzoni, Roberto Baldoni |
| 2013 | SRDS | Assessing data availability of Cassandra in the presence of non-accurate membership. | Leonardo Aniello, Silvia Bonomi, Marta Breno, Roberto Baldoni |
| 2011 | SAFECOMP | A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks. | Leonardo Aniello, Giuseppe Antonio Di Luna, Giorgia Lodi, Roberto Baldoni |