FOCARDI Riccardo

Position Full Professor
Telephone 041 234 8438
E-mail focardi@unive.it
Website www.unive.it/persone/focardi (personal record)
 http://www.dsi.unive.it/~focardi
Office Department of Environmental Sciences, Informatics and Statistics
Sito web struttura: http://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B07 (Zeta B building)

Activities and research skills

General information

Scientific sector (SSD) INFORMATICA [INF/01]
Settore Scientifico Disciplinare (SSD) affine SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI [ING-INF/05]
Geographic areas in which the research experience mainly applies Internazionale: Europa, America Settentrionale
Known languages Italiano (scritto: madrelingua parlato: madrelingua)
Inglese (scritto: avanzato parlato: avanzato)
Participation in editorial boards of scientific journals/book series Journal of Computer Security (JCS) - IOS Press - member of the Editorial Board
Participation as referees of national and international research projects È stato revisore di progetti finanziati dalla Comunità Europea e progetti FIRB nazionali
Areas and research fields Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica

Research skills

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
Keywords Data protection, Modelling tools, Systems design
ATECO code [62.02] - consulenza nel settore delle tecnologie dell’informatica

Completed and pending researches

Analisi di Protocolli Crittografici

SSD INF/01
Other members of the research group Michele BUGLIESI

Crittografia

SSD INF/01
Other members of the research group Flaminia LUCCIO
Matúš NEMEC

Security APIs

SSD INF/01
Other members of the research group Flaminia LUCCIO
Francesco PALMARINI

Sicurezza Web

SSD INF/01
Other members of the research group Stefano CALZAVARA
Mauro TEMPESTA

Sicurezza delle reti

SSD INF/01
Other members of the research group Flaminia LUCCIO

Sicurezza di smartcard e dispositivi RFID

Other members of the research group Flaminia LUCCIO
Francesco PALMARINI

Funds

ADAPT: Accessible Data for Accessible Proto-types in Social Sector

Funding body MIUR
Type Bando Smart Cities
Role in the project NS
Starting date Year: 2013 Length in months: 48
Other members of the research group 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)

Funding body POR FESR
Type POR FESR (2014-2020)
Role in the project NS
Starting date Year: 2017 Length in months: 36
Other members of the research group Agostino CORTESI
Flaminia LUCCIO

Client-side Security Enforcement for Mobile and Web Applications

Funding body MIUR-DAAD
Type MIUR - MAECI - DAAD
Role in the project LD
Starting date Year: 2016 Length in months: 12
Other members of the research group Stefano CALZAVARA
Flaminia LUCCIO
Mauro TEMPESTA

EUTYPES - 2016

Funding body Unione Europea
Type COST
Role in the project PT
Starting date Year: 2016 Length in months: 36
Other members of the research group Michele BUGLIESI
Agostino CORTESI

FilieraSicura: security of national infrastructures

Funding body CISCO and Leonardo
Type Altri finanziamenti per progetti di ricerca
Role in the project PT
Sito di progetto http://www.filierasicura.it
Starting date Year: 2017 Length in months: 36
Other members of the research group Agostino CORTESI
Flaminia LUCCIO

Formal Specification for Secured Software System

Funding body MIUR
Type Altri finanziamenti per progetti di ricerca
Role in the project NS
Starting date Year: 2017 Length in months: 36
Other members of the research group Agostino CORTESI
Flaminia LUCCIO

SOFT - Security Oriented Formal Techniques

Funding body MIUR
Type PRIN
Role in the project LD
Starting date Year: 2007 Length in months: 24
Other members of the research group Agostino CORTESI
Raju HALDER
Flaminia LUCCIO

Security Horizons

Funding body MIUR
Type PRIN
Role in the project PT
Starting date Year: 2012 Length in months: 36
Other members of the research group Agostino CORTESI
Raju HALDER
Flaminia LUCCIO

Sicurezza delle informazioni nel territorio veneto

Funding body Regione Veneto
Type Altri finanziamenti per progetti di ricerca
Role in the project LD
Starting date Year: 2013 Length in months: 12

Sicurezza delle infrastrutture di nuova generazione nel territorio veneto

Funding body Regione Veneto
Type Altri finanziamenti per progetti di ricerca
Role in the project LD
Starting date Year: 2010 Length in months: 12

Sistema domotico IoT integrato ad elevata sicurezza informatica per smart building

Funding body POR FESR
Type POR FESR (2014-2020)
Role in the project PT
Starting date Year: 2017 Length in months: 36
Other members of the research group Agostino CORTESI
Flaminia LUCCIO
Andrea MARIN
Francesco PALMARINI

TESLA - Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni - 2010

Funding body Regione Sardegna
Type Altri finanziamenti di ricerca
Role in the project PT
Starting date Year: 2010 Length in months: 18
Other members of the research group Agostino CORTESI
Raju HALDER
Flaminia LUCCIO

Verifica tessere biglietteria ACTV

Funding body Actv spa
Type Conto terzi - Consulenza e analisi
Role in the project LD
Starting date Year: 2010 Length in months: 2