Home > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

LUCCIO Flaminia

Feed RSS Feed RSS degli avvisi personali

 

Al momento non ci sono avvisi

 

Orario di Ricevimento

 

Consultare la pagina

www.dsi.unive.it/~luccio/ric.html


e possibilmente contattare il docente via mail all'indirizzo

luccio@unive.it


Eventuali modifiche d'orario verranno indicate nella pagina sopra indicata.

 

Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Aree e linee di ricerca

Competenze di ricerca

Studio di algoritmi su sistemi distribuiti

Description
  • Modelli formali per la sicurezza dei sistemi
Parole Chiave
  • Algorithms, Security technology

Ricerche sviluppate e in corso

Agenti Mobili

SSD
  • INF/01

Algoritmi Distribuiti

SSD
  • INF/01

Sicurezza di smartcard e dispositivi RFID

SSD
Altri membri del gruppo di ricerca

Finanziamenti

SOFT - Security Oriented Formal Techniques

Ente finanziatore
  • MIUR
Tipologia
  • PRIN
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2007 Durata mesi: 24
Altri membri del gruppo di ricerca

TESLA - Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni - 2010

Ente finanziatore
  • Regione Sardegna
Tipologia
  • progetto di ricerca
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2010 Durata mesi: 18
Altri membri del gruppo di ricerca

Security Horizons

Ente finanziatore
  • MIUR
Tipologia
  • PRIN
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2012 Durata mesi: 36
Altri membri del gruppo di ricerca

Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca

Internazionale: Europa, America Settentrionale

Lingue conosciute

  • inglese (scritto: avanzato, parlato: avanzato)
  • tedesco (scritto: avanzato, parlato: avanzato)
  • spagnolo (scritto: base, parlato: intermedio)
  • francese (scritto: base, parlato: base)

Partecipazione a comitati editoriali di riviste/collane scientifiche

ISRN Combinatorics (Editorial Board Member) Theory of Computing Systems (co-editor per lo ”special issue” dedicato alla conferenza to FUN with Algorithms 2012) con E. Kranakis, D. Krizanc, in corso d’opera

Pubblicazioni per Anno

