FOCARDI, Riccardo
FOCARDI, Riccardo
Dipartimento di Scienze Ambientali, Informatica e Statistica
A calculus of challenges and responses
2007-01-01 M., Backes; Cortesi, Agostino; Focardi, Riccardo; Maffei, Matteo
A Classification of Security Properties for Process Algebras
1995-01-01 Focardi, Riccardo; Gorrieri, R.
A Comparison of Three Authentication Properties
2003-01-01 Focardi, Riccardo; R., Gorrieri; F., Martinelli
A Compiler for Analysing Cryptographic Protocols Using Non-Interference
2000-01-01 Durante, A.; Focardi, Riccardo; Gorrieri, R.
A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs
2022-01-01 Veronese, Leonardo; Palmarini, Francesco; Focardi, Riccardo; Luccio, Flaminia
A formally verified configuration for Hardware Security Modules in the cloud
2021-01-01 Focardi, Riccardo; Luccio, Flaminia
A hard lesson: Assessing the HTTPS deployment of Italian university websites
2020-01-01 Calzavara, S.; Focardi, R.; Rabitti, A.; Soligo, L.
A modular approach to Sprouts
2004-01-01 Focardi, Riccardo; Luccio, Flaminia
A new analysis technique for the Sprouts Game
2001-01-01 Focardi, Riccardo; Luccio, Flaminia
A New Definition of Multilevel Security
2000-01-01 Focardi, Riccardo; R., Gorrieri; R., Segala
A Proof System for Information Flow Security
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study
2023-01-01 Palmarini, Francesco; Veronese, Leonardo; Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia
A Security Property for Processes in Dynamic Contexts
2002-01-01 Focardi, Riccardo; Rossi, Sabina
A semantic based tool for firewall configuration
2014-01-01 Pedro, Adão; Bozzato, Claudio; DEI ROSSI, Gian-Luca; Focardi, Riccardo; Luccio, Flaminia
A Survey of Name-Passing Calculi and Crypto-Primitives
2002-01-01 Bugliesi, Michele; Giuseppe, Castagna; Silvia, Crafa; Focardi, Riccardo; Vladimiro, Sassone
An Introduction to Security API Analysis
2011-01-01 Focardi, Riccardo; Luccio, Flaminia; Graham, Steel
Analysing Sprouts
2002-01-01 Focardi, Riccardo; Luccio, Flaminia
Analysis and development of Security APIs for disposable RFID tickets
2011-01-01 Focardi, Riccardo; Luccio, Flaminia
Analysis of Typed Analyses of Authentication Protocols
2005-01-01 Bugliesi, Michele; Focardi, Riccardo; Maffei, M.
APDU-Level Attacks in PKCS#11 Devices
2016-01-01 Bozzato, Claudio; Focardi, Riccardo; Palmarini, Francesco; Steel, Graham