LUCCIO Flaminia

Qualifica Professoressa Associata
Telefono 041 234 8448
E-mail luccio@unive.it
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: http://www.unive.it/dais
Sede: Campus scientifico via Torino
Research team Public governance, welfare and social innovation

Pubblicazioni per tipologia

Articolo su rivista
  • Das, Shantanu; Focardi, Riccardo; Luccio, Flaminia L.; Markou, Euripides; Squarcina, Marco (2019), Gathering of robots in a ring with mobile faults in THEORETICAL COMPUTER SCIENCE, vol. 764, pp. 42-60 (ISSN 0304-3975)
    Link DOIURL correlato Link al documento: 10278/3704730 abstract
  • Dattolo, Antonina; De March, Chiara; De Riu, Eleonora; Luccio, Flaminia (2018), Designing Tourism Websites for Children: Guidelines and Experimental Results in EAI ENDORSED TRANSACTIONS ON SERIOUS GAMES, vol. 18 (16) (ISSN 2034-8800)
    Link DOI Link al documento: 10278/3704758 abstract
  • Dattolo, Antonina; Luccio, Flaminia (2017), Accessible and Usable Websites and Mobile Applications for People with Autism Spectrum Disorders: a Comparative Study in ICST TRANSACTIONS ON AMBIENT SYSTEMS, vol. 4 (ISSN 2032-927X)
    Link DOIURL correlato Link al documento: 10278/3687327 abstract
  • Dattolo, Antonina; Luccio, Flaminia; Pirone, Elisa (2016), 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 Link al documento: 10278/3684094 abstract
  • Matteo Centenaro; Riccardo Focardi; Flaminia L. Luccio (2013), Type-based Analysis of Key Management in PKCS#11 cryptographic devices in JOURNAL OF COMPUTER SECURITY, vol. 21, pp. 971-1007 (ISSN 0926-227X)
    Link DOI Link al documento: 10278/35967 abstract
  • R. Focardi; Flaminia Luccio (2012), Guessing Bank PINs by Winning a Mastermind Game in THEORY OF COMPUTING SYSTEMS, vol. 50 (1), pp. 52-71 (ISSN 1432-4350)
    Link DOI Link al documento: 10278/28347 abstract
  • F.L. LUCCIO (2009), Contiguous search problem in Sierpinski graphs in THEORY OF COMPUTING SYSTEMS, vol. 44, pp. 186-204 (ISSN 1432-4350)
    Link DOI Link al documento: 10278/32640 abstract
  • P. FLOCCHINI; M.J. HUANG; F.L. LUCCIO (2008), Decontamination of Hypercubes by Mobile Agents in NETWORKS, vol. 52(3), pp. 167-178 (ISSN 0028-3045)
    Link DOI Link al documento: 10278/29570 abstract
  • P. FLOCCHINI; M.J. HUANG; F.L. LUCCIO (2007), 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)
    Link al documento: 10278/32098 abstract
  • F.L. LUCCIO; JOP F. SIBEYN (2007), Feedback Vertex Sets in Mesh-based Networks. in THEORETICAL COMPUTER SCIENCE, vol. 383(1), pp. 86-101 (ISSN 0304-3975)
    Link DOI Link al documento: 10278/31878 abstract
  • FOCARDI R.; LUCCIO F.L. (2004), A modular approach to Sprouts in DISCRETE APPLIED MATHEMATICS, vol. 144 (3), pp. 303-319 (ISSN 0166-218X)
    Link al documento: 10278/31292 abstract
  • DANNY KRIZANC; F.L. LUCCIO; RAJEEV RAMAN (2004), Compact Routing Schemes for Dynamic Ring Networks in THEORY OF COMPUTING SYSTEMS, vol. 37(5), pp. 585-607 (ISSN 1432-4350)
    Link al documento: 10278/16113
  • GIUSEPPE ANASTASI; ALBERTO BARTOLI; F.L. LUCCIO (2004), 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)
    Link al documento: 10278/16114
  • Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia; Carla, Piazza (2004), Nesting analysis of mobile ambients in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30 (3-4), pp. 207-230 (ISSN 1477-8424)
    Link DOI Link al documento: 10278/29447 abstract
  • P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO (2004), Sorting and Election in Anonymous Asynchronous Rings in JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, vol. 64 (2), pp. 254-265 (ISSN 0743-7315)
    Link al documento: 10278/30342 abstract
  • P. FLOCCHINI; F.L. LUCCIO (2003), Routing in Series Parallel Networks in THEORY OF COMPUTING SYSTEMS, vol. 36(2), pp. 137-157 (ISSN 1432-4350)
    Link al documento: 10278/32936 abstract
  • E. KRANAKIS; D. KRIZANC; F.L. LUCCIO (2001), On recognizing a string on an anonymous ring in THEORY OF COMPUTING SYSTEMS, vol. 34(1), pp. 3-12 (ISSN 1432-4350)
    Link al documento: 10278/36192 abstract
  • R. FOCARDI; F.L. LUCCIO; D. PELEG (2000), Feedback Vertex Set in Hypercubes in INFORMATION PROCESSING LETTERS, vol. 76/1-2, pp. 1-5 (ISSN 0020-0190)
    Link al documento: 10278/16115 abstract
  • F.L. LUCCIO (1998), Almost Exact Minimum Feedback Vertex Set in Meshes and Butterflies in INFORMATION PROCESSING LETTERS, vol. 66/2, pp. 59-64 (ISSN 0020-0190)
    Link al documento: 10278/16116
