Flaminia LUCCIO
- Position
- Full Professor
- Telephone
- 041 234 8448
-
luccio@unive.it
- Academic discipline
- Informatics [INFO-01/A]
- Website
-
https://www.unive.it/web/en/19197/people/luccio(personal record)
- 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 hours
Office hours are listed on this page
www.dsi.unive.it/~luccio/ric.html
and to make an appointment write an email to this address
luccio@unive.it
Teaching activity current year
Teaching activity previous years
Activities and research skills
- Academic discipline
- Informatica [INFO-01/A]
- Settore Scientifico Disciplinare (SSD) affine
- Informatica [INFO-01/A]
- Geographic areas in which the research experience mainly applies
- Internazionale: Europa, America Settentrionale
- Known languages
-
inglese
(scritto: avanzato parlato: avanzato)
tedesco (scritto: avanzato parlato: avanzato)
spagnolo (scritto: base parlato: intermedio)
francese (scritto: base parlato: base)
- Participation in editorial boards of scientific journals/book series
-
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.
- Main departmental research areas and fields
-
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
- Other members of the research group:
-
Riccardo FOCARDI
- Security APIs
-
- SSD:
- INF/01
- Other members of the research group:
-
Riccardo FOCARDI
Francesco PALMARINI
- Sicurezza delle reti
-
- SSD:
- INF/01
- Other members of the research group:
-
Riccardo FOCARDI
- Sicurezza di smartcard e dispositivi RFID
-
- Other members of the research group:
-
Riccardo FOCARDI
Francesco PALMARINI
- Usable security
-
- SSD:
- INFO-01/A
- IRISS ID145 – UniKey
-
- Funding body:
- SMACT scpa
- Type:
- Conto terzi - Prestazioni di ricerca
- Role in the project:
- NS
- Starting date:
- Year: 2020 Length in months: 5
- Other members of the research group:
-
Riccardo FOCARDI
- ADAPT: Accessible Data for Accessible Proto-types in Social Sector
-
- Funding body:
- MIUR
- Type:
- Bando Smart Cities
- Role in the project:
- NS
- Starting date:
- Year: 2013 Length in months: 48
- Other members of the research group:
-
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)
-
- Funding body:
- POR FESR
- Type:
- POR FESR (2014-2020)
- Role in the project:
- NS
- Starting date:
- Year: 2017 Length in months: 36
- Other members of the research group:
-
Agostino CORTESI
Riccardo FOCARDI
- AMADEUS “Automatic Modelling and verificAtion of Dedicated sEcUrity deviceS
-
- Funding body:
- European Union - NextGenerationEU
- Type:
- PRIN
- Role in the project:
- PT
- Starting date:
- Year: 2023 Length in months: 24
- Other members of the research group:
-
Riccardo FOCARDI
- Client-side Security Enforcement for Mobile and Web Applications
-
- Funding body:
- MIUR-DAAD
- Type:
- MIUR - MAECI - DAAD
- Role in the project:
- LD
- Starting date:
- Year: 2016 Length in months: 12
- Other members of the research group:
-
Stefano CALZAVARA
Riccardo FOCARDI
- Cybersecurity in IOT Devices for smart building
-
- Funding body:
- Fondimpresa
- Type:
- Altri finanziamenti per attività di didattica/formazione
- Role in the project:
- PT
- Starting date:
- Year: 2020 Length in months: 18
- Other members of the research group:
-
Andrea ALBARELLI
Stefano CALZAVARA
Riccardo FOCARDI
Claudio SILVESTRI
- Distributed algorithms for autonomous mobile robots in the presence of a harmful agent
-
- Funding body:
- Università Ca' Foscari, Bando Iride
- Type:
- Altri finanziamenti per progetti di ricerca
- Role in the project:
- LD
- Starting date:
- Year: 2019 Length in months: 18
- FilieraSicura: security of national infrastructures
-
- Funding body:
- CISCO and Leonardo
- Type:
- Altri finanziamenti per progetti di ricerca
- Role in the project:
- PT
- Sito di progetto:
- http://www.filierasicura.it
- Starting date:
- Year: 2017 Length in months: 36
- Other members of the research group:
-
Agostino CORTESI
Riccardo FOCARDI
- Formal Specification for Secured Software System
-
- Funding body:
- MIUR
- Type:
- Altri finanziamenti per progetti di ricerca
- Role in the project:
- NS
- Starting date:
- Year: 2017 Length in months: 36
- Other members of the research group:
-
Agostino CORTESI
Riccardo FOCARDI
- SAFE PLACE. Sistemi IoT per ambienti di vita salubri e sicuri
-
- Funding body:
- Regione del Veneto - POR FESR 2014-2020
- Type:
- POR FESR (2014-2020)
- Role in the project:
- PT
- Sito di progetto:
- https://www.safe-place.it/
- Starting date:
- Year: 2020 Length in months: 28
- Other members of the research group:
-
Riccardo FOCARDI
Andrea MARIN
Francesco PALMARINI
- SERICS - Supply Chain Attack Avoidance (SCAI)
-
- Funding body:
- MIUR - PNRR
- Type:
- Altri programmi ministeriali
- Role in the project:
- LD
- Sito di progetto:
- https://serics.eu/
- Starting date:
- Year: 2023 Length in months: 36
- Other members of the research group:
-
Stefano CALZAVARA
Paolo FALCARIN
Riccardo FOCARDI
- SOFT - Security Oriented Formal Techniques
-
- Funding body:
- MIUR
- Type:
- PRIN
- Role in the project:
- LD
- Starting date:
- Year: 2007 Length in months: 24
- Other members of the research group:
-
Agostino CORTESI
Riccardo FOCARDI
- Securing Smartbuilding Devices
-
- Funding body:
- Regione POR FESR 2014-2020
- Type:
- Conto terzi - Prestazioni di ricerca
- Role in the project:
- NS
- Starting date:
- Year: 2020 Length in months: 2
- Other members of the research group:
-
Riccardo FOCARDI
- Security Horizons
-
- Funding body:
- MIUR
- Type:
- PRIN
- Role in the project:
- PT
- Starting date:
- Year: 2012 Length in months: 36
- Other members of the research group:
-
Agostino CORTESI
Riccardo FOCARDI
- Sistema domotico IoT integrato ad elevata sicurezza informatica per smart building
-
- Funding body:
- POR FESR
- Type:
- POR FESR (2014-2020)
- Role in the project:
- PT
- Starting date:
- Year: 2017 Length in months: 36
- Other members of the research group:
-
Agostino CORTESI
Riccardo FOCARDI
Andrea MARIN
Francesco PALMARINI
- TESLA - Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni - 2010
-
- Funding body:
- Regione Sardegna
- Type:
- Altri finanziamenti di ricerca
- Role in the project:
- PT
- Starting date:
- Year: 2010 Length in months: 18
- Other members of the research group:
-
Agostino CORTESI
Riccardo FOCARDI
- iNEST ”Interconnected NordEst Innovation Ecosystem
-
- Funding body:
- EU-PNRR
- Type:
- Altri programmi ministeriali
- Role in the project:
- PT
- Starting date:
- Year: 2022 Length in months: 36
Publication highlights
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,
Article in Conference Proceedings - ARCA card: 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,
Article in Conference Proceedings - ARCA card: 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,
Journal Article - ARCA card: 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,
Article in Conference Proceedings - ARCA card: 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,
Journal Article - ARCA card: 10278/3717033
List of publications
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
The information above has been uploaded on Ca' Foscari website directly by the person this webpage refers to. The correctness and the truthfulness of the published information are the responsibility of the relevant person.