Flaminia L. Luccio

According to our database, Flaminia L. Luccio authored at least 76 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., July, 2023

A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study.

Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

Accessible Applications to Improve the Tourist Experience.

Irene De Paoli, Alessia Michela Di Campi, Flaminia L. Luccio

Proceedings of the Computer-Human Interaction Research and Applications, 2023

2022

A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs.

Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

The Revenge of Password Crackers: Automated Training of Password Cracking Tools.

Alessia Michela Di Campi, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the Computer Security - ESORICS 2022, 2022

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

Firmware Extraction from Real IoT Devices through Power Analysis of AES.

Francesco Benvenuto, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the Italian Conference on Cybersecurity, 2021

A Formally Verified Configuration for Hardware Security Modules in the Cloud.

Riccardo Focardi, Flaminia L. Luccio

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Secure Key Management Policies in Strand Spaces.

Riccardo Focardi, Flaminia L. Luccio

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Security and Privacy of QR Code Applications: A Comprehensive Study, General Guidelines and Solutions.

Heider A. M. Wahsheh, Flaminia L. Luccio

Inf., 2020

Broadcasting with Mobile Agents in Dynamic Networks.

Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

Learning Sign Language from a Sanbot Robot.

Flaminia L. Luccio, Diego Gaspari

Proceedings of the GoodTechs '20: 6th EAI International Conference on Smart Objects and Technologies for Social Good, 2020

Automated Analysis of PUF-based Protocols.

Riccardo Focardi, Flaminia L. Luccio

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Gathering of robots in a ring with mobile faults.

Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Marco Squarcina

Theor. Comput. Sci., 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 Grid with Mobile Faults.

Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

Evaluating Security, Privacy and Usability Features of QR Code Readers.

Heider A. M. Wahsheh, Flaminia L. Luccio

Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

Design and implementation of an airport chatbot.

Matteo Carisi, Andrea Albarelli, Flaminia L. Luccio

Proceedings of the 5th EAI International Conference on Smart Objects and Technologies for Social Good, 2019

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

Neural Cryptanalysis of Classical Ciphers.

Riccardo Focardi, Flaminia L. Luccio

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Usable cryptographic QR codes.

Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh

Proceedings of the IEEE International Conference on Industrial Technology, 2018

Accessible Tourism for Users with Hearing Loss.

Flaminia L. Luccio, Lisa Beltrame

Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

Security Threats and Solutions for Two-Dimensional Barcodes: A Comparative Study.

Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh

Proceedings of the Computer and Network Security Essentials., 2018

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

Usable and Accessible Tourism Websites for Children: A Case Study of a Naturalistic Oasis.

Antonina Dattolo, Chiara De March, Flaminia L. Luccio

Proceedings of the Smart Objects and Technologies for Social Good, 2017

2016

Gathering of Robots in a Ring with Mobile Faults.

Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Davide Moro, Marco Squarcina

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

A Review of Websites and Mobile Applications for People with Autism Spectrum Disorders: Towards Shared Guidelines.

Antonina Dattolo, Flaminia L. Luccio

Proceedings of the Smart Objects and Technologies for Social Good, 2016

Localizing Firewall Security Policies.

Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors.

Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Brett Smith

Proceedings of the Algorithms for Sensor Systems, 2015

Mobile Agents Rendezvous in Spite of a Malicious Agent.

Shantanu Das, Flaminia L. Luccio, Euripides Markou

Proceedings of the Algorithms for Sensor Systems, 2015

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.

Flaminia L. Luccio, Euripides Markou

CoRR, 2014

Mignis: A Semantic Based Tool for Firewall Configuration.

Pedro Adão, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Type-based analysis of key management in PKCS#11 cryptographic devices.

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio

J. Comput. Secur., 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 Generic Key Management APIs.

Pedro Adão, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

Guessing Bank PINs by Winning a Mastermind Game.

Riccardo Focardi, Flaminia L. Luccio

Theory Comput. Syst., 2012

Type-Based Analysis of PKCS#11 Key Management.

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the Principles of Security and Trust - First International Conference, 2012

2011

Secure Recharge of Disposable RFID Tickets.

Riccardo Focardi, Flaminia L. Luccio

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

An Introduction to Security API Analysis.

Riccardo Focardi, Flaminia L. Luccio, Graham Steel

Proceedings of the Foundations of Security Analysis and Design VI, 2011

2010

Secure Upgrade of Hardware Security Modules in Bank Networks.

Riccardo Focardi, Flaminia L. Luccio

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Cracking Bank PINs by Playing Mastermind.

Riccardo Focardi, Flaminia L. Luccio

Proceedings of the Fun with Algorithms, 5th International Conference, 2010

2009

Contiguous Search Problem in Sierpinski Graphs.

Flaminia L. Luccio

