Flaminia LUCCIO

Position
Associate Professor
Telephone
041 234 8448
E-mail
luccio@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/people/luccio (personal record)
 http://www.dsi.unive.it/~luccio/
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B11 (Zeta B building)
Office
Interconnected Nord-Est Innovation Ecosystem - Temporary Project Centre

Publications

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