FOCARDI Riccardo

Qualifica Professore Ordinario
Telefono 041 234 8438
E-mail focardi@unive.it
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

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