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

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