Flaminia L. Luccio

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 31

Top Topics

Mobile Applications

User Authentication

Automated Analysis

Top Venues

Publications

Attaullah Buriro, Flaminia L. Luccio
2in1: A Bimodal Behavioral Biometric-based User Authentication Scheme for Smartphones. ITASEC (2024)
Alessia Michela Di Campi, Flaminia L. Luccio
Understanding how users choose passwords: analysis and best practices. ITASEC (2024)
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
Bridging the Gap: Automated Analysis of Sancus. CoRR (2024)
Irene De Paoli, Alessia Michela Di Campi, Flaminia L. Luccio
Accessible Applications to Improve the Tourist Experience. CHIRA (2) (2023)
Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs. SN Comput. Sci. 4 (4) (2023)
Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study. CSR (2023)
Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs. ICISSP (2022)
Alessia Michela Di Campi, Riccardo Focardi, Flaminia L. Luccio
The Revenge of Password Crackers: Automated Training of Password Cracking Tools. ESORICS (2) (2022)
Riccardo Focardi, Flaminia L. Luccio
A Formally Verified Configuration for Hardware Security Modules in the Cloud. CoRR (2021)
Francesco Benvenuto, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
Firmware Extraction from Real IoT Devices through Power Analysis of AES. ITASEC (2021)
Riccardo Focardi, Flaminia L. Luccio
A Formally Verified Configuration for Hardware Security Modules in the Cloud. CCS (2021)
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
FWS: Analyzing, maintaining and transcompiling firewalls. J. Comput. Secur. 29 (1) (2021)
Riccardo Focardi, Flaminia L. Luccio
Secure Key Management Policies in Strand Spaces. Protocols, Strands, and Logic (2021)
Heider A. M. Wahsheh, Flaminia L. Luccio
Security and Privacy of QR Code Applications: A Comprehensive Study, General Guidelines and Solutions. Inf. 11 (4) (2020)
Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
Broadcasting with Mobile Agents in Dynamic Networks. OPODIS (2020)
Flaminia L. Luccio, Diego Gaspari
Learning Sign Language from a Sanbot Robot. GOODTECHS (2020)
Riccardo Focardi, Flaminia L. Luccio
Automated Analysis of PUF-based Protocols. CSF (2020)
Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
Gathering of Robots in a Grid with Mobile Faults. SOFSEM (2019)
Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Marco Squarcina
Gathering of robots in a ring with mobile faults. Theor. Comput. Sci. 764 (2019)
Matteo Carisi, Andrea Albarelli, Flaminia L. Luccio
Design and implementation of an airport chatbot. GOODTECHS (2019)
Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh
Usable security for QR code. J. Inf. Secur. Appl. 48 (2019)
Heider A. M. Wahsheh, Flaminia L. Luccio
Evaluating Security, Privacy and Usability Features of QR Code Readers. ICISSP (2019)
Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh
Usable cryptographic QR codes. ICIT (2018)
Antonina Dattolo, Flaminia L. Luccio, Chiara De March, Eleonora De Riu
Designing Tourism Websites for Children: Guidelines and Experimental Results. EAI Endorsed Trans. Serious Games 5 (16) (2018)
Riccardo Focardi, Flaminia L. Luccio
Neural Cryptanalysis of Classical Ciphers. ICTCS (2018)
Flaminia L. Luccio, Lisa Beltrame
Accessible Tourism for Users with Hearing Loss. GOODTECHS (2018)
Antonina Dattolo, Chiara De March, Flaminia L. Luccio
Usable and Accessible Tourism Websites for Children: A Case Study of a Naturalistic Oasis. GOODTECHS (2017)
Antonina Dattolo, Flaminia L. Luccio
Accessible and UsableWebsites and Mobile Applications for People with Autism Spectrum Disorders: a Comparative Study. EAI Endorsed Trans. Ambient Syst. 4 (13) (2017)
Antonina Dattolo, Flaminia L. Luccio
A Review of Websites and Mobile Applications for People with Autism Spectrum Disorders: Towards Shared Guidelines. GOODTECHS (2016)
Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio
Localizing Firewall Security Policies. CSF (2016)
Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Davide Moro, Marco Squarcina
Gathering of Robots in a Ring with Mobile Faults. ICTCS (2016)
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Brett Smith
Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors. ALGOSENSORS (2015)
Shantanu Das, Flaminia L. Luccio, Euripides Markou
Mobile Agents Rendezvous in Spite of a Malicious Agent. ALGOSENSORS (2015)
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio
Editorial: Fun with Algorithms. Theory Comput. Syst. 54 (4) (2014)
Pedro Adão, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi, Flaminia L. Luccio
Mignis: A Semantic Based Tool for Firewall Configuration. CSF (2014)
Flaminia L. Luccio, Euripides Markou
Mobile Agents Rendezvous in spite of a Malicious Agent. CoRR (2014)
Pedro Adão, Riccardo Focardi, Flaminia L. Luccio
Type-Based Analysis of Generic Key Management APIs. CSF (2013)
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
Type-based analysis of key management in PKCS#11 cryptographic devices. J. Comput. Secur. 21 (6) (2013)
Pedro Adão, Riccardo Focardi, Flaminia L. Luccio
Type-Based Analysis of Generic Key Management APIs (Long Version). IACR Cryptol. ePrint Arch. 2013 (2013)
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
Type-Based Analysis of PKCS#11 Key Management. POST (2012)
Riccardo Focardi, Flaminia L. Luccio
Guessing Bank PINs by Winning a Mastermind Game. Theory Comput. Syst. 50 (1) (2012)
Riccardo Focardi, Flaminia L. Luccio
Secure Recharge of Disposable RFID Tickets. Formal Aspects in Security and Trust (2011)
Riccardo Focardi, Flaminia L. Luccio, Graham Steel
An Introduction to Security API Analysis. FOSAD (2011)
Riccardo Focardi, Flaminia L. Luccio
Secure Upgrade of Hardware Security Modules in Bank Networks. ARSPA-WITS (2010)
Riccardo Focardi, Flaminia L. Luccio
Cracking Bank PINs by Playing Mastermind. FUN (2010)
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel
Type-Based Analysis of PIN Processing APIs. ESORICS (2009)
Flaminia L. Luccio
Contiguous Search Problem in Sierpinski Graphs. Theory Comput. Syst. 44 (2) (2009)
Riccardo Focardi, Flaminia L. Luccio, Graham Steel
Blunting Differential Attacks on PIN Processing APIs. NordSec (2009)
Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio
Decontamination of hypercubes by mobile agents. Networks 52 (3) (2008)
Antonina Dattolo, Flaminia L. Luccio
Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments. WEBIST (1) (2008)
Antonina Dattolo, Flaminia L. Luccio
A New Concept Map Model for E-Learning Environments. WEBIST (Selected Papers) (2008)
Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio
Decontaminating Chordal Rings and Tori Using Mobile Agents. Int. J. Found. Comput. Sci. 18 (3) (2007)
Flaminia L. Luccio, Jop F. Sibeyn
Feedback vertex sets in mesh-based networks. Theor. Comput. Sci. 383 (1) (2007)
Flaminia L. Luccio
Intruder Capture in Sierpinski Graphs. FUN (2007)
Paola Flocchini, Miao Jim Huang, Flaminia L. Luccio
Decontamination of chordal rings and tori. IPDPS (2006)
Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio
Contiguous Search in the Hypercube for Capturing an Intruder. IPDPS (2005)
Paola Flocchini, Flaminia L. Luccio, Lisa Xiuli Song
Size Optimal Strategies for Capturing an Intruder in Mesh Networks. Communications in Computing (2005)
Danny Krizanc, Flaminia L. Luccio, Rajeev Raman
Compact Routing Schemes for Dynamic Ring Networks. Theory Comput. Syst. 37 (5) (2004)
Riccardo Focardi, Flaminia L. Luccio
A modular approach to Sprouts. Discret. Appl. Math. 144 (3) (2004)
Giuseppe Anastasi, Alberto Bartoli, Flaminia L. Luccio
Fault-tolerant support for reliable multicast in Mobile Wireless Systems: Design and Evaluation. Wirel. Networks 10 (3) (2004)
Paola Flocchini, Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Nicola Santoro
Sorting and election in anonymous asynchronous rings. J. Parallel Distributed Comput. 64 (2) (2004)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Nesting analysis of mobile ambients. Comput. Lang. Syst. Struct. 30 (3-4) (2004)
Flaminia L. Luccio, Jop F. Sibeyn
Tighter Bounds on Feedback Vertex Sets in Mesh-Based Networks. SIROCCO (2004)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electron. Notes Theor. Comput. Sci. 99 (2004)
Paola Flocchini, Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Nicola Santoro, Cindy Sawchuk
Mobile Agents Rendezvous When Tokens Fail. SIROCCO (2004)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Complexity of Nesting Analysis in Mobile Ambients. VMCAI (2003)
Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS (2003)
Flaminia L. Luccio
Minimum Feedback Vertex Set in Pyramid and Mesh of Trees Networks. SIROCCO (2003)
Paola Flocchini, Flaminia L. Luccio
Routing in Series Parallel Networks. Theory Comput. Syst. 36 (2) (2003)
Giuseppe Anastasi, Alberto Bartoli, Flaminia L. Luccio
Fault-Tolerant Support for Reliable Multicast in Mobile Wireless Systems. NETWORKING (2002)
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio
On Recognizing a String on an Anonymous Ring. Theory Comput. Syst. 34 (1) (2001)
Riccardo Focardi, Flaminia L. Luccio, David Peleg
Feedback vertex set in hypercubes. Inf. Process. Lett. 76 (1-2) (2000)
Paola Flocchini, Evangelos Kranakis, Nicola Santoro, Danny Krizanc, Flaminia L. Luccio
Sorting Multisets in Anonymous Rings. IPDPS (2000)
Danny Krizanc, Flaminia L. Luccio, Rajeev Raman
Dynamic Interval Routing on Asynchronous Rings. IPPS/SPDP (1999)
Flaminia L. Luccio
Almost Exact Minimum Feedback Vertex Set in Meshes and Butterflies. Inf. Process. Lett. 66 (2) (1998)
Paola Flocchini, Flaminia L. Luccio
Distance Routing on Series Parallel Networks. ICDCS (1996)
Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio
String Recognition on Anonymous Rings. MFCS (1995)
Danny Krizanc, Flaminia L. Luccio
Boolean Routing on Chordal Rings. SIROCCO (1995)
Flaminia L. Luccio
On the convergence of a parallel algorithm for finding polynomial zeros. SPDP (1994)