FOCARDI Riccardo
| Qualifica | Professore Ordinario |
|---|---|
| Telefono | 041 234 8438 |
|
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 |