Riccardo FOCARDI

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

Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Informatica [INFO-01/A]
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
Principali aree e linee di ricerca del Dipartimento
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
IRISS ID145 – UniKey
Ente finanziatore:
SMACT scpa
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2020 Durata mesi: 5
Altri membri del gruppo di ricerca:
Flaminia LUCCIO
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
AMADEUS “Automatic Modelling and verificAtion of Dedicated sEcUrity deviceS
Ente finanziatore:
European Union - NextGenerationEU
Tipologia:
PRIN
Ruolo nel progetto:
PT
Data inizio:
Anno: 2023 Durata mesi: 24
Altri membri del gruppo di ricerca:
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
Cybersecurity in IOT Devices for smart building
Ente finanziatore:
Fondimpresa
Tipologia:
Altri finanziamenti per attività di didattica/formazione
Ruolo nel progetto:
PT
Data inizio:
Anno: 2020 Durata mesi: 18
Altri membri del gruppo di ricerca:
Andrea ALBARELLI
Stefano CALZAVARA
Flaminia LUCCIO
Claudio SILVESTRI
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
SAFE PLACE. Sistemi IoT per ambienti di vita salubri e sicuri
Ente finanziatore:
Regione del Veneto - POR FESR 2014-2020
Tipologia:
POR FESR (2014-2020)
Ruolo nel progetto:
PT
Sito di progetto:
https://www.safe-place.it/
Data inizio:
Anno: 2020 Durata mesi: 28
Altri membri del gruppo di ricerca:
Flaminia LUCCIO
Andrea MARIN
Francesco PALMARINI
SERICS - SEcurity and RIghts In the CyberSpace - SPOKE 6
Ente finanziatore:
National Recovery and Resilience Plan (NRRP) funded by the European Union - NextGenerationEU
Tipologia:
Altri finanziamenti per progetti di ricerca
Ruolo nel progetto:
LD
Sito di progetto:
https://serics.eu/services/spoke-6-sicurezza-software-piattaforme/
Data inizio:
Anno: 2023 Durata mesi: 36
SERICS - Supply Chain Attack Avoidance (SCAI)
Ente finanziatore:
MIUR - PNRR
Tipologia:
Altri programmi ministeriali
Ruolo nel progetto:
LD
Sito di progetto:
https://serics.eu/
Data inizio:
Anno: 2023 Durata mesi: 36
Altri membri del gruppo di ricerca:
Stefano CALZAVARA
Paolo FALCARIN
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
Flaminia LUCCIO
Securing Smartbuilding Devices
Ente finanziatore:
Regione POR FESR 2014-2020
Tipologia:
Conto terzi - Prestazioni di ricerca
Ruolo nel progetto:
NS
Data inizio:
Anno: 2020 Durata mesi: 2
Altri membri del gruppo di ricerca:
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
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
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