Riccardo FOCARDI

Position
Full Professor
Telephone
041 234 8438
E-mail
focardi@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/people/focardi (personal record)
 http://www.dsi.unive.it/~focardi
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)

Activities and research skills

Scientific sector (SSD)
INFORMATICA [INF/01]
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
Areas and research 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
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
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
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 (SCAI)
Funding body:
MIUR - PNRR
Type:
Altri programmi ministeriali
Role in the project:
PT
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
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