Flaminia LUCCIO

Qualifica
Professoressa Associata
Telefono
041 234 8448
E-mail
luccio@unive.it
SSD
INFORMATICA [INF/01]
Sito web
www.unive.it/persone/luccio (scheda personale)
 http://www.dsi.unive.it/~luccio/
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B11 (edificio Zeta B)
Struttura
Centro temporaneo Progetto Ecosistema dell'Innovazione

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
In corso di stampa Articolo in Atti di convegno M. Busi, R. Focardi, F. Luccio Bridging the Gap: Automated Analysis of Sancus , 37th IEEE Computer Security Foundations Symposium, IEEE, Convegno: 37th IEEE Computer Security Foundations Symposium, July 8-12, 2024
- Scheda ARCA: 10278/5044629
2023 Articolo su rivista Veronese L.; Palmarini F.; Focardi R.; Luccio F.L. Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs in SN COMPUTER SCIENCE, vol. 4 (ISSN 2661-8907)
DOI - Scheda ARCA: 10278/5021267
2023 Articolo in Atti di convegno Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia Luccio A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study , 2023 IEEE International Conference on Cyber Security and Resilience, IEEE, pp. 99-104, Convegno: 2023 IEEE International Conference on Cyber Security and Resilience (IEEE CSR 23), July 31 - August 2, 2023
DOI - Scheda ARCA: 10278/5021702
2023 Articolo in Atti di convegno Irene De Paoli, Alessia Michela Di Campi, Flaminia L. Luccio Accessible Applications to Improve the Tourist Experience , 7th International Conference on Computer-Human Interaction Research and Applications (CHIRA). Communications in Computer and Information Science, Springer, Cham, vol. 1997, pp. 43-65, Convegno: 7th International Conference on Computer-Human Interaction Research and Applications (CHIRA) (ISBN 978-3-031-49367-6)
DOI - URL correlato - Scheda ARCA: 10278/5041720
2023 Abstract in Atti di convegno Matteo Busi, Riccardo Focardi, Flaminia Luccio Automated Learning and Verification of Embedded Security Architectures , Workshop on Principles of Secure Compilation, No editor, Convegno: Workshop on Principles of Secure Compilation (PRISC'23), colocated with the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)., Sun 15 - Sat 21 January 2023
- Scheda ARCA: 10278/5021701
2023 Abstract in Atti di convegno Busi Matteo; Focardi Riccardo; Luccio Flaminia Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces in Marco Patrignani, Ethan Cecchetti, Workshop on Foundations of Computer Security (FCS23), None, Convegno: Workshop on Foundations of Computer Security (FCS23), 9th July 2023
- Scheda ARCA: 10278/5024840
2022 Articolo in Atti di convegno Veronese Leonardo;Palmarini Francesco;Focardi Riccardo;Luccio Flaminia A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs , The International Conference on Information Systems Security and Privacy, SCITEPRESS, pp. 165-176, Convegno: Proceedings of the 8th International Conference on Information Systems Security and Privacy (ICISSP 2022), 9-11 February 2022 (ISBN 978-989-758-553-1)
DOI - URL correlato - Scheda ARCA: 10278/3751162
2022 Articolo in Atti di convegno Alessia Michela Di Campi, Riccardo Focardi, Flaminia Luccio The Revenge of Password Crackers: Automated Training of Password Cracking Tools in Vijayalakshmi Atluri, Roberto Di Pietro, Christian D. Jensen, Weizhi Meng, Computer Security, ESORICS 2022, Springer, Cham, vol. 13554, 13555, 13556, pp. 317-336, Convegno: 27th European Symposium on Research in Computer Security, ESORICS 2022, September 26–30, 2022 (ISBN 978-3-031-17145-1)
DOI - URL correlato - Scheda ARCA: 10278/5004097
2021 Articolo su rivista Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo FWS: Analyzing, maintaining and transcompiling firewalls in JOURNAL OF COMPUTER SECURITY, vol. 29, pp. 77-134 (ISSN 0926-227X)
DOI - Scheda ARCA: 10278/3735647
2021 Articolo in Atti di convegno Riccardo Focardi; Flaminia Luccio A formally verified configuration for Hardware Security Modules in the cloud in Giovanni Vigna, Elaine Shi, Proceedings of the ACM Conference on Computer and Communications Security (ACM CCS), ACM, pp. 412-428, Convegno: Proceedings of the ACM Conference on Computer and Communications Security (CCS), November 15-19, 2021 (ISBN 978-1-4503-8454-4)
DOI - Scheda ARCA: 10278/3744159
2021 Articolo in Atti di convegno Shantanu Das; Nikos Giachoudis; Flaminia L. Luccio; Euripides Markou Broadcasting with Mobile Agents in Dynamic Networks in Quentin Bramas and Rotem Oshman and Paolo Romano, 24th International Conference on Principles of Distributed Systems (OPODIS 2020), LIPICS, pp. 1-16, Convegno: 24th International Conference on Principles of Distributed Systems (OPODIS 2020), December 14-16, 2020 (ISBN 978-3-95977-176-4)
DOI - Scheda ARCA: 10278/3735648
2021 Articolo in Atti di convegno Francesco Benvenuto, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio Firmware Extraction from Real IoT Devices through Power Analysis of AES , Proceedings of the Italian Conference on Cybersecurity (ITASEC 2021), CEUR, vol. 2940, pp. 461-474, Convegno: Italian Conference on Cybersecurity (ITASEC 2021), April 7-9, 2021
- URL correlato - Scheda ARCA: 10278/3742798
2021 Articolo in Atti di convegno Focardi, Riccardo; Luccio, Flaminia L. Secure Key Management Policies in Strand Spaces in Dougherty D., Meseguer J., Mödersheim S.A., Rowe P., Protocols, Strands, and Logic, Springer, Cham, vol. 13066, pp. 175-197, Convegno: Protocols, Strands, and Logic (ISBN 978-3-030-91630-5; 978-3-030-91631-2)
DOI - Scheda ARCA: 10278/3746587
2020 Articolo su rivista Wahsheh H.A.M.; Luccio F.L. Security and privacy of QR code applications: A comprehensive study, general guidelines and solutions in INFORMATION, vol. 11, pp. 217 (ISSN 2078-2489)
DOI - Scheda ARCA: 10278/3727910
2020 Articolo in Atti di convegno Riccardo Focardi; Flaminia Luccio Automated Analysis of PUF-based Protocols , IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), IEEE, pp. 304-317, Convegno: IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), June 22-25, 2020
DOI - Scheda ARCA: 10278/3727912
2020 Articolo in Atti di convegno Flaminia Luccio; Diego Gaspari Learning Sign Language from a Sanbot Robot , EAI GOODTECHS 2020 › Serious Games to Improve Quality of Life, ACM, pp. 138-143, Convegno: EAI GOODTECHS 2020 - 6th EAI International Conference on Smart Objects and Technologies for Social Good- Serious Games to Improve Quality of Life, September 14-16, 2020
DOI - Scheda ARCA: 10278/3728361
2019 Articolo su rivista Das, Shantanu; Focardi, Riccardo; Luccio, Flaminia L.*; Markou, Euripides; Squarcina, Marco Gathering of robots in a ring with mobile faults in THEORETICAL COMPUTER SCIENCE, vol. 764, pp. 42-60 (ISSN 0304-3975)
DOI - URL correlato - Scheda ARCA: 10278/3704730
2019 Articolo su rivista flaminia luccio Learning distributed algorithms by programming robots in JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY, vol. 15 (ISSN 1826-6223)
DOI - URL correlato - Scheda ARCA: 10278/3716117
2019 Articolo su rivista Focardi R.; Luccio F.L.; Wahsheh H.A.M. Usable security for QR code in JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 48 (ISSN 2214-2126)
DOI - Scheda ARCA: 10278/3717033
2019 Articolo in Atti di convegno Matteo Carisi, Andrea Albarelli, Flaminia Luccio Design and implementation of an airport chatbot , Proceedings of the 5th EAI International Conference on Smart Objects and Technologies for Social Good, ACM, pp. 49-54, Convegno: 5th EAI International Conference on Smart Objects and Technologies for Social Good, September 25-27, 2019
DOI - Scheda ARCA: 10278/3716115
2019 Articolo in Atti di convegno WAHSHEH Heider Ahmad Mutleq; Luccio Flaminia Evaluating Security, Privacy and Usability Features of QR Code Readers , Proceedings of the 5th International Conference on Information Systems Security and Privacy, SCITEPRESS, pp. 266-273, Convegno: The 5th International Conference on Information Systems Security and Privacy (ICISSP 2019), 23-25 February 2019 (ISBN 978-989-758-359-9)
DOI - Scheda ARCA: 10278/3709374
2019 Articolo in Atti di convegno Shantanu Das; Nikos Giachoudis; Flaminia L. Luccio; Euripides Markou Gathering of Robots in a Grid with Mobile Faults , International Conference on Current Trends in Theory and Practice of Informatics, Springer, Cham, vol. 11376, pp. 164-178, Convegno: Proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM19), January 27-30, 2019 (ISBN 978-3-030-10800-7)
DOI - Scheda ARCA: 10278/3707153
2018 Articolo su rivista Antonina Dattolo; Chiara De March; Eleonora De Riu; Flaminia Luccio Designing Tourism Websites for Children: Guidelines and Experimental Results in EAI ENDORSED TRANSACTIONS ON SERIOUS GAMES, vol. 18 (16), pp. 1-11 (ISSN 2034-8800)
DOI - Scheda ARCA: 10278/3704758
2018 Articolo in Atti di convegno Flaminia Luccio; Beltrame Lisa Accessible Tourism for Users with Hearing Loss , 4th EAI International Conference on Smart Objects and Technologies for Social Good, New York, NY, ACM, pp. 243-248, Convegno: 4th EAI International Conference on Smart Objects and Technologies for Social Good (Goodtechs 2018), 28-30 November 2018 (ISBN 978-1-4503-6581-9)
DOI - URL correlato - Scheda ARCA: 10278/3707148
2018 Articolo in Atti di convegno Riccardo Focardi ; Flaminia Luccio Neural-Cryptanalysis of Classical Ciphers , Proceedings of the 19th Italian Conference on Theoretical Computer Science (ICTCS 2018), CEUR, pp. 104-115, Convegno: 19th Italian Conference on Theoretical Computer Science (ICTCS 2018), 18-20 September 2018
- URL correlato - Scheda ARCA: 10278/3704724
2018 Articolo in Atti di convegno Focardi, Riccardo; Luccio, Flaminia; Wahsheh, Heider Usable Cryptographic QR Codes , Proceedings of the IEEE International Conference on Industrial Technology (ICIT - IEEE 2018), IEEE, pp. 1664-1669, Convegno: IEEE International Conference on Industrial Technology (IEEE - ICIT 2018), February 20-22, 2018 (ISBN 978-1-5090-5948-5)
DOI - Scheda ARCA: 10278/3696274
2018 Articolo in Atti di convegno Dattolo, Antonina; De March, Chiara; Luccio, Flaminia Usable and Accessible Tourism Websites for Children: a Case Study of a Naturalistic Oasis , Proceedings of the 3rd EAI International Conference on Smart Objects and Technologies for Social Good (GOODTECHS 2017), Springer, pp. 195-205, Convegno: 3rd EAI International Conference on Smart Objects and Technologies for Social Good (GOODTECHS 2017), 29-30 November 2017 (ISBN 978-331976110-7)
DOI - Scheda ARCA: 10278/3692553
2017 Articolo su rivista Dattolo, Antonina; Flaminia, L. Luccio Accessible and Usable Websites and Mobile Applications for People with Autism Spectrum Disorders: a Comparative Study in ICST TRANSACTIONS ON AMBIENT SYSTEMS, vol. 17 (ISSN 2032-927X)
DOI - URL correlato - Scheda ARCA: 10278/3687327
2017 Articolo su libro Focardi, Riccardo; Luccio, Flaminia; Wahsheh, Heider Security Threats and Solutions for Two-Dimensional Barcodes: A Comparative Study in Kevin Daimi, Computer and Network Security Essentials, Springer, pp. 207-219 (ISBN 978-3-319-58424-9)
DOI - Scheda ARCA: 10278/3687449
2017 Articolo in Atti di convegno Dattolo, Antonina; Luccio, Flaminia A review of Websites and Mobile Applications for People with Autism Spectrum Disorders: Towards Shared Guidelines in Ombretta Gaggi, Pietro Manzoni, Claudio Palazzi, Armir Bujari, Johann M. Marquez-Barja, Proceedings of the 2nd EAI International Conference on Smart Objects and Technologies for Social Good (GOODTECHS 2016), SPRINGER, vol. 195, pp. 264-273, Convegno: 2nd EAI International Conference on Smart Objects and Technologies for Social Good, November 30–December 1, 2016 (ISBN 978-3-319-61948-4) (ISSN 1867-8211)
DOI - Scheda ARCA: 10278/3682114
2016 Articolo su rivista Dattolo, Antonina; Luccio, Flaminia; Pirone, Elisa Web accessibility recommendations for the design of tourism websites for people with autism spectrum disorders in INTERNATIONAL JOURNAL ON ADVANCES IN LIFE SCIENCES, vol. 8, pp. 297-308 (ISSN 1942-2660)
- URL correlato - Scheda ARCA: 10278/3684094
2016 Articolo in Atti di convegno Shantanu Das; Riccardo Focardi; Flaminia Luccio; Euripides Markou; Davide Moro; Marco Squarcina Gathering of robots in a ring with mobile faults , ICTCS 2016, CEUR-WS, vol. 1720, pp. 122-135, Convegno: 17th Italian Conference on Theoretical Computer Science, ICTCS 2016, September 7-9 2016 (ISSN 1613-0073)
DOI - URL correlato - Scheda ARCA: 10278/3680255
2016 Articolo in Atti di convegno Adão, Pedro; Focardi, Riccardo; Guttman, Joshua D.; Luccio, Flaminia Localizing Firewall Security Policies , IEEE CSF, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 194-209, Convegno: IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2016 (ISBN 9781509026074) (ISSN 1940-1434)
DOI - Scheda ARCA: 10278/3680246
2016 Articolo in Atti di convegno Antonina Dattolo; Flaminia L.. Luccio; Elisa Pirone Webpage Accessibility and Usability for Autistic Users: a Case Study on a Tourism Website , ACHI 2016, IARIA, pp. 145-152, Convegno: Ninth International Conference on Advances in Computer-Human Interactions (ACHI 2016), April 24-28, 2016 (ISBN 978-1-61208-468-8)
- Scheda ARCA: 10278/3680202
2016 Abstract in Atti di convegno Pedro, Adao; Riccardo, Focardi; Joshua, Guttman; Flaminia, Luccio Localizing Security for Distributed Firewalls , 4th Workshop on Hot Issues in Security Principles and Trust, Pubblicazione informale, Convegno: 4th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2016), April, 2016
- Scheda ARCA: 10278/3671317
2015 Articolo in Atti di convegno Evangelos Kranakis; Danny Krizanc; Flaminia Luccio; Brett Smith Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors in Prosenjit Bose, Leszek Antoni Gąsieniec, Kay Römer, Roger Wattenhofer, Algosesors 2015, Springer Verlag, vol. 9536, pp. 27-40, Convegno: The 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (Algosensors 2015),, 17 -18 September 2015 (ISBN 9783319284712) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3662007
2015 Articolo in Atti di convegno Das, Shantanu; Luccio, Flaminia; Markou, Euripides Mobile Agents Rendezvous in spite of a Malicious Agent. in Prosenjit Bose, Leszek Antoni Gąsieniec, Kay Römer, Roger Wattenhofer, Algosensors 2015, Springer Verlag, vol. 9536, pp. 211-224, Convegno: The 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (Algosensors 2015), 17 -18 September 2015 (ISBN 978-3-319-28471-2) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3662008
2015 Articolo in Atti di convegno Dattolo, Antonina; Luccio, Flaminia Modelling Volo, an Augmentative and Alternative Communication application in Leslie Miller; Leora Culen, ACHI 2015, IARIA, pp. 14-19, Convegno: The Eighth International Conference on Advances in Computer-Human Interactions (ACHI 2015), February 22 - 27, 2015 (ISBN 978-1-61208-382-7)
- URL correlato - Scheda ARCA: 10278/3620304
2014 Articolo in Atti di convegno Pedro, Adão; Claudio, Bozzato; Gian-Luca, Dei Rossi; Focardi, Riccardo; Luccio, Flaminia Mignis: A semantic based tool for firewall configuration , IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), IEEE, pp. 351-365, Convegno: IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 19-22 July, 2014 (ISBN 9781479942909)
DOI - Scheda ARCA: 10278/43839
2014 Abstract in Atti di convegno Pedro Adão; Claudio Bozzato; Gian-Luca Dei Rossi; Riccardo Focardi; Flaminia Luccio A semantic based tool for firewall configuration , HotSpot 2014, no formal editor, Convegno: 2nd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2014), 5th April 2014
- Scheda ARCA: 10278/43846
2014 Curatela (a cura di) E. Kranakis; D. Krizanc; F.L. Luccio Editorial: Fun with Algorithms. Theory of Computing Systems, in THEORY OF COMPUTING SYSTEMS, 233 SPRING ST, NEW YORK, NY 10013 USA, Springer US, vol. 54, pp. 529-530 (ISSN 1432-4350)
DOI - Scheda ARCA: 10278/43837
2013 Articolo su rivista Matteo Centenaro; Riccardo Focardi; Flaminia L. Luccio Type-based Analysis of Key Management in PKCS#11 cryptographic devices in JOURNAL OF COMPUTER SECURITY, vol. 21, pp. 971-1007 (ISSN 0926-227X)
DOI - Scheda ARCA: 10278/35967
2013 Articolo in Atti di convegno Pedro Adão; Riccardo Focardi; Flaminia L. Luccio Type-Based Analysis of Generic Key Management APIs , IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), IEEE Computer Society, pp. 97-111, Convegno: IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), Giugno 26–28, 2013 (ISBN 9780769550312)
DOI - Scheda ARCA: 10278/37474
2013 Abstract in Atti di convegno F. Luccio PIN Cracking is a Guessing Game in Matyáš, Václav and Stehlík, Martin, Santa's Crypto Get-Together 2013, Bílovice nad Svitavou, Czech Republic, Trusted Network Solutions, Convegno: Santa's Crypto Get-Together 2013, 28-29 novembre 2013 (ISBN 9788090425750)
- Scheda ARCA: 10278/39254
2012 Articolo su rivista R. Focardi; Flaminia Luccio Guessing Bank PINs by Winning a Mastermind Game in THEORY OF COMPUTING SYSTEMS, vol. 50 (1), pp. 52-71 (ISSN 1432-4350)
DOI - Scheda ARCA: 10278/28347
2012 Articolo in Atti di convegno R. Focardi; F. Luccio; M. Squarcina Fast SQL Blind Injections in High Latency Networks. , IEEE-AESS Estel Conference - ESTEL 2012, IEEE COMPUTER SOCIETY, pp. 1-6, Convegno: Security and Privacy Special Track, IEEE-AESS Conference in Europe about Space and Satellite Communications (ESTEL'12), 2-5/10/2012 (ISBN 9781467346870)
DOI - Scheda ARCA: 10278/38619
2012 Articolo in Atti di convegno R. Focardi; F. Luccio Secure recharge of disposable RFID tickets , The 8th International Workshop on Formal Aspects of Security & Trust, Germany: Springer Verlag Germany, vol. 7140, pp. 85-99, Convegno: FAST 2011 (ISBN 9783642294198) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/28096
2012 Articolo in Atti di convegno M. Centenaro; R. Focardi; Flaminia Luccio Type-Based Analysis of PKCS#11 Key Management , Principles of Security and Trust, Springer Berlin Heidelberg, vol. 7215, pp. 349-368, Convegno: First International Conference, POST 2012, March 24 - April 1, 2012 (ISBN 9783642286407) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/36662
2012 Abstract in Atti di convegno R. Focardi; F. Luccio Towards a type-based analysis of real PKCS#11 devices , ASA 2012, non definito, Convegno: Proceedings of the 6th International Workshop on Analysis of Security APIs (ASA 2012), June 28 2012
- URL correlato - Scheda ARCA: 10278/38723
2012 Curatela (a cura di) E. Kranakis; D. Krizanc; F. Luccio Fun with Algorithms6th International Conference, FUN 2012, in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag (ISBN 9783642303463) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/27291
2012 Curatela (a cura di) R. Prasad; K. Farkas; A.U. Schmidt; A. Lioy; G. Russello; F. Luccio Security and Privacy in Mobile Information and Communication SystemsThird International ICST Conference, MobiSec 2011, Aalborg, Denmark, May 17-19, 2011, Revised Selected Papers in LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING, Springer Verlag, vol. 94 (ISBN 9783642302435) (ISSN 1867-8211)
DOI - Scheda ARCA: 10278/33788
2011 Articolo su libro Riccardo Focardi; Flaminia L. Luccio; Graham Steel An Introduction to Security API Analysis in Alessandro Aldini, Roberto Gorrieri, Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, Springer, vol. 6858, pp. 35-65 (ISBN 9783642230813) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/36856
2011 Articolo in Atti di convegno R. FOCARDI; F. LUCCIO Secure upgrade of hardware security modules in bank networks , ARSPA-WITS'10, Springer Verlag Germany, vol. 6186, pp. 95-110, Convegno: Proceedings of the 2010 joint conference on Automated reasoning for security protocol analysis and issues in the theory of security (ISBN 9783642160738) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/33037
2011 Abstract in Atti di convegno R. Focardi; F. Luccio Analysis and development of Security APIs for disposable RFID tickets , Proceedings of 5th International Workshop on Analysis of Security APIs, not specified, Convegno: 5th International Workshop on Analysis of Security APIs, April 8th, 2011
- URL correlato - Scheda ARCA: 10278/24681
2010 Articolo in Atti di convegno R. FOCARDI; F. LUCCIO Cracking Bank PINs by Playing Mastermind , Fun with algorithms, Springer Verlag Germany, vol. 6099, pp. 202-213, Convegno: 5th International Conference on FUN with Algorithms, FUN 2010 (ISBN 9783642131219) (ISSN 0302-9743)
- Scheda ARCA: 10278/3724
2009 Articolo su rivista F.L. LUCCIO Contiguous search problem in Sierpinski graphs in THEORY OF COMPUTING SYSTEMS, vol. 44, pp. 186-204 (ISSN 1432-4350)
DOI - Scheda ARCA: 10278/32640
2009 Articolo su libro A. DATTOLO; F.L. LUCCIO A Formal Model for Supporting the Adaptive Access to Virtual Museums in ZDZIS;AW S. HIPPE;JULIUSZ L. KULIKOWSKI, Human-Computer Systems Interaction Backgrounds and Applications, BERLIN / HEIDELBERG, Springer, vol. 60, pp. 481-492 (ISBN 9783642032011) (ISSN 1867-5662)
DOI - Scheda ARCA: 10278/34337
2009 Articolo su libro A. DATTOLO; F.L. LUCCIO A New Concept Map Model for E-learning Environments in JOS CORDEIRO; SLIMANE HAMMOUDI; JOAQUIM FILIPE, Web Information Systems and Technologies, BERLIN HEIDELBERG, Springer Verlag, vol. 18, pp. 406-419 (ISBN 9783642013430) (ISSN 1865-1348)
DOI - Scheda ARCA: 10278/36376
2009 Articolo in Atti di convegno A. DATTOLO; F.L. LUCCIO A State of Art Survey on ZigZag Structures in F. Vitali, A. Di Iorio, J. Blustein, Workshop on New Forms of Xanalogical Storage and Function, CEUR, vol. 508, pp. 1-6, Convegno: Workshop on New Forms of Xanalogical Storage and Function, June 29th (ISSN 1613-0073)
- Scheda ARCA: 10278/33325
2009 Articolo in Atti di convegno DATTOLO, Antonina; LUCCIO, Flaminia A formal description of ZigZag-structures in F. Vitali, A. Di Iorio, J. Blustein eds., Workshop on New Forms of Xanalogical Storage and Function, CEUR, vol. 508, pp. 7-11, Convegno: Workshop on New Forms of Xanalogical Storage and Function, June 29th (ISSN 1613-0073)
- Scheda ARCA: 10278/21773
2009 Articolo in Atti di convegno FOCARDI R.; LUCCIO F. L.; STEEL G. Blunting Differential Attacks on PIN Processing APIs , 14th Nordic Conference on Secure IT Systems, BERLIN, SPRINGER-VERLAG, vol. 5838, pp. 88-103, Convegno: NordSec 2009, 14 October 2009 through 16 October 2009 (ISBN 9783642047657) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/39633
2009 Articolo in Atti di convegno M. CENTENARO; FOCARDI R.; F. L. LUCCIO; G. STEEL Type-Based Analysis of PIN Processing APIs , 14th European Symposium on Research in Computer Security (ESORICS), BERLIN, SPRINGER-VERLAG, vol. 5789, pp. 53-68, Convegno: ESORICS 2009, SEP 21-23, 2009 (ISBN 9783642044434) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/32641
2009 Articolo in Atti di convegno M. CENTENARO; FOCARDI R.; F. L. LUCCIO; G. STEEL Type-based Analysis of Financial APIs (extended abstract) , Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, non specificato, Convegno: ARSPA-WITS'09, March 2009
- Scheda ARCA: 10278/19328
2009 Abstract in Atti di convegno FOCARDI R.; LUCCIO F.L.; STEEL G. Improving PIN Processing API Security , 3rd International Workshop on Analysis of Security APIs (ASA-3), non specificato, Convegno: 3rd International Workshop on Analysis of Security APIs (ASA-3), July 10-11, 2009
- Scheda ARCA: 10278/39253
2009 Rapporto di ricerca M. CENTENARO; R. FOCARDI; F.L. LUCCIO; G. STEEL Type-based Analysis of Financial APIs , Dipartimento di Informatica dell’Universita` Ca’ Foscari Venezia, vol. CS-2009-2
- Scheda ARCA: 10278/18838
2008 Articolo su rivista P. FLOCCHINI; M.J. HUANG; F.L. LUCCIO Decontamination of Hypercubes by Mobile Agents in NETWORKS, vol. 52(3), pp. 167-178 (ISSN 0028-3045)
DOI - Scheda ARCA: 10278/29570
2008 Articolo in Atti di convegno A. DATTOLO; F.L. LUCCIO Formalizing a model to represent and visualize concept spaces in e-learning environments , WEBIST, Springer, vol. 1, pp. 339-346, Convegno: 4th International Conference on Web Information Systems and Technologies (WEBIST), 4-7 maggio 2008 (ISBN 9789898111265)
- Scheda ARCA: 10278/36735
2008 Articolo in Atti di convegno A. DATTOLO; F.L. LUCCIO Visualizing Personalized Views in Virtual Museum Tours , HSI 2008, IEEE, pp. 109-114, Convegno: International Conference on Human System Interaction HSI'08, May 25-27.2008 (ISBN 9781424415427)
- Scheda ARCA: 10278/19706
2008 Curatela (a cura di) CORTESI A.; LUCCIO F ACM-IFIP IEEIII - Informatics Education Europe , VENEZIA, Dipartimento di Informatica, Università Ca' Foscari Venezia (ISBN 9788890343308)
- Scheda ARCA: 10278/20513
2007 Articolo su rivista P. FLOCCHINI; M.J. HUANG; F.L. LUCCIO Decontaminating chordal rings and tori using mobile agents. in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, vol. 18(3), pp. 547-563 (ISSN 0129-0541)
- Scheda ARCA: 10278/32098
2007 Articolo su rivista F.L. LUCCIO; JOP F. SIBEYN Feedback Vertex Sets in Mesh-based Networks. in THEORETICAL COMPUTER SCIENCE, vol. 383(1), pp. 86-101 (ISSN 0304-3975)
DOI - Scheda ARCA: 10278/31878
2007 Articolo in Atti di convegno A. DATTOLO; F.L. LUCCIO A New Actor-Based Structure for Distributed Systems , MIPRO 2007, Croatian Society for Information and Communication Technology, pp. 195-201, Convegno: 30th Jubilee International Convention, May 21-25, 2007, Opatija, Croatia : Proceedings. Microelectronics, electronics and electronic technologies. Hypermedia and grid systems, Volume 1, MAY 21-25, 2007 (ISBN 9789532330328)
- Scheda ARCA: 10278/15462
2007 Articolo in Atti di convegno F.L. LUCCIO Intruder Capture in Sierpinski Graphs. , Fun with Algorithms, Springer Verlag, vol. 4475, pp. 249-261, Convegno: 4th International Conference, FUN 2007 (ISBN 9783540729136) (ISSN 0302-9743)
- Scheda ARCA: 10278/32797
2006 Articolo in Atti di convegno P. FLOCCHINI; M. HUANG; F. LUCCIO Decontamination of Chordal Rings and Tori , IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), IEEE Computer Society, Convegno: IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), APRIL 25 (ISBN 9781424400546)
- Scheda ARCA: 10278/34342
2005 Articolo in Atti di convegno P. FLOCCHINI; M. JUN HUANG; F.L. LUCCIO Contiguous Search in the Hypercube for Capturing an Intruder , IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), IEEE Computer Society, Convegno: IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 4-8 APRIL 2005 (ISBN 9780769523125)
- Scheda ARCA: 10278/35083
2005 Articolo in Atti di convegno P. FLOCCHINI; F.L. LUCCIO; L.X. SONG Size Optimal Strategies for Capturing an Intruder in Mesh Networks , Communications In Computing., CSREA Press, pp. 200-206, Convegno: Proceedings of the 2005 International Conference on Communications in Computing: CIC'05, June 27-30, (ISBN 9781932415568)
- Scheda ARCA: 10278/16073
2005 Rapporto di ricerca P. FLOCCHINI; M.J. HUANG; F.L. LUCCIO Capturing an Intruder in the Hypercube by Mobile Agents , School of Information Technology & Engineering University of Ottawa Canada, vol. TR-2005-2
- Scheda ARCA: 10278/16117
2004 Articolo su rivista FOCARDI R.; LUCCIO F.L. A modular approach to Sprouts in DISCRETE APPLIED MATHEMATICS, vol. 144 (3), pp. 303-319 (ISSN 0166-218X)
- Scheda ARCA: 10278/31292
2004 Articolo su rivista DANNY KRIZANC; F.L. LUCCIO; RAJEEV RAMAN Compact Routing Schemes for Dynamic Ring Networks in THEORY OF COMPUTING SYSTEMS, vol. 37(5), pp. 585-607 (ISSN 1432-4350)
- Scheda ARCA: 10278/16113
2004 Articolo su rivista GIUSEPPE ANASTASI; ALBERTO BARTOLI; F.L. LUCCIO Fault-tolerant support for reliable multicast in Mobile Wireless Systems: Design and Evaluation in WIRELESS NETWORKS, vol. 10(3), pp. 259-269 (ISSN 1022-0038)
- Scheda ARCA: 10278/16114
2004 Articolo su rivista CHIARA BRAGHIN; CORTESI A.; RICCARDO FOCARDI; FLAMINIA L. LUCCIO; CARLA PIAZZA Nesting analysis of mobile ambients in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30 (3-4), pp. 207-230 (ISSN 1477-8424)
DOI - Scheda ARCA: 10278/29447
2004 Articolo su rivista P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO Sorting and Election in Anonymous Asynchronous Rings in JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, vol. 64 (2), pp. 254-265 (ISSN 0743-7315)
- Scheda ARCA: 10278/30342
2004 Articolo in Atti di convegno C. BRAGHIN; A. CORTESI; FOCARDI R.; F.L. LUCCIO; C. PIAZZA Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients , Formal Methods for Security and Time, Amsterdam, Elsevier, vol. 99, pp. 319-337, Convegno: Mefisto, November 3-5, 2003 (ISSN 1571-0661)
DOI - Scheda ARCA: 10278/24983
2004 Articolo in Atti di convegno R. FOCARDI; F.L. LUCCIO How tasty is a cannibal? A strategy for the mesh cannibal game , Fun 2004, Pisa, Edizioni Plus Universita' di Pisa, pp. 171-183, Convegno: Third International Conference on Fun with Algorithms, MAY 26-28 2004 (ISBN 9788884921505)
- Scheda ARCA: 10278/15760
2004 Articolo in Atti di convegno P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO; C. SAWCHUK Mobile Agent Rendezvous When Tokens Fail , Structural Information and Communication Complexity, vol. 3104, pp. 161-172, Convegno: 11th International Colloquium, SIROCCO 2004 (ISBN 3540222308) (ISSN 0302-9743)
- Scheda ARCA: 10278/32935
2004 Articolo in Atti di convegno F.L. LUCCIO; J.F. SIBEYN Tighter Bounds on Feedback Vertex Sets in Mesh-based Networks , Structural Information and Communication Complexity, Springer Verlag, vol. 3104, pp. 209-220, Convegno: 11th International Colloquium, SIROCCO 2004 (ISBN 3540222308) (ISSN 0302-9743)
- Scheda ARCA: 10278/34336
2004 Rapporto di ricerca F.L. LUCCIO; J.F. SIBEYN Minimum Feedback Vertex Set in Mesh-based Networks , Computer Science Fachbereich Mathematik und Informatik, Martin-Luther University, Halle, vol. 04.11
- Scheda ARCA: 10278/16118
2003 Articolo su rivista P. FLOCCHINI; F.L. LUCCIO Routing in Series Parallel Networks in THEORY OF COMPUTING SYSTEMS, vol. 36(2), pp. 137-157 (ISSN 1432-4350)
- Scheda ARCA: 10278/32936
2003 Articolo in Atti di convegno C. BRAGHIN; A. CORTESI; S. FILIPPONE; R. FOCARDI; F.L. LUCCIO; C. PIAZZA BANANA: A tool for Boundary Ambients Nesting ANAlysis in Hubert Garavel, John Hatcliff, Tools and Algorithms for the Construction and Analysis of Systems, Heidelberg, Springer Verlag, vol. 2619, pp. 437-441, Convegno: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, April 7-11, 2003 (ISBN 3540008985) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/30387
2003 Articolo in Atti di convegno C. BRAGHIN; A. CORTESI; R. FOCARDI; F.L. LUCCIO; C. PIAZZA Complexity of Nesting Analysis in Mobile Ambients in Lenore D. Zuck et al., Verification, Model Checking, and Abstract Interpretation, Heidelberg, Springer Verlag, vol. 2575, pp. 86-101, Convegno: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, January 9-11, 2002 (ISBN 3540003487) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/15803
2003 Articolo in Atti di convegno F.L. LUCCIO; Minimum Feedback Vertex Set in Pyramid and Mesh of Trees Networks , Proceedings in Informatics, Ottawa, Carleton Scientific, vol. 17, pp. 235-247, Convegno: 10nth Colloquium on Structural Information and Communication Complexity, 18-20 JUNE 2003 (ISBN 9781894145169)
- Scheda ARCA: 10278/27006
2002 Articolo in Atti di convegno G. ANASTASI; A. BARTOLI; F.L. LUCCIO Fault-Tolerant Support for Reliable Multicast in Mobile Wireless Systems: Design and Evaluation , NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications, Springer-Verlag, vol. 2345, pp. 1069-1080, Convegno: Second International IFIP-TC6 Networking Conference (ISBN 3540437096) (ISSN 0302-9743)
- Scheda ARCA: 10278/36375
2002 Articolo in Atti di convegno F.L. LUCCIO; A. SGARRO Fuzzy Graphs and Error-proof Keyboards , IPMU 2002, Université de Savoie, pp. 1503-1508, Convegno: Int.Conf. on Inf. Processing and Management of Uncertainty in KnowledgeBased systems, 1-5 luglio 2002 (ISBN 9782951645325)
- Scheda ARCA: 10278/15761
2002 Rapporto di ricerca FOCARDI, Riccardo; LUCCIO, Flaminia Analysing Sprouts , Universita' di Venezia, Dipartimento di Informatica, vol. CS-2002-9
- Scheda ARCA: 10278/16121
2002 Rapporto di ricerca D. KRIZANC; F.L. LUCCIO; R. RAMAN Compact Routing Schemes for Dynamic Ring Networks , Dep. of Math. & Computer Science, University of Leichester, vol. 2002/26
- Scheda ARCA: 10278/16119
2002 Rapporto di ricerca F.L. LUCCIO; A. BARTOLI; G. ANASTASI Fault-Tolerant Support for Reliable Multicast inMobile Wireless Systems: Design and Evaluation , Quaderni Matematici (Technical Report) - Universita' degli Studi di Trieste, Dipartimento di Scienze Matematiche, vol. 526
- Scheda ARCA: 10278/16120
2001 Articolo su rivista E. KRANAKIS; D. KRIZANC; F.L. LUCCIO On recognizing a string on an anonymous ring in THEORY OF COMPUTING SYSTEMS, vol. 34(1), pp. 3-12 (ISSN 1432-4350)
- Scheda ARCA: 10278/36192
2001 Articolo in Atti di convegno R. FOCARDI; F.L. LUCCIO A new analysis technique for the Sprouts Game , International Conference Fun with Algorithms 2 (FUN 2001), Carleton Scientific, pp. 117-132, Convegno: International Conference Fun with Algorithms 2 (FUN 2001), MAY 29-31 (ISBN 9781894145091)
- Scheda ARCA: 10278/15759
2000 Articolo su rivista R. FOCARDI; F.L. LUCCIO; D. PELEG Feedback Vertex Set in Hypercubes in INFORMATION PROCESSING LETTERS, vol. 76/1-2, pp. 1-5 (ISSN 0020-0190)
- Scheda ARCA: 10278/16115
2000 Articolo in Atti di convegno P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO Sorting Multisets in Anonymous Rings , IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), IEEE Computer Society, pp. 275-280, Convegno: IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), MAY 1-5 (ISBN 9780769505749)
- Scheda ARCA: 10278/32324
2000 Abstract in Atti di convegno F.L. LUCCIO; A. BARTOLI; G. ANASTASI A Fault-Tolerant Support for Mobile Wireless Systems, , Workshop di Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi, Convegno: Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture, e Linguaggi,, 18-20 September
- Scheda ARCA: 10278/15710
2000 Rapporto di ricerca F.L. LUCCIO; A. BARTOLI; G. ANASTASI Fault-Tolerant Support for Totally Ordered Muliticast in Mobile Wireless Systems , Quaderni Matematici (Technical Report) - Universita' degli Studi di Trieste, Dipartimento di Scienze Matematiche, vol. 469
- Scheda ARCA: 10278/4454
2000 Rapporto di ricerca P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO Sorting Multisets and Electing a Leader in Anonymous Rings , Quaderni Matematici (Technical Report), Universita' degli Studi di Trieste, Dipartimento di Scienze Matematiche, vol. 463
- Scheda ARCA: 10278/15705
1999 Articolo in Atti di convegno D. KRIZANC; F.L. LUCCIO; R. RAMAN Dynamic Interval Routing on Asynchronous Rings. , 13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing IPPS/SPDP 99, IEEE Computer Society, Convegno: 13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing, 12-16 April (ISBN 9780769501437)
- Scheda ARCA: 10278/32323
1999 Rapporto di ricerca R. FOCARDI; F.L. LUCCIO Minumum Feedback Vertex Set in k-Dimensional Hypercubes , Universita' Ca' Foscari di Venezia, Dipartimento di Informatica, vol. CS-99-21
- Scheda ARCA: 10278/15706
1998 Articolo su rivista F.L. LUCCIO Almost Exact Minimum Feedback Vertex Set in Meshes and Butterflies in INFORMATION PROCESSING LETTERS, vol. 66/2, pp. 59-64 (ISSN 0020-0190)
- Scheda ARCA: 10278/16116
1997 Abstract in Atti di convegno C. GAVOILLE; F.L. LUCCIO Interval Routing in Series Parallel Graphs , Workshop di Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi, Convegno: WSDAAL, Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture, e Linguaggi, 23-25 SEPTEMBER
- Scheda ARCA: 10278/15711
1997 Rapporto di ricerca F.L. LUCCIO Almost Exact Minumum Feedback Vertex Set in Meshes and Butterflies , Universita' degli Studi di Milano, Dipartimento di Scienze dell'Informazione, vol. 207-97
- Scheda ARCA: 10278/15707
1996 Articolo in Atti di convegno P. FLOCCHINI; F.L. LUCCIO Distance Routing on Series Parallel Networks , IEEE International Conference on Distributed Computing Systems (ICDCS), IEEE Computer Society, pp. 352-359, Convegno: IEEE International Conference on Distributed Computing Systems (ICDCS), MAY 27-30 (ISBN 9780818673986)
- Scheda ARCA: 10278/15712
1996 Rapporto di ricerca P. FLOCCHINI; F.L. LUCCIO Distance Routing on Series Parallel Networks , School of Computer Science, Carleton University, Ottawa, Canada, vol. 96-15
- Scheda ARCA: 10278/4451
1995 Articolo in Atti di convegno D. KRIZANC; F.L. LUCCIO Boolean Routing on Chordal Rings , Proceedings in Informatics, Ottawa, Carleton University Press, vol. 2, pp. 89-100, Convegno: 2nd Colloquium on Structural Information and Communication Complexity, JUNE 12-14 (ISBN 9780886292768)
- Scheda ARCA: 10278/34129
1995 Articolo in Atti di convegno E. KRANAKIS; D. KRIZANC; F.L. LUCCIO String Recognition on Anonymous Rings , Mathematical Foundations of Computer Science 1995, vol. 969, pp. 392-401, Convegno: 20th International Symposium, MFCS "95 (ISBN 3540602461) (ISSN 0302-9743)
- Scheda ARCA: 10278/33313
1994 Articolo in Atti di convegno F.L. LUCCIO On the convergence of a parallel algorithm for finding polynomial zeros , Parallel and Distributed Processing, Los Alamitos, CA, United States, IEEE, pp. 530-535, Convegno: Proceeedings of the 6th IEEE Symposium on Parallel and Distributed Processing, 1994 (ISBN 9780818664274)
- Scheda ARCA: 10278/15758
1994 Rapporto di ricerca E. KRANAKIS; D. KRIZANC; F.L. LUCCIO String Recognition on Anonymous Rings , School of Computer Science, Carleton University, Ottawa, Canada, vol. 256
- Scheda ARCA: 10278/15813