On the convergence of a parallel algorithm for finding polynomial zeros. - Flaminia L. Luccio (SPDP, 1994)

String Recognition on Anonymous Rings. - Evangelos Kranakis; Danny Krizanc; Flaminia L. Luccio (MFCS, 1995)

Boolean Routing on Chordal Rings. - Danny Krizanc; Flaminia L. Luccio (SIROCCO, 1995)

Distance Routing on Series Parallel Networks. - Paola Flocchini; Flaminia L. Luccio (ICDCS, 1996)

Almost Exact Minimum Feedback Vertex Set in Meshes and Butterflies. - Flaminia L. Luccio (Inf. Process. Lett., 1998)

Dynamic Interval Routing on Asynchronous Rings. - Danny Krizanc; Flaminia L. Luccio; Rajeev Raman (IPPS/SPDP, 1999)

Sorting Multisets in Anonymous Rings. - Paola Flocchini; Evangelos Kranakis; Nicola Santoro; Danny Krizanc; Flaminia L. Luccio (IPDPS, 2000)

Feedback vertex set in hypercubes. - Riccardo Focardi; Flaminia L. Luccio; David Peleg (Inf. Process. Lett., 2000)

On Recognizing a String on an Anonymous Ring. - Evangelos Kranakis; Danny Krizanc; Flaminia L. Luccio (Theory Comput. Syst., 2001)

Fault-Tolerant Support for Reliable Multicast in Mobile Wireless Systems. - Giuseppe Anastasi; Alberto Bartoli; Flaminia L. Luccio (NETWORKING, 2002)

Minimum Feedback Vertex Set in Pyramid and Mesh of Trees Networks. - Flaminia L. Luccio (SIROCCO, 2003)

BANANA - A Tool for Boundary Ambients Nesting ANAlysis. - Chiara Braghin; Agostino Cortesi; Stefano Filippone; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (TACAS, 2003)

Complexity of Nesting Analysis in Mobile Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (VMCAI, 2003)

Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (MEFISTO, 2003)

Routing in Series Parallel Networks. - Paola Flocchini; Flaminia L. Luccio (Theory Comput. Syst., 2003)

Mobile Agents Rendezvous When Tokens Fail. - Paola Flocchini; Evangelos Kranakis; Danny Krizanc; Flaminia L. Luccio; Nicola Santoro; Cindy Sawchuk (SIROCCO, 2004)

Tighter Bounds on Feedback Vertex Sets in Mesh-Based Networks. - Flaminia L. Luccio; Jop F. Sibeyn (SIROCCO, 2004)

Nesting analysis of mobile ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (Comput. Lang. Syst. Struct., 2004)

A modular approach to Sprouts. - Riccardo Focardi; Flaminia L. Luccio (Discret. Appl. Math., 2004)

Sorting and election in anonymous asynchronous rings. - Paola Flocchini; Evangelos Kranakis; Danny Krizanc; Flaminia L. Luccio; Nicola Santoro (J. Parallel Distributed Comput., 2004)

Compact Routing Schemes for Dynamic Ring Networks. - Danny Krizanc; Flaminia L. Luccio; Rajeev Raman (Theory Comput. Syst., 2004)

Fault-tolerant support for reliable multicast in Mobile Wireless Systems: Design and Evaluation. - Giuseppe Anastasi; Alberto Bartoli; Flaminia L. Luccio (Wirel. Networks, 2004)

Size Optimal Strategies for Capturing an Intruder in Mesh Networks. - Paola Flocchini; Flaminia L. Luccio; Lisa Xiuli Song (Communications in Computing, 2005)

Contiguous Search in the Hypercube for Capturing an Intruder. - Paola Flocchini; Miao Jun Huang; Flaminia L. Luccio (IPDPS, 2005)

Decontamination of chordal rings and tori. - Paola Flocchini; Miao Jim Huang; Flaminia L. Luccio (IPDPS, 2006)

Intruder Capture in Sierpinski Graphs. - Flaminia L. Luccio (FUN, 2007)

Decontaminating Chordal Rings and Tori Using Mobile Agents. - Paola Flocchini; Miao Jun Huang; Flaminia L. Luccio (Int. J. Found. Comput. Sci., 2007)

Feedback vertex sets in mesh-based networks. - Flaminia L. Luccio; Jop F. Sibeyn (Theor. Comput. Sci., 2007)

Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments. - Antonina Dattolo; Flaminia L. Luccio (WEBIST (1), 2008)

A New Concept Map Model for E-Learning Environments. - Antonina Dattolo; Flaminia L. Luccio (WEBIST (Selected Papers), 2008)

Decontamination of hypercubes by mobile agents. - Paola Flocchini; Miao Jun Huang; Flaminia L. Luccio (Networks, 2008)