Articolo su libro
  • Focardi, Riccardo; Luccio, Flaminia; Wahsheh, Heider (2017), 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)
    Link DOI Link al documento: 10278/3687449 abstract
  • Riccardo Focardi; Flaminia L. Luccio; Graham Steel (2011), 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)
    Link DOI Link al documento: 10278/36856 abstract
  • A. DATTOLO; F.L. LUCCIO (2009), 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)
    Link DOI Link al documento: 10278/34337 abstract
  • A. DATTOLO; F.L. LUCCIO (2009), 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)
    Link DOI Link al documento: 10278/36376 abstract
Articolo in Atti di convegno
  • Wahsheh, HEIDER AHMAD MUTLEQ; Luccio, Flaminia (2019), 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)
    Link DOI Link al documento: 10278/3709374 abstract
  • Das, Shantanu; Giachoudis, Nikos; Luccio, Flaminia L.; Markou, Euripides (2019), 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)
    Link DOI Link al documento: 10278/3707153 abstract
  • Luccio, Flaminia; Lisa, Beltrame (2018), 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)
    Link DOIURL correlato Link al documento: 10278/3707148 abstract
  • Focardi, Riccardo; Luccio, Flaminia (2018), 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 Link al documento: 10278/3704724 abstract
  • Focardi, Riccardo; Luccio, Flaminia; Wahsheh, Heider (2018), 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)
    Link DOI Link al documento: 10278/3696274 abstract
  • Dattolo, Antonina; De March, Chiara; Luccio, Flaminia (2018), 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)
    Link DOI Link al documento: 10278/3692553 abstract
  • Dattolo, Antonina; Luccio, Flaminia (2017), 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-Verlag, vol. 195, pp. 1-10, Convegno: 2nd EAI International Conference on Smart Objects and Technologies for Social Good, November 30–December 1, 2016 (ISBN 978-3-319-61948-4)
    Link DOI Link al documento: 10278/3682114 abstract
  • Shantanu Das; Riccardo Focardi; Flaminia Luccio; Euripides Markou; Davide Moro; Marco Squarcina (2016), Gathering of Robots in a Ring with Mobile Faults , ICTCS 2016, CEUR, vol. 1720, pp. 122-135, Convegno: 17th Italian Conference on Theoretical Computer Science (ICTCS 2016), September 7-9 2016
    URL correlato Link al documento: 10278/3680255 abstract
  • Adão, Pedro; Focardi, Riccardo; Guttman, Joshua D.; Luccio, Flaminia (2016), Localizing firewall security policies , Proceedings - IEEE Computer Security Foundations Symposium, IEEE Computer Society, pp. 194-209, Convegno: 29th IEEE Computer Security Foundations Symposium, CSF 2016, 2016 (ISBN 9781509026074)
    Link DOI Link al documento: 10278/3680246 abstract
  • Antonina Dattolo; Flaminia L.. Luccio; Elisa Pirone (2016), 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)
    Link al documento: 10278/3680202 abstract
  • Evangelos Kranakis; Danny Krizanc; Flaminia Luccio; Brett Smith (2015), Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors in Prosenjit Bose, Leszek Antoni Gąsieniec, Kay Römer, Roger Wattenhofer, Algosesors 2015, LNCS, vol. 9536, pp. 27-40, Convegno: The 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (Algosensors 2015),, 17 -18 September 2015 (ISSN 0302-9743)
    Link DOI Link al documento: 10278/3662007 abstract
  • Das, Shantanu; Luccio, Flaminia; Markou, Euripides (2015), Mobile Agents Rendezvous in spite of a Malicious Agent. in Prosenjit Bose, Leszek Antoni Gąsieniec, Kay Römer, Roger Wattenhofer, Algosensors 2015, LNCS, 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)
    Link DOI Link al documento: 10278/3662008 abstract
  • Dattolo, Antonina; Luccio, Flaminia (2015), 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 Link al documento: 10278/3620304 abstract
  • Pedro, Adão; Claudio, Bozzato; Gian-Luca, Dei Rossi; Focardi, Riccardo; Luccio, Flaminia (2014), Mignis: A semantic based tool for firewall configuration , CSF 2014, IEEE, pp. 351-365, Convegno: IEEE 27th Computer Security Foundations Symposium, CSF 2014,, 19-22 July, 2014 (ISBN 9781479942909)
    Link DOI Link al documento: 10278/43839 abstract
  • Pedro Adão; Riccardo Focardi; Flaminia L. Luccio (2013), Type-Based Analysis of Generic Key Management APIs , IEEE CSF, IEEE Computer Society, pp. 97-111, Convegno: IEEE 26th Computer Security Foundations Symposium, Giugno 26–28, 2013 (ISBN 9780769550312)
    Link DOI Link al documento: 10278/37474 abstract
  • R. Focardi; F. Luccio; M. Squarcina (2012), 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)
    Link DOI Link al documento: 10278/38619 abstract
  • R. Focardi; F. Luccio (2012), 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)
    Link DOI Link al documento: 10278/28096 abstract
  • M. Centenaro; R. Focardi; Flaminia Luccio (2012), 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)
    Link DOI Link al documento: 10278/36662 abstract
  • R. FOCARDI; F. LUCCIO (2011), 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)
    Link DOI Link al documento: 10278/33037 abstract
  • R. FOCARDI; F. LUCCIO (2010), 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)
    Link al documento: 10278/3724
  • A. DATTOLO; F.L. LUCCIO (2009), 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)
    Link al documento: 10278/33325 abstract
  • DATTOLO, Antonina; LUCCIO, Flaminia (2009), 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)
    Link al documento: 10278/21773 abstract
  • FOCARDI R.; LUCCIO F. L.; STEEL G. (2009), 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)
    Link DOI Link al documento: 10278/39633 abstract
  • M. CENTENARO; FOCARDI R.; F. L. LUCCIO; G. STEEL (2009), Type-Based Analysis of PIN Processing APIs , 14th European Symposium on Research in Computer Security, BERLIN, SPRINGER-VERLAG, vol. 5789, pp. 53-68, Convegno: ESORICS 2009, SEP 21-23, 2009 (ISBN 9783642044434) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/32641 abstract
  • M. CENTENARO; FOCARDI R.; F. L. LUCCIO; G. STEEL (2009), 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
    Link al documento: 10278/19328 abstract
  • A. DATTOLO; F.L. LUCCIO (2008), 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)
    Link al documento: 10278/36735 abstract
  • A. DATTOLO; F.L. LUCCIO (2008), 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)
    Link al documento: 10278/19706 abstract
  • A. DATTOLO; F.L. LUCCIO (2007), 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)
    Link al documento: 10278/15462 abstract
  • F.L. LUCCIO (2007), 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)
    Link al documento: 10278/32797 abstract
  • P. FLOCCHINI; M. HUANG; F. LUCCIO (2006), Decontamination of Chordal Rings and Tori , IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing, IEEE Computer Society, Convegno: 8th International Workshop on Advances in Parallel and Distributed Computational Models, APRIL 25 (ISBN 9781424400546)
    Link al documento: 10278/34342 abstract
  • P. FLOCCHINI; M. JUN HUANG; F.L. LUCCIO (2005), Contiguous Search in the Hypercube for Capturing an Intruder , Parallel and Distributed Processing Symposium, IEEE Computer Society, Convegno: IEEE 19th International Parallel and Distributed Processing Symposium: Proceedings, 4-8 APRIL 2005 (ISBN 9780769523125)
    Link al documento: 10278/35083 abstract
  • P. FLOCCHINI; F.L. LUCCIO; L.X. SONG (2005), 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)
    Link al documento: 10278/16073
  • C. BRAGHIN; A. CORTESI; FOCARDI R.; F.L. LUCCIO; C. PIAZZA (2004), 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)
    Link DOI Link al documento: 10278/24983 abstract
  • R. FOCARDI; F.L. LUCCIO (2004), 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)
    Link al documento: 10278/15760
  • P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO; C. SAWCHUK (2004), 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)
    Link al documento: 10278/32935 abstract
  • F.L. LUCCIO; J.F. SIBEYN (2004), 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)
    Link al documento: 10278/34336 abstract
  • C., Braghin; Cortesi, Agostino; S., Filippone; Focardi, Riccardo; Luccio, Flaminia; C., Piazza (2003), 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)
    Link DOI Link al documento: 10278/30387 abstract
  • C. BRAGHIN; A. CORTESI; R. FOCARDI; F.L. LUCCIO; C. PIAZZA (2003), 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)
    Link DOI Link al documento: 10278/15803 abstract
  • F.L. LUCCIO; (2003), 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)
    Link al documento: 10278/27006 abstract
  • G. ANASTASI; A. BARTOLI; F.L. LUCCIO (2002), 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)
    Link al documento: 10278/36375 abstract
  • F.L. LUCCIO; A. SGARRO (2002), 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)
    Link al documento: 10278/15761
  • R. FOCARDI; F.L. LUCCIO (2001), 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)
    Link al documento: 10278/15759
  • P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO (2000), Sorting Multisets in Anonymous Rings , 14th International Parallel & Distributed Processing Symposium (IPDPS'00), IEEE Computer Society, pp. 275-280, Convegno: 14th International Parallel & Distributed Processing Symposium (IPDPS'00), MAY 1-5 (ISBN 9780769505749)
    Link al documento: 10278/32324 abstract
  • D. KRIZANC; F.L. LUCCIO; R. RAMAN (1999), 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)
    Link al documento: 10278/32323 abstract
  • P. FLOCCHINI; F.L. LUCCIO (1996), Distance Routing on Series Parallel Networks , Distributed Computing Systems, IEEE Computer Society, pp. 352-359, Convegno: 16th International Conference on Distributed Computing Systems, MAY 27-30 (ISBN 9780818673986)
    Link al documento: 10278/15712 abstract
  • D. KRIZANC; F.L. LUCCIO (1995), 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)
    Link al documento: 10278/34129
  • E. KRANAKIS; D. KRIZANC; F.L. LUCCIO (1995), 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)
    Link al documento: 10278/33313 abstract
  • F.L. LUCCIO (1994), On the convergence of a parallel algorithm for finding polynomial zeros , Parallel and Distributed Processing, IEEE Computer Society Press, Convegno: 6-th IEEE Symposium on Parallel and Distributed Processing (SPDP), OCTOBER 26-29 (ISBN 9780818664274)
    Link al documento: 10278/15758