2013

  • 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) Link DOI (Articolo su rivista)
  • Pedro Adão, Riccardo Focardi, Flaminia L. Luccio Type-Based Analysis of Generic Key Management APIs, IEEE CSF, IEEE Computer Society, pp. 97-111, Convegno: IEEE 26th Computer Security Foundations Symposium, New Orleans, USA, Giugno 26–28, 2013 (ISBN 9780769550312) Link DOI (Articolo 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, Praga, 28-29 novembre 2013 (ISBN 9788090425750) (Abstract in Atti di convegno)

2012

  • 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) Link DOI (Articolo su rivista)
  • 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), Roma, 2-5/10/2012 (ISBN 9781467346870) Link DOI (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, in LECTURE NOTES IN COMPUTER SCIENCE, Germany: Springer Verlag Germany, vol. 7140, pp. 85-99, Convegno: FAST 2011, Leuven; Belgium (ISBN 9783642294198) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • M. Centenaro, R. Focardi, Flaminia Luccio Type-Based Analysis of PKCS#11 Key Management, Principles of Security and Trust, in LECTURE NOTES IN COMPUTER SCIENCE, Springer Berlin Heidelberg, vol. 7215, pp. 349-368, Convegno: First International Conference, POST 2012, Tallinn, Estonia, , March 24 - April 1, 2012 (ISBN 9783642286407) (ISSN 0302-9743) Link DOI (Articolo 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), Cambridge MA, USA,, June 28 2012 (Abstract in Atti di convegno)
  • (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) Link DOI (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 (LNICST), Springer Verlag, vol. 94 (ISBN 9783642302435) (ISSN 1867-8211) Link DOI (Curatela)

2011

  • 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, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 6858, pp. 35-65 (ISBN 9783642230813) (ISSN 0302-9743) Link DOI (Articolo su libro)
  • R. FOCARDI; F. LUCCIO Secure upgrade of hardware security modules in bank networks, ARSPA-WITS'10, in LECTURE NOTES IN COMPUTER SCIENCE, 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, Paphos, Cyprus (ISBN 9783642160738) (ISSN 0302-9743) Link DOI (Articolo 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, Paris, France., April 8th, 2011 (Abstract in Atti di convegno)

2010

  • R. FOCARDI; F. LUCCIO Cracking Bank PINs by Playing Mastermind, Fun with algorithms, in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag Germany, vol. 6099, pp. 202-213, Convegno: 5th International Conference on FUN with Algorithms, FUN 2010 (ISBN 9783642131219) (ISSN 0302-9743) (Articolo in Atti di convegno)

2009

  • F.L. LUCCIO Contiguous search problem in Sierpinski graphs, in THEORY OF COMPUTING SYSTEMS, vol. 44, pp. 186-204 (ISSN 1432-4350) Link DOI (Articolo su rivista)
  • 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, in ADVANCES IN INTELLIGENT AND SOFT COMPUTING, BERLIN / HEIDELBERG, Springer, vol. 60, pp. 481-492 (ISBN 9783642032011) (ISSN 1867-5662) Link DOI (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, in LECTURE NOTES IN BUSINESS INFORMATION PROCESSING, BERLIN HEIDELBERG, Springer Verlag, vol. 18, pp. 406-419 (ISBN 9783642013430) (ISSN 1865-1348) Link DOI (Articolo su libro)
  • 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, in CEUR WORKSHOP PROCEEDINGS, CEUR, vol. 508, pp. 1-6, Convegno: Workshop on New Forms of Xanalogical Storage and Function, Torino, Italy, June 29th (ISSN 1613-0073) (Articolo in Atti di convegno)
  • A. DATTOLO; F.L. LUCCIO A formal description of ZigZag-structures in F. Vitali, A. Di Iorio, J. Blustein eds., Workshop on New Forms of Xanalogical Storage and Function, in CEUR WORKSHOP PROCEEDINGS, CEUR, vol. 508, pp. 7-11, Convegno: Workshop on New Forms of Xanalogical Storage and Function, Torino, Italy, June 29th (ISSN 1613-0073) (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, in LECTURE NOTES IN COMPUTER SCIENCE, BERLIN, SPRINGER-VERLAG, vol. 5838, pp. 88-103, Convegno: NordSec 2009, Oslo; Norway, 14 October 2009 through 16 October 2009 (ISBN 9783642047657) (ISSN 0302-9743) Link DOI (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, in LECTURE NOTES IN COMPUTER SCIENCE, BERLIN, SPRINGER-VERLAG, vol. 5789, pp. 53-68, Convegno: ESORICS 2009, St Malo, FRANCE, SEP 21-23, 2009 (ISBN 9783642044434) (ISSN 0302-9743) Link DOI (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, York, March 2009 (Articolo 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), Port Jefferson, New York, USA, July 10-11, 2009 (Abstract in Atti di convegno)
  • 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 (Rapporto di ricerca)

2008

  • 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) Link DOI (Articolo su rivista)
  • A. DATTOLO; F.L. LUCCIO Formalizing a model to represent and visualize concept spaces in e-learning environments, WEBIST, vol. 1, pp. 339-346, Convegno: 4th International Conference on Web Information Systems and Technologies (WEBIST), Funchal-Madeira, Portogallo, 4-7 maggio 2008 (ISBN 9789898111265) (Articolo in Atti di convegno)
  • A. DATTOLO; F.L. LUCCIO Visualizing Personalized Views in Virtual Museum Tours, HSI 2008, pp. 109-114, Convegno: International Conference on Human System Interaction HSI'08, Kraków (Poland), May 25-27.2008 (ISBN 9781424415427) (Articolo in Atti di convegno)
  • (a cura di) CORTESI A.; LUCCIO F ACM-IFIP IEEIII - Informatics Education Europe, VENEZIA, Dipartimento di Informatica, Università Ca' Foscari Venezia (ISBN 9788890343308) (Curatela)

2007

  • 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) (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) Link DOI (Articolo su rivista)
  • A. DATTOLO; F.L. LUCCIO A New Actor-Based Structure for Distributed Systems, MIPRO 2007, 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, Opatija, Croatia, MAY 21-25, 2007 (ISBN 9789532330328) (Articolo in Atti di convegno)
  • F.L. LUCCIO Intruder Capture in Sierpinski Graphs., Fun with Algorithms, in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag, vol. 4475, pp. 249-261, Convegno: 4th International Conference, FUN 2007 (ISBN 9783540729136) (ISSN 0302-9743) (Articolo in Atti di convegno)

2006

  • P. FLOCCHINI; M. JUN HUANG; F.L. LUCCIO 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, Rhodes Island, Greece, APRIL 25 (ISBN 9781424400546) (Articolo in Atti di convegno)

2005

  • P. FLOCCHINI; M. JUN HUANG; F.L. LUCCIO 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, Denver, CA, USA, 4-8 APRIL 2005 (ISBN 9780769523125) (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, Las Vegas, Nevada, U.S.A., June 27-30, (ISBN 9781932415568) (Articolo in Atti di convegno)
  • 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 (Rapporto di ricerca)

2004

  • FOCARDI R.; LUCCIO F.L. A modular approach to Sprouts, in DISCRETE APPLIED MATHEMATICS, vol. 144 (3), pp. 303-319 (ISSN 0166-218X) (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) (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) (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) Link DOI (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) (Articolo su rivista)
  • 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, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Amsterdam, Elsevier, vol. 99, pp. 319-337, Convegno: Mefisto, Pisa, November 3-5, 2003 (ISSN 1571-0661) Link DOI (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, Isola d'Elba, Italy, MAY 26-28 2004 (ISBN 9788884921505) (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, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 3104, pp. 161-172, Convegno: 11th International Colloquium, SIROCCO 2004 (ISBN 3540222308) (ISSN 0302-9743) (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, in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag, vol. 3104, pp. 209-220, Convegno: 11th International Colloquium, SIROCCO 2004 (ISBN 3540222308) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • 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 (Rapporto di ricerca)

2003

  • P. FLOCCHINI; F.L. LUCCIO Routing in Series Parallel Networks, in THEORY OF COMPUTING SYSTEMS, vol. 36(2), pp. 137-157 (ISSN 1432-4350) (Articolo su rivista)
  • 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, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 2619, pp. 437-441, Convegno: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Warsaw, Poland, April 7-11, 2003 (ISBN 3540008985) (ISSN 0302-9743) Link DOI (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, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 2575, pp. 86-101, Convegno: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002 (ISBN 3540003487) (ISSN 0302-9743) Link DOI (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, Umea Svezia, 18-20 JUNE 2003 (ISBN 9781894145169) (Articolo in Atti di convegno)

2002

  • 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, in LECTURE NOTES IN COMPUTER SCIENCE, Springer-Verlag, vol. 2345, pp. 1069-1080, Convegno: Second International IFIP-TC6 Networking Conference (ISBN 3540437096) (ISSN 0302-9743) (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, Annecy, France, 1-5 luglio 2002 (ISBN 9782951645325) (Articolo in Atti di convegno)
  • R. FOCARDI; F.L. LUCCIO Analysing Sprouts, Universita' di Venezia, Dipartimento di Informatica, vol. CS-2002-9 (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 (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 (Rapporto di ricerca)

2001

  • 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) (Articolo su rivista)
  • 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), Isola d'Elba, Italy, MAY 29-31 (ISBN 9781894145091) (Articolo in Atti di convegno)

2000

  • 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) (Articolo su rivista)
  • P. FLOCCHINI; E. KRANAKIS; D. KRIZANC; F.L. LUCCIO; N. SANTORO 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), Cancun, Mexico, MAY 1-5 (ISBN 9780769505749) (Articolo 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,, Ischia (Napoli), Italy,, 18-20 September (Abstract in Atti di convegno)
  • 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 (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 (Rapporto di ricerca)

1999

  • 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, San Juan, Puerto Rico,, 12-16 April (ISBN 9780769501437) (Articolo in Atti di convegno)
  • 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 (Rapporto di ricerca)

1998

  • 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) (Articolo su rivista)

1997

  • 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, Bertinoro (Forli'), Italy, 23-25 SEPTEMBER (Abstract in Atti di convegno)
  • 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 (Rapporto di ricerca)

1996

  • P. FLOCCHINI; F.L. LUCCIO Distance Routing on Series Parallel Networks, Distributed Computing Systems, IEEE Computer Society, pp. 352-359, Convegno: 16th International Conference on Distributed Computing Systems, Hong Kong, MAY 27-30 (ISBN 9780818673986) (Articolo in Atti di convegno)
  • P. FLOCCHINI; F.L. LUCCIO Distance Routing on Series Parallel Networks, School of Computer Science, Carleton University, Ottawa, Canada, vol. 96-15 (Rapporto di ricerca)

1995

  • 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, Olympia, Greece, JUNE 12-14 (ISBN 9780886292768) (Articolo in Atti di convegno)
  • E. KRANAKIS; D. KRIZANC; F.L. LUCCIO String Recognition on Anonymous Rings, Mathematical Foundations of Computer Science 1995, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 969, pp. 392-401, Convegno: 20th International Symposium, MFCS "95 (ISBN 3540602461) (ISSN 0302-9743) (Articolo in Atti di convegno)

1994

  • F.L. LUCCIO 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), Dallas, U.S.A., OCTOBER 26-29 (ISBN 9780818664274) (Articolo in Atti di convegno)
  • E. KRANAKIS; D. KRIZANC; F.L. LUCCIO String Recognition on Anonymous Rings, School of Computer Science, Carleton University, Ottawa, Canada, vol. 256 (Rapporto di ricerca)

Curriculum di Flaminia LUCCIO

Flaminia L. Luccio, si è laureata in Scienze dell'Informazione all'Università degli Studi di Pisa nel 1993, ha conseguito il Master in Computer Science presso la Carleton University di Ottawa, Canada, nel 1995 e il dottorato di Ricerca in Informatica presso l'Università degli Studi di Milano nel 1999. Dal settembre 1998 all'ottobre 2006 è stata ricercatore universitario in Informatica presso la Facoltà di Scienze MM.FF.NN. dell'Università degli Studi di Trieste e successivemente si è trasferita presso l'Università Ca' Foscari, Venezia dove è professore di II fascia (non confermato) dal novembre 2009. Ha svolto attività di ricerca in Canada presso la Carleton University, la Ottawa University e la University of Montreal, in Francia presso l'École normale supérieure de Lyon e l'Université Bordeaux 1. I suoi studi si concentrano sulla progettazione e l'analisi di algoritmi per sistemi distribuiti, sullo studio di meccanismi di sicurezza tramite agenti mobili, su tecniche per modellare le "Security APIs" per la gestione dei PIN bancari e sull'analisi della sicurezza dei sistemi RFID. È autrice di diverse pubblicazioni su riviste internazionali e su congressi nazionali e internazionali nel settore. Ha partecipato a progetti di ricerca nazionali, è stata membro di comitati di programma (Sirocco, ICTCS, Algosensor, Mobisec, FUN with algorithms, ecc. ),  Technical Program Co-Chair  di convegni internazionali (Mobisec 2011, FUN with algorithms 2012 ecc. ), Special Session Co-Chair (di Mobisec 2012, SAM 2013), ed è stata anche membro del comitato organizzativo di alcuni convegni internazionali (IEEE CSF, Sirocco, Mobisec, FUN, ecc.). È stata revisore per diversi convegni e riviste internazionali (Graphs and Combinatorics, Discrete Mathematics, Theoretical Computer Science, ecc.), è nel comitato editoriale della rivista ISRN combinatorics.Ha svolto attività didattica presso l'Università di Trieste e di Venezia, tenendo corsi di algoritmi, programmazione, reti, informatica di base, basi di dati, Web; ha inoltre insegnato corsi di dottorato all'Università di Venezia e Pisa.


© Ca'Foscari 2014