Type-Based Analysis of PIN Processing APIs. - Matteo Centenaro; Riccardo Focardi; Flaminia L. Luccio; Graham Steel (ESORICS, 2009)

Blunting Differential Attacks on PIN Processing APIs. - Riccardo Focardi; Flaminia L. Luccio; Graham Steel (NordSec, 2009)

Contiguous Search Problem in Sierpinski Graphs. - Flaminia L. Luccio (Theory Comput. Syst., 2009)

Cracking Bank PINs by Playing Mastermind. - Riccardo Focardi; Flaminia L. Luccio (FUN, 2010)

Secure Upgrade of Hardware Security Modules in Bank Networks. - Riccardo Focardi; Flaminia L. Luccio (ARSPA-WITS, 2010)

An Introduction to Security API Analysis. - Riccardo Focardi; Flaminia L. Luccio; Graham Steel (FOSAD, 2011)

Secure Recharge of Disposable RFID Tickets. - Riccardo Focardi; Flaminia L. Luccio (Formal Aspects in Security and Trust, 2011)

Type-Based Analysis of PKCS#11 Key Management. - Matteo Centenaro; Riccardo Focardi; Flaminia L. Luccio (POST, 2012)

Guessing Bank PINs by Winning a Mastermind Game. - Riccardo Focardi; Flaminia L. Luccio (Theory Comput. Syst., 2012)

Type-Based Analysis of Generic Key Management APIs. - Pedro Adão; Riccardo Focardi; Flaminia L. Luccio (CSF, 2013)

Type-Based Analysis of Generic Key Management APIs (Long Version). - Pedro Adão; Riccardo Focardi; Flaminia L. Luccio (IACR Cryptol. ePrint Arch., 2013)

Type-based analysis of key management in PKCS#11 cryptographic devices. - Matteo Centenaro; Riccardo Focardi; Flaminia L. Luccio (J. Comput. Secur., 2013)

Mignis: A Semantic Based Tool for Firewall Configuration. - Pedro Adão; Claudio Bozzato; G. Dei Rossi; Riccardo Focardi; Flaminia L. Luccio (CSF, 2014)

Mobile Agents Rendezvous in spite of a Malicious Agent. - Flaminia L. Luccio; Euripides Markou (CoRR, 2014)

Editorial: Fun with Algorithms. - Evangelos Kranakis; Danny Krizanc; Flaminia L. Luccio (Theory Comput. Syst., 2014)

Mobile Agents Rendezvous in Spite of a Malicious Agent. - Shantanu Das 001; Flaminia L. Luccio; Euripides Markou (ALGOSENSORS, 2015)

Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors. - Evangelos Kranakis; Danny Krizanc; Flaminia L. Luccio; Brett Smith (ALGOSENSORS, 2015)

Localizing Firewall Security Policies. - Pedro Adão; Riccardo Focardi; Joshua D. Guttman; Flaminia L. Luccio (CSF, 2016)

A Review of Websites and Mobile Applications for People with Autism Spectrum Disorders: Towards Shared Guidelines. - Antonina Dattolo; Flaminia L. Luccio (GOODTECHS, 2016)

Gathering of Robots in a Ring with Mobile Faults. - Shantanu Das 001; Riccardo Focardi; Flaminia L. Luccio; Euripides Markou; Davide Moro; Marco Squarcina (ICTCS, 2016)

Usable and Accessible Tourism Websites for Children: A Case Study of a Naturalistic Oasis. - Antonina Dattolo; Chiara De March; Flaminia L. Luccio (GOODTECHS, 2017)

Accessible and UsableWebsites and Mobile Applications for People with Autism Spectrum Disorders: a Comparative Study. - Antonina Dattolo; Flaminia L. Luccio (EAI Endorsed Trans. Ambient Syst., 2017)

Security Threats and Solutions for Two-Dimensional Barcodes: A Comparative Study. - Riccardo Focardi; Flaminia L. Luccio; Heider A. M. Wahsheh (Computer and Network Security Essentials, 2018)

Accessible Tourism for Users with Hearing Loss. - Flaminia L. Luccio; Lisa Beltrame (GOODTECHS, 2018)

Usable cryptographic QR codes. - Riccardo Focardi; Flaminia L. Luccio; Heider A. M. Wahsheh (ICIT, 2018)

Neural Cryptanalysis of Classical Ciphers. - Riccardo Focardi; Flaminia L. Luccio (ICTCS, 2018)

Designing Tourism Websites for Children: Guidelines and Experimental Results. - Antonina Dattolo; Flaminia L. Luccio; Chiara De March; Eleonora De Riu (EAI Endorsed Trans. Serious Games, 2018)

Design and implementation of an airport chatbot. - Matteo Carisi; Andrea Albarelli; Flaminia L. Luccio (GOODTECHS, 2019)