Abstract in Atti di convegno
  • Pedro, Adao; Riccardo, Focardi; Joshua, Guttman; Flaminia, Luccio (2016), 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
    Link al documento: 10278/3671317 abstract
  • Pedro Adão; Claudio Bozzato; Gian-Luca Dei Rossi; Riccardo Focardi; Flaminia Luccio (2014), 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
    Link al documento: 10278/43846
  • F. Luccio (2013), 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)
    Link al documento: 10278/39254
  • R. Focardi; F. Luccio (2012), 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 Link al documento: 10278/38723 abstract
  • R. Focardi; F. Luccio (2011), 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 Link al documento: 10278/24681 abstract
  • FOCARDI R.; LUCCIO F.L.; STEEL G. (2009), 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
    Link al documento: 10278/39253 abstract
  • F.L. LUCCIO; A. BARTOLI; G. ANASTASI (2000), 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
    Link al documento: 10278/15710
  • C. GAVOILLE; F.L. LUCCIO (1997), 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
    Link al documento: 10278/15711
Curatela
  • (a cura di) E. Kranakis; D. Krizanc; F.L. Luccio (2014), Editorial: Fun with Algorithms. Theory of Computing Systems, in E. Kranakis, D. Krizanc, F.L. Luccio in THEORY OF COMPUTING SYSTEMS, Springer US, vol. 54, pp. 529-530 (ISSN 1432-4350)
    Link DOI Link al documento: 10278/43837
  • (a cura di) E. Kranakis; D. Krizanc; F. Luccio (2012), Fun with Algorithms6th International Conference, FUN 2012, in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag (ISBN 9783642303463) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/27291
  • (a cura di) R. Prasad; K. Farkas; A.U. Schmidt; A. Lioy; G. Russello; F. Luccio (2012), 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)
    Link DOI Link al documento: 10278/33788
  • (a cura di) CORTESI A.; LUCCIO F (2008), ACM-IFIP IEEIII - Informatics Education Europe , VENEZIA, Dipartimento di Informatica, Università Ca' Foscari Venezia (ISBN 9788890343308)
    Link al documento: 10278/20513
