Sfoglia per Autore
Special Issue on CSFW17
2006-01-01 Focardi, Riccardo
Information Flow Security in Dynamic Contexts
2006-01-01 Focardi, Riccardo; Rossi, Sabina
Secure shared data-space Coordination Languages: a Process Algebraic survey
2006-01-01 Focardi, Riccardo; R., Lucchi; G., Zavattaro
A calculus of challenges and responses
2007-01-01 M., Backes; Cortesi, Agostino; Focardi, Riccardo; Maffei, Matteo
Dynamic Types for Authentication
2007-01-01 Bugliesi, Michele; Focardi, Riccardo; M., Maffei
Information flow security of multi-threaded distributed programs
2008-01-01 M., Centenaro; Focardi, Riccardo
Information flow security in Boundary Ambients
2008-01-01 Braghin, C; Cortesi, Agostino; Focardi, Riccardo
Language Based Secure Communication
2008-01-01 Bugliesi, Michele; Focardi, Riccardo
Secure your PKCS#11 token against API attacks!
2009-01-01 M., Bortolozzo; G., Marchetto; Focardi, Riccardo; G., Steel
Type-based Analysis of Financial APIs
2009-01-01 M., Centenaro; Focardi, Riccardo; Luccio, Flaminia; G., Steel
Security Abstractions and Intruder Models
2009-01-01 Bugliesi, Michele; Focardi, Riccardo
Type-based Analysis of Financial APIs (extended abstract)
2009-01-01 M., Centenaro; Focardi, Riccardo; Luccio, Flaminia; G., Steel
Type-Based Analysis of PIN Processing APIs
2009-01-01 M., Centenaro; Focardi, Riccardo; Luccio, Flaminia; G., Steel
Improving PIN Processing API Security
2009-01-01 Focardi, Riccardo; Luccio, Flaminia; Steel, G.
Blunting Differential Attacks on PIN Processing APIs
2009-01-01 Focardi, Riccardo; Luccio, Flaminia; Steel, G.
Channel Abstractions for Network Security
2010-01-01 Bugliesi, Michele; Focardi, Riccardo
Attacking and Fixing PKCS#11 Security Tokens.
2010-01-01 M., Bortolozzo; M., Centenaro; Focardi, Riccardo; G., Steel
Cracking Bank PINs by Playing Mastermind
2010-01-01 Focardi, Riccardo; Luccio, Flaminia
Analysis and development of Security APIs for disposable RFID tickets
2011-01-01 Focardi, Riccardo; Luccio, Flaminia
Fixing PKCS#11 by key-diversification
2011-01-01 Focardi, Riccardo; Centenaro, Matteo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile