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

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

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