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