Riccardo FOCARDI

Position
Full Professor
Telephone
041 234 8438
E-mail
focardi@unive.it
Academic discipline
Informatics [INFO-01/A]
Website
https://www.unive.it/web/en/19197/people/focardi(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.B06 (Zeta B building)

Office hours

Teaching activity current year

COMPUTER SCIENCE AND INFORMATION TECHNOLOGY [CM90]
Laurea magistrale (DM270)

SYSTEM SECURITY (6 su 12 cfu) [CM0631]
SYSTEM SECURITY (6 cfu) [CM0625]

INFORMATICA [CT3]
Laurea

SECURITY (6 cfu) [CT0657]

INFORMATICA [CTR3]
Laurea

SECURITY (6 cfu) [CT0657]
SISTEMI OPERATIVI - MOD.2 (6 su 12 cfu) [CT0125]

Teaching activity previous years

Activities and research skills

Academic discipline
Informatica [INFO-01/A]
Settore Scientifico Disciplinare (SSD) affine
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI [ING-INF/05]
Geographic areas in which the research experience mainly applies
Internazionale: Europa, America Settentrionale
Known languages
Italiano (scritto: madrelingua parlato: madrelingua)
Inglese (scritto: avanzato parlato: avanzato)
Participation in editorial boards of scientific journals/book series
Journal of Computer Security (JCS) - IOS Press - member of the Editorial Board
Participation as referees of national and international research projects
È stato revisore di progetti finanziati dalla Comunità Europea e progetti FIRB nazionali
Main departmental research areas and fields
Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica
Sicurezza Informatica - studio modellazione e analisi di proprietà di sicurezza su sistemi e reti di elaboratori
Description:
Computer Security - analysis and modelling of security properties for computer systems and networks
Keywords:
Data protection, Modelling tools, Systems design
ATECO code:
[62.02] - consulenza nel settore delle tecnologie dell’informatica
Analisi di Protocolli Crittografici
SSD:
INF/01
Other members of the research group:
Michele BUGLIESI
Crittografia
SSD:
INF/01
Other members of the research group:
Flaminia LUCCIO
Security APIs
SSD:
INF/01
Other members of the research group:
Flaminia LUCCIO
Francesco PALMARINI
Sicurezza Web
SSD:
INF/01
Other members of the research group:
Stefano CALZAVARA
Sicurezza delle reti
SSD:
INF/01
Other members of the research group:
Flaminia LUCCIO
Sicurezza di smartcard e dispositivi RFID
Other members of the research group:
Flaminia LUCCIO
Francesco PALMARINI
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:
Flaminia LUCCIO
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
Flaminia LUCCIO
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
Flaminia LUCCIO
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:
Flaminia LUCCIO
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
Flaminia LUCCIO
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
Flaminia LUCCIO
Claudio SILVESTRI
EUTYPES - 2016
Funding body:
Unione Europea
Type:
COST
Role in the project:
PT
Starting date:
Year: 2016 Length in months: 36
Other members of the research group:
Michele BUGLIESI
Agostino CORTESI
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
Flaminia LUCCIO
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
Flaminia LUCCIO
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:
Flaminia LUCCIO
Andrea MARIN
Francesco PALMARINI
SERICS - SEcurity and RIghts In the CyberSpace - SPOKE 6
Funding body:
National Recovery and Resilience Plan (NRRP) funded by the European Union - NextGenerationEU
Type:
Altri finanziamenti per progetti di ricerca
Role in the project:
LD
Sito di progetto:
https://serics.eu/services/spoke-6-sicurezza-software-piattaforme/
Starting date:
Year: 2023 Length in months: 36
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
Flaminia LUCCIO
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
Flaminia LUCCIO
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:
Flaminia LUCCIO
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
Flaminia LUCCIO
Sicurezza delle informazioni nel territorio veneto
Funding body:
Regione Veneto
Type:
Altri finanziamenti per progetti di ricerca
Role in the project:
LD
Starting date:
Year: 2013 Length in months: 12
Sicurezza delle infrastrutture di nuova generazione nel territorio veneto
Funding body:
Regione Veneto
Type:
Altri finanziamenti per progetti di ricerca
Role in the project:
LD
Starting date:
Year: 2010 Length in months: 12
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
Flaminia LUCCIO
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
Flaminia LUCCIO
Verifica tessere biglietteria ACTV
Funding body:
Actv spa
Type:
Conto terzi - Consulenza e analisi
Role in the project:
LD
Starting date:
Year: 2010 Length in months: 2

Publication highlights

Bramante, Salvatore; Busi, Matteo; Cilardo, Alessandro; Focardi, Riccardo; Luccio, Flaminia; Mazzocca, Nicola; Vitale, Francesco Security Auditing for RISC-V SoCs via Process Mining , ARES 2026 EU Projects Symposium Workshops., LNCS, pp. 589-604, Convegno: ARES 2026 EU Projects Symposium Workshops., August 24-27, 2026 (ISBN 9783032372178; 9783032372185) (ISSN 0302-9743)
DOI 2027, Article in Conference Proceedings - ARCA card: 10278/5124808

Salvatore Bramante, Matteo Busi, Alessandro Cilardo, Riccardo Focardi, Flaminia Luccio , Stefano Mercogliano A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers , Proceedings of Design, Automation and Test in Europe Conference (DATE'26), IEEE, pp. 1-3, Convegno: Design, Automation and Test in Europe Conference (DATE'26)
DOI 2026, Abstract in Atti di convegno - ARCA card: 10278/5113527

Matteo Busi; Riccardo Focardi; Sana Gul; Flaminia L. Luccio Automated Analysis of Key Management Policies , Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), CEUR, vol. 3962, Convegno: Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), February 3-8, 2025
- URL correlato 2025, Article in Conference Proceedings - ARCA card: 10278/5094691

Calzavara S.; Casarin S.; Focardi R. Dynamic Security Analysis of JavaScript: Are We There Yet? , WWW 2025 - Proceedings of the ACM Web Conference, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, Inc, pp. 1105-1115, Convegno: 34th ACM Web Conference, WWW 2025, 2025
DOI 2025, Article in Conference Proceedings - ARCA card: 10278/5104730

Attaullah Buriro; Flaminia Luccio; Riccardo Focardi EUAS-GAN: Enhancing User Authentication on Smartphones Through GAN-Based Swiping Data Augmentation in Barolli, L., Advanced Information Networking and Applications, Springer, Cham, vol. 247, pp. 329-341, Convegno: International Conference on Advanced Information Networking and Applications (ISBN 978-3-031-87768-1)
DOI - URL correlato 2025, Article in Conference Proceedings - ARCA card: 10278/5092507

List of publications 

List of publications

List of selected publications 

Curriculum vitae