Riccardo FOCARDI - Attività e competenze di ricerca
|
Settore Scientifico Disciplinare (SSD) di afferenza
|
|
|
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
|
Altri membri del gruppo di ricerca
|
|
|
Sicurezza di smartcard e dispositivi RFID
|
Altri membri del gruppo di ricerca
|
|
|
Finanziamenti
SOFT - Security Oriented Formal Techniques
|
Data inizio
|
-
Anno: 2007 Durata mesi: 24
|
|
Altri membri del gruppo di ricerca
|
|
|
Verifica tessere biglietteria ACTV
|
Data inizio
|
-
Anno: 2010 Durata mesi: 2
|
TESLA - Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni - 2010
|
Data inizio
|
-
Anno: 2010 Durata mesi: 18
|
|
Altri membri del gruppo di ricerca
|
|
|
Security Horizons
|
Data inizio
|
-
Anno: 2012 Durata mesi: 36
|
|
Altri membri del gruppo di ricerca
|
|
|
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
Feed RSS degli avvisi personali
