Flaminia L. Luccio

93 papers A* 1A 12B 9C 4Misc 4Journal 31Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
On the Broadcast problem for mobile agents in dynamic networks.
Discret. Appl. Math.
Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
2025 J jnl
Accessible authentication methods for persons with diverse cognitive abilities.
Univers. Access Inf. Soc.
Alessia Michela Di Campi, Flaminia L. Luccio
2025 — conf
Automated Analysis of Key Management Policies.
ITASEC/SERICS
Matteo Busi, Riccardo Focardi, Sana Gul, Flaminia L. Luccio
2025 — conf
EUAS-GAN: Enhancing User Authentication on Smartphones Through GAN-Based Swiping Data Augmentation.
AINA (3)
Attaullah Buriro, Flaminia L. Luccio, Riccardo Focardi
2025 — conf
Mobile Biometrics: Innovations, Challenges, and Emerging Trends.
AINA (8)
Attaullah Buriro, Flaminia L. Luccio
2025 A conf
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
CSF
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2025 J jnl
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
CoRR
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2025 — conf
Z-MDZS: Zero-day Malware Detection using Zero-Shot Machine Learning Schemes.
CCNC
Attaullah Buriro, Flaminia L. Luccio, Gabriele Costa, Riccardo Focardi
2024 — conf
2in1: A Bimodal Behavioral Biometric-based User Authentication Scheme for Smartphones.
ITASEC
Attaullah Buriro, Flaminia L. Luccio
2024 A conf
Bridging the Gap: Automated Analysis of Sancus.
CSF
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2024 J jnl
Bridging the Gap: Automated Analysis of Sancus.
CoRR
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2024 — ed.
Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), Salerno, Italy, April 8-12, 2024.
ITASEC
Gianni D'Angelo, Flaminia L. Luccio, Francesco Palmieri
2024 — conf
Understanding how users choose passwords: analysis and best practices.
ITASEC
Alessia Michela Di Campi, Flaminia L. Luccio
2024 J jnl
Wearable Wisdom: A Bi-Modal Behavioral Biometric Scheme for Smartwatch User Authentication.
IEEE Access
Attaullah Buriro, Zahid Akhtar, Francesco Ricci, Flaminia L. Luccio
2023 Misc conf
A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study.
CSR
Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2023 — conf
Accessible Applications to Improve the Tourist Experience.
CHIRA (2)
Irene De Paoli, Alessia Michela Di Campi, Flaminia L. Luccio
2023 J jnl
Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs.
SN Comput. Sci.
Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
2022 C conf
A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs.
ICISSP
Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
2022 — conf
The Revenge of Password Crackers: Automated Training of Password Cracking Tools.
ESORICS (2)
Alessia Michela Di Campi, Riccardo Focardi, Flaminia L. Luccio
2021 A* conf
A Formally Verified Configuration for Hardware Security Modules in the Cloud.
CCS
Riccardo Focardi, Flaminia L. Luccio
2021 J jnl
A Formally Verified Configuration for Hardware Security Modules in the Cloud.
CoRR
Riccardo Focardi, Flaminia L. Luccio
2021 J jnl
FWS: Analyzing, maintaining and transcompiling firewalls.
J. Comput. Secur.
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
2021 — conf
Firmware Extraction from Real IoT Devices through Power Analysis of AES.
ITASEC
Francesco Benvenuto, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
2021 — conf
Secure Key Management Policies in Strand Spaces.
Protocols, Strands, and Logic
Riccardo Focardi, Flaminia L. Luccio
2020 A conf
Automated Analysis of PUF-based Protocols.
CSF
Riccardo Focardi, Flaminia L. Luccio
2020 B conf
Broadcasting with Mobile Agents in Dynamic Networks.
OPODIS
Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
2020 — conf
Learning Sign Language from a Sanbot Robot.
GOODTECHS
Flaminia L. Luccio, Diego Gaspari
2020 J jnl
Security and Privacy of QR Code Applications: A Comprehensive Study, General Guidelines and Solutions.
Inf.
Heider A. M. Wahsheh, Flaminia L. Luccio
2019 — conf
Design and implementation of an airport chatbot.
GOODTECHS
Matteo Carisi, Andrea Albarelli, Flaminia L. Luccio
2019 C conf
Evaluating Security, Privacy and Usability Features of QR Code Readers.
ICISSP
Heider A. M. Wahsheh, Flaminia L. Luccio
2019 B conf
Gathering of Robots in a Grid with Mobile Faults.
SOFSEM
Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
2019 J jnl
Gathering of robots in a ring with mobile faults.
Theor. Comput. Sci.
Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Marco Squarcina
2019 J jnl
Usable security for QR code.
J. Inf. Secur. Appl.
Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh
2018 — conf
Accessible Tourism for Users with Hearing Loss.
GOODTECHS
Flaminia L. Luccio, Lisa Beltrame
2018 J jnl
Designing Tourism Websites for Children: Guidelines and Experimental Results.
EAI Endorsed Trans. Serious Games
Antonina Dattolo, Flaminia L. Luccio, Chiara De March, Eleonora De Riu
2018 — conf
Neural Cryptanalysis of Classical Ciphers.
ICTCS
Riccardo Focardi, Flaminia L. Luccio
2018 — ch.
Security Threats and Solutions for Two-Dimensional Barcodes: A Comparative Study.
Computer and Network Security Essentials
Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh
2018 — conf
Usable cryptographic QR codes.
ICIT
Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh
2017 J jnl
Accessible and UsableWebsites and Mobile Applications for People with Autism Spectrum Disorders: a Comparative Study.
EAI Endorsed Trans. Ambient Syst.
Antonina Dattolo, Flaminia L. Luccio
2017 — conf
Usable and Accessible Tourism Websites for Children: A Case Study of a Naturalistic Oasis.
GOODTECHS
Antonina Dattolo, Chiara De March, Flaminia L. Luccio
2016 — conf
A Review of Websites and Mobile Applications for People with Autism Spectrum Disorders: Towards Shared Guidelines.
GOODTECHS
Antonina Dattolo, Flaminia L. Luccio
2016 — conf
Gathering of Robots in a Ring with Mobile Faults.
ICTCS
Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Davide Moro, Marco Squarcina
2016 A conf
Localizing Firewall Security Policies.
CSF
Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio
2015 C conf
Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors.
ALGOSENSORS
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Brett Smith
2015 C conf
Mobile Agents Rendezvous in Spite of a Malicious Agent.
ALGOSENSORS
Shantanu Das, Flaminia L. Luccio, Euripides Markou
2014 J jnl
Editorial: Fun with Algorithms.
Theory Comput. Syst.
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio
2014 A conf
Mignis: A Semantic Based Tool for Firewall Configuration.
CSF
Pedro Adão, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi, Flaminia L. Luccio
2014 J jnl
Mobile Agents Rendezvous in spite of a Malicious Agent.
CoRR
Flaminia L. Luccio, Euripides Markou
2013 J jnl
Type-Based Analysis of Generic Key Management APIs (Long Version).
IACR Cryptol. ePrint Arch.
Pedro Adão, Riccardo Focardi, Flaminia L. Luccio
2013 A conf
Type-Based Analysis of Generic Key Management APIs.
CSF
Pedro Adão, Riccardo Focardi, Flaminia L. Luccio
2013 J jnl
Type-based analysis of key management in PKCS#11 cryptographic devices.
J. Comput. Secur.
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
2012 Misc ed.
Fun with Algorithms - 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
FUN
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio
2012 J jnl
Guessing Bank PINs by Winning a Mastermind Game.
Theory Comput. Syst.
Riccardo Focardi, Flaminia L. Luccio
2012 — ed.
Security and Privacy in Mobile Information and Communication Systems - Third International ICST Conference, MobiSec 2011, Aalborg, Denmark, May 17-19, 2011, Revised Selected Papers
MobiSec
Ramjee Prasad, Károly Farkas, Andreas U. Schmidt, Antonio Lioy, Giovanni Russello, Flaminia L. Luccio
2012 — conf
Type-Based Analysis of PKCS#11 Key Management.
POST
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
2011 — conf
An Introduction to Security API Analysis.
FOSAD
Riccardo Focardi, Flaminia L. Luccio, Graham Steel
2011 — conf
Secure Recharge of Disposable RFID Tickets.
Formal Aspects in Security and Trust
Riccardo Focardi, Flaminia L. Luccio
2010 Misc conf
Cracking Bank PINs by Playing Mastermind.
FUN
Riccardo Focardi, Flaminia L. Luccio
2010 — conf
Secure Upgrade of Hardware Security Modules in Bank Networks.
ARSPA-WITS
Riccardo Focardi, Flaminia L. Luccio
2009 — conf
Blunting Differential Attacks on PIN Processing APIs.
NordSec
Riccardo Focardi, Flaminia L. Luccio, Graham Steel
2009 J jnl
Contiguous Search Problem in Sierpinski Graphs.
Theory Comput. Syst.
Flaminia L. Luccio
2009 A conf
Type-Based Analysis of PIN Processing APIs.
ESORICS
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel
2008 — conf
A New Concept Map Model for E-Learning Environments.
WEBIST (Selected Papers)
Antonina Dattolo, Flaminia L. Luccio
2008 J jnl
Decontamination of hypercubes by mobile agents.
Networks
Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio
2008 — conf
Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments.
WEBIST (1)
Antonina Dattolo, Flaminia L. Luccio
2007 J jnl
Decontaminating Chordal Rings and Tori Using Mobile Agents.
Int. J. Found. Comput. Sci.
Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio
2007 J jnl
Feedback vertex sets in mesh-based networks.
Theor. Comput. Sci.
Flaminia L. Luccio, Jop F. Sibeyn
2007 Misc conf
Intruder Capture in Sierpinski Graphs.
FUN
Flaminia L. Luccio
2006 A conf
Decontamination of chordal rings and tori.
IPDPS
Paola Flocchini, Miao Jim Huang, Flaminia L. Luccio
2005 A conf
Contiguous Search in the Hypercube for Capturing an Intruder.
IPDPS
Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio
2005 — conf
Size Optimal Strategies for Capturing an Intruder in Mesh Networks.
Communications in Computing
Paola Flocchini, Flaminia L. Luccio, Lisa Xiuli Song
2004 J jnl
A modular approach to Sprouts.
Discret. Appl. Math.
Riccardo Focardi, Flaminia L. Luccio
2004 J jnl
Compact Routing Schemes for Dynamic Ring Networks.
Theory Comput. Syst.
Danny Krizanc, Flaminia L. Luccio, Rajeev Raman
2004 J jnl
Fault-tolerant support for reliable multicast in Mobile Wireless Systems: Design and Evaluation.
Wirel. Networks
Giuseppe Anastasi, Alberto Bartoli, Flaminia L. Luccio
2004 B conf
Mobile Agents Rendezvous When Tokens Fail.
SIROCCO
Paola Flocchini, Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Nicola Santoro, Cindy Sawchuk
2004 J jnl
Nesting analysis of mobile ambients.
Comput. Lang. Syst. Struct.
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2004 J jnl
Sorting and election in anonymous asynchronous rings.
J. Parallel Distributed Comput.
Paola Flocchini, Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Nicola Santoro
2004 B conf
Tighter Bounds on Feedback Vertex Sets in Mesh-Based Networks.
SIROCCO
Flaminia L. Luccio, Jop F. Sibeyn
2003 A conf
BANANA - A Tool for Boundary Ambients Nesting ANAlysis.
TACAS
Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003 — conf
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.
MEFISTO
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003 B conf
Complexity of Nesting Analysis in Mobile Ambients.
VMCAI
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003 B conf
Minimum Feedback Vertex Set in Pyramid and Mesh of Trees Networks.
SIROCCO
Flaminia L. Luccio
2003 J jnl
Routing in Series Parallel Networks.
Theory Comput. Syst.
Paola Flocchini, Flaminia L. Luccio
2002 B conf
Fault-Tolerant Support for Reliable Multicast in Mobile Wireless Systems.
NETWORKING
Giuseppe Anastasi, Alberto Bartoli, Flaminia L. Luccio
2001 J jnl
On Recognizing a String on an Anonymous Ring.
Theory Comput. Syst.
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio
2000 J jnl
Feedback vertex set in hypercubes.
Inf. Process. Lett.
Riccardo Focardi, Flaminia L. Luccio, David Peleg
2000 A conf
Sorting Multisets in Anonymous Rings.
IPDPS
Paola Flocchini, Evangelos Kranakis, Nicola Santoro, Danny Krizanc, Flaminia L. Luccio
1999 — conf
Dynamic Interval Routing on Asynchronous Rings.
IPPS/SPDP
Danny Krizanc, Flaminia L. Luccio, Rajeev Raman
1998 J jnl
Almost Exact Minimum Feedback Vertex Set in Meshes and Butterflies.
Inf. Process. Lett.
Flaminia L. Luccio
1996 A conf
Distance Routing on Series Parallel Networks.
ICDCS
Paola Flocchini, Flaminia L. Luccio
1995 B conf
Boolean Routing on Chordal Rings.
SIROCCO
Danny Krizanc, Flaminia L. Luccio
1995 B conf
String Recognition on Anonymous Rings.
MFCS
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio
1994 — conf
On the convergence of a parallel algorithm for finding polynomial zeros.
SPDP
Flaminia L. Luccio