Evaluating Security, Privacy and Usability Features of QR Code Readers. - Heider A. M. Wahsheh; Flaminia L. Luccio (ICISSP, 2019)

Gathering of Robots in a Grid with Mobile Faults. - Shantanu Das 001; Nikos Giachoudis; Flaminia L. Luccio; Euripides Markou (SOFSEM, 2019)

Usable security for QR code. - Riccardo Focardi; Flaminia L. Luccio; Heider A. M. Wahsheh (J. Inf. Secur. Appl., 2019)

Gathering of robots in a ring with mobile faults. - Shantanu Das 001; Riccardo Focardi; Flaminia L. Luccio; Euripides Markou; Marco Squarcina (Theor. Comput. Sci., 2019)

Automated Analysis of PUF-based Protocols. - Riccardo Focardi; Flaminia L. Luccio (CSF, 2020)

Learning Sign Language from a Sanbot Robot. - Flaminia L. Luccio; Diego Gaspari (GOODTECHS, 2020)

Broadcasting with Mobile Agents in Dynamic Networks. - Shantanu Das 001; Nikos Giachoudis; Flaminia L. Luccio; Euripides Markou (OPODIS, 2020)

Security and Privacy of QR Code Applications: A Comprehensive Study, General Guidelines and Solutions. - Heider A. M. Wahsheh; Flaminia L. Luccio (Inf., 2020)

Secure Key Management Policies in Strand Spaces. - Riccardo Focardi; Flaminia L. Luccio (Protocols, Strands, and Logic, 2021)

A Formally Verified Configuration for Hardware Security Modules in the Cloud. - Riccardo Focardi; Flaminia L. Luccio (CCS, 2021)

Firmware Extraction from Real IoT Devices through Power Analysis of AES. - Francesco Benvenuto; Francesco Palmarini; Riccardo Focardi; Flaminia L. Luccio (ITASEC, 2021)

FWS: Analyzing, maintaining and transcompiling firewalls. - Chiara Bodei; Lorenzo Ceragioli; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Flaminia L. Luccio; Mauro Tempesta; Lorenzo Veronese (J. Comput. Secur., 2021)

The Revenge of Password Crackers: Automated Training of Password Cracking Tools. - Alessia Michela Di Campi; Riccardo Focardi; Flaminia L. Luccio (ESORICS (2), 2022)

A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs. - Leonardo Veronese; Francesco Palmarini; Riccardo Focardi; Flaminia L. Luccio (ICISSP, 2022)

Accessible Applications to Improve the Tourist Experience. - Irene De Paoli; Alessia Michela Di Campi; Flaminia L. Luccio (CHIRA (2), 2023)

A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study. - Francesco Palmarini; Leonardo Veronese; Matteo Busi 001; Riccardo Focardi; Flaminia L. Luccio (CSR, 2023)

Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs. - Leonardo Veronese; Francesco Palmarini; Riccardo Focardi; Flaminia L. Luccio (SN Comput. Sci., 2023)

Bridging the Gap: Automated Analysis of Sancus. - Matteo Busi 001; Riccardo Focardi; Flaminia L. Luccio (CSF, 2024)

2in1: A Bimodal Behavioral Biometric-based User Authentication Scheme for Smartphones. - Attaullah Buriro; Flaminia L. Luccio (ITASEC, 2024)

Understanding how users choose passwords: analysis and best practices. - Alessia Michela Di Campi; Flaminia L. Luccio (ITASEC, 2024)

Wearable Wisdom: A Bi-Modal Behavioral Biometric Scheme for Smartwatch User Authentication. - Attaullah Buriro; Zahid Akhtar; Francesco Ricci 001; Flaminia L. Luccio (IEEE Access, 2024)

Mobile Biometrics: Innovations, Challenges, and Emerging Trends. - Attaullah Buriro; Flaminia L. Luccio (AINA (8), 2025)

EUAS-GAN: Enhancing User Authentication on Smartphones Through GAN-Based Swiping Data Augmentation. - Attaullah Buriro; Flaminia L. Luccio; Riccardo Focardi (AINA (3), 2025)

Z-MDZS: Zero-day Malware Detection using Zero-Shot Machine Learning Schemes. - Attaullah Buriro; Flaminia L. Luccio; Gabriele Costa 001; Riccardo Focardi (CCNC, 2025)

Automated Analysis of Key Management Policies. - Matteo Busi 001; Riccardo Focardi; Sana Gul; Flaminia L. Luccio (ITASEC/SERICS, 2025)

Strands Rocq: Why is a Security Protocol Correct, Mechanically? - Matteo Busi 001; Riccardo Focardi; Flaminia L. Luccio (CoRR, 2025)