Sciweavers

10585 search results - page 134 / 2117
» The Orc Programming Language
Sort
View
IFIP
2010
Springer
13 years 3 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
IFIP
2010
Springer
13 years 3 months ago
Secure Upgrade of Hardware Security Modules in Bank Networks
Riccardo Focardi, Flaminia L. Luccio
IFIP
2010
Springer
13 years 3 months ago
Match It or Die: Proving Integrity by Equality
Matteo Centenaro, Riccardo Focardi