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