Theory Comput. Syst., 2009

Blunting Differential Attacks on PIN Processing APIs.

Riccardo Focardi, Flaminia L. Luccio, Graham Steel

Proceedings of the Identity and Privacy in the Internet Age, 2009

Type-Based Analysis of PIN Processing APIs.

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel

Proceedings of the Computer Security, 2009

2008

Decontamination of hypercubes by mobile agents.

Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio

Networks, 2008

A New Concept Map Model for E-Learning Environments.

Antonina Dattolo, Flaminia L. Luccio

Proceedings of the Web Information Systems and Technologies, 4th International Conference, 2008

Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments.

Antonina Dattolo, Flaminia L. Luccio

Proceedings of the WEBIST 2008, 2008

2007

Feedback vertex sets in mesh-based networks.

Flaminia L. Luccio, Jop F. Sibeyn

Theor. Comput. Sci., 2007

Decontaminating Chordal Rings and Tori Using Mobile Agents.

Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio

Int. J. Found. Comput. Sci., 2007

Intruder Capture in Sierpinski Graphs.

Flaminia L. Luccio

Proceedings of the Fun with Algorithms, 4th International Conference, 2007

2006

Decontamination of chordal rings and tori.

Paola Flocchini, Miao Jim Huang, Flaminia L. Luccio

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Contiguous Search in the Hypercube for Capturing an Intruder.

Paola Flocchini, Miao Jun Huang, Flaminia L. Luccio

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Size Optimal Strategies for Capturing an Intruder in Mesh Networks.

Paola Flocchini, Flaminia L. Luccio, Lisa Xiuli Song

Proceedings of the 2005 International Conference on Communications in Computing, 2005

2004

Fault-tolerant support for reliable multicast in Mobile Wireless Systems: Design and Evaluation.

Giuseppe Anastasi, Alberto Bartoli, Flaminia L. Luccio

Wirel. Networks, 2004

Compact Routing Schemes for Dynamic Ring Networks.

Danny Krizanc, Flaminia L. Luccio, Rajeev Raman

Theory Comput. Syst., 2004

Sorting and election in anonymous asynchronous rings.

Paola Flocchini, Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Nicola Santoro

J. Parallel Distributed Comput., 2004

A modular approach to Sprouts.

Riccardo Focardi, Flaminia L. Luccio

Discret. Appl. Math., 2004

Nesting analysis of mobile ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza

Comput. Lang. Syst. Struct., 2004

Tighter Bounds on Feedback Vertex Sets in Mesh-Based Networks.

Flaminia L. Luccio, Jop F. Sibeyn

Proceedings of the Structural Information and Communication Complexity, 2004

Mobile Agents Rendezvous When Tokens Fail.

Paola Flocchini, Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, Nicola Santoro, Cindy Sawchuk

Proceedings of the Structural Information and Communication Complexity, 2004

2003

Routing in Series Parallel Networks.

Paola Flocchini, Flaminia L. Luccio

Theory Comput. Syst., 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

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Complexity of Nesting Analysis in Mobile Ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza

Proceedings of the Verification, 2003

BANANA - A Tool for Boundary Ambients Nesting ANAlysis.

Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Minimum Feedback Vertex Set in Pyramid and Mesh of Trees Networks.

Flaminia L. Luccio

Proceedings of the SIROCCO 10: Proceedings of the 10th Internaltional Colloquium on Structural Information Complexity, 2003

2002

Fault-Tolerant Support for Reliable Multicast in Mobile Wireless Systems.

Giuseppe Anastasi, Alberto Bartoli, Flaminia L. Luccio

Proceedings of the NETWORKING 2002, 2002

2001

On Recognizing a String on an Anonymous Ring.

Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio

Theory Comput. Syst., 2001

2000

Feedback vertex set in hypercubes.

Riccardo Focardi, Flaminia L. Luccio, David Peleg

Inf. Process. Lett., 2000

Sorting Multisets in Anonymous Rings.

Paola Flocchini, Evangelos Kranakis, Nicola Santoro, Danny Krizanc, Flaminia L. Luccio

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

1999

Dynamic Interval Routing on Asynchronous Rings.

Danny Krizanc, Flaminia L. Luccio, Rajeev Raman

Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

1998

Almost Exact Minimum Feedback Vertex Set in Meshes and Butterflies.

Flaminia L. Luccio

Inf. Process. Lett., 1998

1996

Distance Routing on Series Parallel Networks.

Paola Flocchini, Flaminia L. Luccio

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

Boolean Routing on Chordal Rings.

Danny Krizanc, Flaminia L. Luccio

Proceedings of the Structure, Information and Communication Complexity, 1995

String Recognition on Anonymous Rings.

Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

1994

On the convergence of a parallel algorithm for finding polynomial zeros.

Flaminia L. Luccio

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994