Flaminia LUCCIO
- Qualifica
- Professoressa Ordinaria
- Telefono
- 041 234 8448
-
luccio@unive.it
- SSD
- Informatica [INFO-01/A]
- Sito web
-
https://www.unive.it/web/it/18697/persone/luccio(scheda personale)
- Struttura
-
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B11 (edificio Zeta B)
Ricevimento
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.
Didattica anno corrente
Didattica anni precedenti
Attività e competenze di ricerca
- Settore Scientifico Disciplinare (SSD) di afferenza
- Informatica [INFO-01/A]
- Settore Scientifico Disciplinare (SSD) affine
- Informatica [INFO-01/A]
- 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
-
Frontiers in Computer Science ( Associate Editor for Computer Security since June 2024)
Wireless Personal Communications, Springer (Editorial Board Member 2016-2024).
Open Computer Science journal (Editorial Board Member since November 2015).
ISRN Combinatorics (Editorial Board Member up to April 2014).
International Scholarly Research Notices (Discrete Mathematics) (Editorial Board Member from May 2014 to 2017)
Theory of Computing Systems (co-editor for the "special issue" dedicated to the conference FUN with Algorithms 2012) with E. Kranakis, D. Krizanc, May 2014.
- Principali aree e linee di ricerca del Dipartimento
-
Area:
Informatica Linea:
DISTRIBUTED SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica
- Accessibility and usability of websites and mobile applications for disabeled users
-
- SSD:
- INF/01
- Agenti Mobili
-
- SSD:
- INF/01
- Algoritmi Distribuiti
-
- SSD:
- INF/01
- Crittografia
-
- SSD:
- INF/01
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
- Security APIs
-
- SSD:
- INF/01
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
Francesco PALMARINI
- Sicurezza delle reti
-
- SSD:
- INF/01
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
- Sicurezza di smartcard e dispositivi RFID
-
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
Francesco PALMARINI
- Usable security
-
- SSD:
- INFO-01/A
- IRISS ID145 – UniKey
-
- Ente finanziatore:
- SMACT scpa
- Tipologia:
- Conto terzi - Prestazioni di ricerca
- Ruolo nel progetto:
- NS
- Data inizio:
- Anno: 2020 Durata mesi: 5
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
- ADAPT: Accessible Data for Accessible Proto-types in Social Sector
-
- Ente finanziatore:
- MIUR
- Tipologia:
- Bando Smart Cities
- Ruolo nel progetto:
- NS
- Data inizio:
- Anno: 2013 Durata mesi: 48
- Altri membri del gruppo di ricerca:
-
Andrea ALBARELLI
Michele BUGLIESI
Riccardo FOCARDI
Andrea MARIN
Salvatore ORLANDO
Alessandra RAFFAETA'
Sabina ROSSI
Claudio SILVESTRI
Andrea TORSELLO
- ADditive Manifacturing and INdustry 4.0 as innovation Driver (ADMIN4D)
-
- Ente finanziatore:
- POR FESR
- Tipologia:
- POR FESR (2014-2020)
- Ruolo nel progetto:
- NS
- Data inizio:
- Anno: 2017 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Agostino CORTESI
Riccardo FOCARDI
- AMADEUS “Automatic Modelling and verificAtion of Dedicated sEcUrity deviceS
-
- Ente finanziatore:
- European Union - NextGenerationEU
- Tipologia:
- PRIN
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2023 Durata mesi: 24
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
- Client-side Security Enforcement for Mobile and Web Applications
-
- Ente finanziatore:
- MIUR-DAAD
- Tipologia:
- MIUR - MAECI - DAAD
- Ruolo nel progetto:
- LD
- Data inizio:
- Anno: 2016 Durata mesi: 12
- Altri membri del gruppo di ricerca:
-
Stefano CALZAVARA
Riccardo FOCARDI
- Cybersecurity in IOT Devices for smart building
-
- Ente finanziatore:
- Fondimpresa
- Tipologia:
- Altri finanziamenti per attività di didattica/formazione
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2020 Durata mesi: 18
- Altri membri del gruppo di ricerca:
-
Andrea ALBARELLI
Stefano CALZAVARA
Riccardo FOCARDI
Claudio SILVESTRI
- Distributed algorithms for autonomous mobile robots in the presence of a harmful agent
-
- Ente finanziatore:
- Università Ca' Foscari, Bando Iride
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- LD
- Data inizio:
- Anno: 2019 Durata mesi: 18
- FilieraSicura: security of national infrastructures
-
- Ente finanziatore:
- CISCO and Leonardo
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- PT
- Sito di progetto:
- http://www.filierasicura.it
- Data inizio:
- Anno: 2017 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Agostino CORTESI
Riccardo FOCARDI
- Formal Specification for Secured Software System
-
- Ente finanziatore:
- MIUR
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- NS
- Data inizio:
- Anno: 2017 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Agostino CORTESI
Riccardo FOCARDI
- SAFE PLACE. Sistemi IoT per ambienti di vita salubri e sicuri
-
- Ente finanziatore:
- Regione del Veneto - POR FESR 2014-2020
- Tipologia:
- POR FESR (2014-2020)
- Ruolo nel progetto:
- PT
- Sito di progetto:
- https://www.safe-place.it/
- Data inizio:
- Anno: 2020 Durata mesi: 28
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
Andrea MARIN
Francesco PALMARINI
- SERICS - Supply Chain Attack Avoidance (SCAI)
-
- Ente finanziatore:
- MIUR - PNRR
- Tipologia:
- Altri programmi ministeriali
- Ruolo nel progetto:
- LD
- Sito di progetto:
- https://serics.eu/
- Data inizio:
- Anno: 2023 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Stefano CALZAVARA
Paolo FALCARIN
Riccardo FOCARDI
- 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:
-
Agostino CORTESI
Riccardo FOCARDI
- Securing Smartbuilding Devices
-
- Ente finanziatore:
- Regione POR FESR 2014-2020
- Tipologia:
- Conto terzi - Prestazioni di ricerca
- Ruolo nel progetto:
- NS
- Data inizio:
- Anno: 2020 Durata mesi: 2
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
- Security Horizons
-
- Ente finanziatore:
- MIUR
- Tipologia:
- PRIN
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2012 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Agostino CORTESI
Riccardo FOCARDI
- Sistema domotico IoT integrato ad elevata sicurezza informatica per smart building
-
- Ente finanziatore:
- POR FESR
- Tipologia:
- POR FESR (2014-2020)
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2017 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Agostino CORTESI
Riccardo FOCARDI
Andrea MARIN
Francesco PALMARINI
- TESLA - Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni - 2010
-
- Ente finanziatore:
- Regione Sardegna
- Tipologia:
- Altri finanziamenti di ricerca
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2010 Durata mesi: 18
- Altri membri del gruppo di ricerca:
-
Agostino CORTESI
Riccardo FOCARDI
- iNEST ”Interconnected NordEst Innovation Ecosystem
-
- Ente finanziatore:
- EU-PNRR
- Tipologia:
- Altri programmi ministeriali
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2022 Durata mesi: 36
Pubblicazioni in evidenza
M. Busi, R. Focardi, F. Luccio Bridging the Gap: Automated Analysis of Sancus , 37th IEEE Computer Security Foundations Symposium, IEEE, pp. 233-248, Convegno: 37th IEEE Computer Security Foundations Symposium, July 8-12, 2024 (ISBN 979-8-3503-6203-9)
- URL correlato 2024,
Articolo in Atti di convegno - Scheda ARCA: 10278/5044629
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 2022,
Articolo in Atti di convegno - Scheda ARCA: 10278/5004097
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 2021,
Articolo su rivista - Scheda ARCA: 10278/3735647
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 2021,
Articolo in Atti di convegno - Scheda ARCA: 10278/3744159
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 2019,
Articolo su rivista - Scheda ARCA: 10278/3717033
Tutte le pubblicazioni
Curriculum vitae
Education
– PhD in Computer Science, University of Milan, Italy Mar 1999
Thesis: Communication in Distributed Systems
– M.Sc. in Computer Science, Carleton University, Ottawa, Canada Jun 1995
Thesis: Distributed Algorithms for Routing and String Recognition
– Laurea in Computer Science, University of Pisa, Italy Jul 1993
Final grade: 110/110 cum laude
Exchange: University of Frankfurt, Germany (1991–1992)
Academic Positions
– Full Professor (Tenured), DAIS, Ca’ Foscari University of Venice, Italy 2026–present
– Associate Professor (Tenured), DAIS, Ca’ Foscari University of Venice, Italy 2009–2025
– Assistant Professor (Tenured), Department of Applied Mathematics, Ca’ Foscari University of Venice, Italy 2006–2009
– Assistant Professor (Tenured), Department of Mathematics and Computer Science, University of Trieste, Italy 1998–2006
Research Interests
Distributed algorithms and mobile agents (compact routing, fault-tolerant protocols, collaborative agent-based computation); computer security (formal verification, secure APIs, RFID, usable security); and usability & accessibility (secure authentication and tools for people with disabilities).
Publications
Full list available at:
– https://scholar.google.com/citations?user=T8-fvEQAAAAJ
– https://www.scopus.com/authid/detail.uri?authorId=7005244352
Teaching
Courses presently taught at Ca’ Foscari University of Venice, see also the official page:
https://www.unive.it/data/persone/5590985/didattica
– Cryptography
– Algorithms and Data Structure
– Advanced Algorithms
Projects (Fundraising)
– Local PI: CCAT “Cybersecurity Certification and Assessment Tools” – Horizon Europe.
2026–2028
– Local PI: AMADEUS “Automatic Modelling and Verification of Security Devices” – PRIN
2022 PNRR. 2023–2025
– PI: SCAI “Supply Chain Attack Avoidance” – SERICS Foundation, PNRR, inside SPOKE 6.
2023–2025
– Research Coordinator for UNIVE: IRISS ID145 – UniKey – SMACT Competence Center.
2020
– Coordinator for UNIVE: Cybersecurity in IoT for Smart Buildings – Fondimpresa Call
1/2019, funding. 2020–2021
– PI: Distributed Algorithms for Autonomous Mobile Robots – Ca’ Foscari Bando Iride; re-
sulted in OPODIS 2020 publication. 2019–2020
Le informazioni riportate sono state caricate sul sito dell'Università Ca' Foscari Venezia direttamente dall'utente a cui si riferisce la pagina. La correttezza e veridicità delle informazioni pubblicate sono di esclusiva responsabilità del singolo utente.