Rapporto di ricerca
  • M. CENTENARO; R. FOCARDI; F.L. LUCCIO; G. STEEL (2009), Type-based Analysis of Financial APIs , Dipartimento di Informatica dell’Universita` Ca’ Foscari Venezia, vol. CS-2009-2
    Link al documento: 10278/18838 abstract
  • P. FLOCCHINI; M.J. HUANG; F.L. LUCCIO (2005), Capturing an Intruder in the Hypercube by Mobile Agents , School of Information Technology & Engineering University of Ottawa Canada, vol. TR-2005-2
    Link al documento: 10278/16117
  • F.L. LUCCIO; J.F. SIBEYN (2004), Minimum Feedback Vertex Set in Mesh-based Networks , Computer Science Fachbereich Mathematik und Informatik, Martin-Luther University, Halle, vol. 04.11
    Link al documento: 10278/16118
  • FOCARDI, Riccardo; LUCCIO, Flaminia (2002), Analysing Sprouts , Universita' di Venezia, Dipartimento di Informatica, vol. CS-2002-9
    Link al documento: 10278/16121
  • D. KRIZANC; F.L. LUCCIO; R. RAMAN (2002), Compact Routing Schemes for Dynamic Ring Networks , Dep. of Math. & Computer Science, University of Leichester, vol. 2002/26
    Link al documento: 10278/16119
  • F.L. LUCCIO; A. BARTOLI; G. ANASTASI (2002), 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
    Link al documento: 10278/16120
  • F.L. LUCCIO; A. BARTOLI; G. ANASTASI (2000), 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
    Link al documento: 10278/4454
  • P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO (2000), Sorting Multisets and Electing a Leader in Anonymous Rings , Quaderni Matematici (Technical Report), Universita' degli Studi di Trieste, Dipartimento di Scienze Matematiche, vol. 463
    Link al documento: 10278/15705
  • R. FOCARDI; F.L. LUCCIO (1999), Minumum Feedback Vertex Set in k-Dimensional Hypercubes , Universita' Ca' Foscari di Venezia, Dipartimento di Informatica, vol. CS-99-21
    Link al documento: 10278/15706
  • F.L. LUCCIO (1997), Almost Exact Minumum Feedback Vertex Set in Meshes and Butterflies , Universita' degli Studi di Milano, Dipartimento di Scienze dell'Informazione, vol. 207-97
    Link al documento: 10278/15707
  • P. FLOCCHINI; F.L. LUCCIO (1996), Distance Routing on Series Parallel Networks , School of Computer Science, Carleton University, Ottawa, Canada, vol. 96-15
    Link al documento: 10278/4451
  • E. KRANAKIS; D. KRIZANC; F.L. LUCCIO (1994), String Recognition on Anonymous Rings , School of Computer Science, Carleton University, Ottawa, Canada, vol. 256
    Link al documento: 10278/15813