FOCARDI Riccardo

Qualifica
Professore Ordinario
Telefono
041 234 8438
E-mail
focardi@unive.it
SSD
INFORMATICA [INF/01]
Sito web
www.unive.it/persone/focardi (scheda personale)
 http://www.dsi.unive.it/~focardi
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino (edificio Alfa)
Stanza: studio Z.B07 (edificio Zeta B)

Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
INFORMATICA [INF/01]
Settore Scientifico Disciplinare (SSD) affine
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI [ING-INF/05]
Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca
Internazionale: Europa, America Settentrionale
Lingue conosciute
Italiano (scritto: madrelingua parlato: madrelingua)
Inglese (scritto: avanzato parlato: avanzato)
Partecipazione a comitati editoriali di riviste/collane scientifiche
Journal of Computer Security (JCS) - IOS Press - member of the Editorial Board
Partecipazione come referees di progetti di ricerca nazionali ed internazionali
È stato revisore di progetti finanziati dalla Comunità Europea e progetti FIRB nazionali
Aree e linee di ricerca
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
Parole chiave:
Data protection, Modelling tools, Systems design
Codice ATECO:
[62.02] - consulenza nel settore delle tecnologie dell’informatica
Analisi di Protocolli Crittografici
SSD:
INF/01
Altri membri del gruppo di ricerca:
Michele BUGLIESI
Crittografia
SSD:
INF/01
Altri membri del gruppo di ricerca:
Flaminia LUCCIO
Security APIs
SSD:
INF/01
Altri membri del gruppo di ricerca:
Flaminia LUCCIO
Francesco PALMARINI
Sicurezza Web
SSD:
INF/01
Altri membri del gruppo di ricerca:
Stefano CALZAVARA
Sicurezza delle reti
SSD:
INF/01
Altri membri del gruppo di ricerca:
Flaminia LUCCIO
Sicurezza di smartcard e dispositivi RFID
Altri membri del gruppo di ricerca:
Flaminia LUCCIO
Francesco PALMARINI
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
Flaminia LUCCIO
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
Flaminia LUCCIO
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
Flaminia LUCCIO
EUTYPES - 2016
Ente finanziatore:
Unione Europea
Tipologia:
COST
Ruolo nel progetto:
PT
Data inizio:
Anno: 2016 Durata mesi: 36
Altri membri del gruppo di ricerca:
Michele BUGLIESI
Agostino CORTESI
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
Flaminia LUCCIO
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
Flaminia LUCCIO
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
Raju HALDER
Flaminia LUCCIO
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
Raju HALDER
Flaminia LUCCIO
Sicurezza delle informazioni nel territorio veneto
Ente finanziatore:
Regione Veneto
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2013 Durata mesi: 12
Sicurezza delle infrastrutture di nuova generazione nel territorio veneto
Ente finanziatore:
Regione Veneto
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
LD
Data inizio:
Anno: 2010 Durata mesi: 12
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
Flaminia LUCCIO
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
Raju HALDER
Flaminia LUCCIO
Verifica tessere biglietteria ACTV
Ente finanziatore:
Actv spa
Tipologia:
Conto terzi - Consulenza e analisi
Ruolo nel progetto:
LD
Data inizio:
Anno: 2010 Durata mesi: 2