FOCARDI, Riccardo

FOCARDI, Riccardo  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 143 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A calculus of challenges and responses 1-gen-2007 CORTESI, AgostinoFOCARDI, RiccardoMAFFEI, Matteo + 4.1 Articolo in Atti di convegno -
A Classification of Security Properties for Process Algebras 1-gen-1995 FOCARDI, Riccardo + 2.1 Articolo su rivista -
A Comparison of Three Authentication Properties 1-gen-2003 FOCARDI, Riccardo + 2.1 Articolo su rivista -
A Compiler for Analysing Cryptographic Protocols Using Non-Interference 1-gen-2000 FOCARDI, Riccardo + 2.1 Articolo su rivista -
A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs 1-gen-2022 Veronese LeonardoPalmarini FrancescoFocardi RiccardoLuccio Flaminia 4.1 Articolo in Atti di convegno -
A formally verified configuration for Hardware Security Modules in the cloud 1-gen-2021 Riccardo FocardiFlaminia Luccio 4.1 Articolo in Atti di convegno -
A hard lesson: Assessing the HTTPS deployment of Italian university websites 1-gen-2020 Calzavara S.Focardi R.Rabitti A.Soligo L. 4.1 Articolo in Atti di convegno -
A modular approach to Sprouts 1-gen-2004 FOCARDI, RiccardoLUCCIO, Flaminia 2.1 Articolo su rivista -
A new analysis technique for the Sprouts Game 1-gen-2001 FOCARDI, RiccardoLUCCIO, Flaminia 4.1 Articolo in Atti di convegno -
A New Definition of Multilevel Security 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
A Proof System for Information Flow Security 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 1-gen-2023 Francesco PalmariniLeonardo VeroneseMatteo BusiRiccardo FocardiFlaminia Luccio 4.1 Articolo in Atti di convegno -
A Security Property for Processes in Dynamic Contexts 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina 4.1 Articolo in Atti di convegno -
A semantic based tool for firewall configuration 1-gen-2014 Bozzato, ClaudioDEI ROSSI, Gian-LucaFOCARDI, RiccardoLUCCIO, Flaminia + 4.2 Abstract in Atti di convegno -
A Survey of Name-Passing Calculi and Crypto-Primitives 1-gen-2002 BUGLIESI, MicheleFOCARDI, Riccardo + 3.1 Articolo su libro -
An Introduction to Security API Analysis 1-gen-2011 FOCARDI, RiccardoLUCCIO, Flaminia + 3.1 Articolo su libro -
Analysing Sprouts 1-gen-2002 FOCARDI, RiccardoLUCCIO, Flaminia 7.02 Rapporto di ricerca -
Analysis and development of Security APIs for disposable RFID tickets 1-gen-2011 FOCARDI, RiccardoLUCCIO, Flaminia 4.2 Abstract in Atti di convegno -
Analysis of Typed Analyses of Authentication Protocols 1-gen-2005 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
APDU-Level Attacks in PKCS#11 Devices 1-gen-2016 Bozzato, ClaudioFOCARDI, RiccardoPALMARINI, FRANCESCO + 4.1 Articolo in Atti di convegno -