| 2026 | DATE | A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers. | Salvatore Bramante, Matteo Busi, Alessandro Cilardo, Riccardo Focardi, Flaminia L. Luccio, Stefano Mercogliano |
| 2025 | AINA | Mobile Biometrics: Innovations, Challenges, and Emerging Trends. | Attaullah Buriro, Flaminia L. Luccio |
| 2025 | AINA | EUAS-GAN: Enhancing User Authentication on Smartphones Through GAN-Based Swiping Data Augmentation. | Attaullah Buriro, Flaminia L. Luccio, Riccardo Focardi |
| 2023 | CHIRA | Accessible Applications to Improve the Tourist Experience. | Irene De Paoli, Alessia Michela Di Campi, Flaminia L. Luccio |
| 2022 | ESORICS | The Revenge of Password Crackers: Automated Training of Password Cracking Tools. | Alessia Michela Di Campi, Riccardo Focardi, Flaminia L. Luccio |
| 2022 | ICISSP | A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs. | Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio |
| 2021 | CCS | A Formally Verified Configuration for Hardware Security Modules in the Cloud. | Riccardo Focardi, Flaminia L. Luccio |
| 2020 | OPODIS | Broadcasting with Mobile Agents in Dynamic Networks. | Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou |
| 2019 | ICISSP | Evaluating Security, Privacy and Usability Features of QR Code Readers. | Heider A. M. Wahsheh, Flaminia L. Luccio |
| 2019 | SOFSEM | Gathering of Robots in a Grid with Mobile Faults. | Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou |
| 2015 | Algosensors | Mobile Agents Rendezvous in Spite of a Malicious Agent. | Shantanu Das, Flaminia L. Luccio, Euripides Markou |
| 2015 | Algosensors | Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors. | Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Brett Smith |
| 2010 | FUN | Cracking Bank PINs by Playing Mastermind. | Riccardo Focardi, Flaminia L. Luccio |
| 2009 | ESORICS | Type-Based Analysis of PIN Processing APIs. | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel |
| 2008 | WEBIST | Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments. | Antonina Dattolo, Flaminia L. Luccio |
| 2008 | WEBIST | A New Concept Map Model for E-Learning Environments. | Antonina Dattolo, Flaminia L. Luccio |
| 2007 | FUN | Intruder Capture in Sierpinski Graphs. | Flaminia L. Luccio |
| 2004 | SIROCCO | Mobile Agents Rendezvous When Tokens Fail. | Paola Flocchini, Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Nicola Santoro, Cindy Sawchuk |
| 2004 | SIROCCO | Tighter Bounds on Feedback Vertex Sets in Mesh-Based Networks. | Flaminia L. Luccio, Jop F. Sibeyn |
| 2003 | SIROCCO | Minimum Feedback Vertex Set in Pyramid and Mesh of Trees Networks. | Flaminia L. Luccio |
| 2003 | TACAS | BANANA - A Tool for Boundary Ambients Nesting ANAlysis. | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2003 | VMCAI | Complexity of Nesting Analysis in Mobile Ambients. | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2002 | Networking | Fault-Tolerant Support for Reliable Multicast in Mobile Wireless Systems. | Giuseppe Anastasi, Alberto Bartoli, Flaminia L. Luccio |
| 1996 | ICDCS | Distance Routing on Series Parallel Networks. | Paola Flocchini, Flaminia L. Luccio |
| 1995 | MFCS | String Recognition on Anonymous Rings. | Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio |
| 1995 | SIROCCO | Boolean Routing on Chordal Rings. | Danny Krizanc, Flaminia L. Luccio |