FOCARDI Riccardo

Qualifica Professore Ordinario
Telefono 041 234 8438
E-mail focardi@unive.it
ita-sec2017@unive.it - Cybersecurity 2017
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: http://www.unive.it/dais
Sede: Campus scientifico via Torino

Attività e competenze di ricerca

Informazioni generali
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

Competenze di ricerca

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

Ricerche sviluppate e in corso

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
Matúš NEMEC
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
Mauro TEMPESTA
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

Finanziamenti

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
Mauro TEMPESTA
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