Sciweavers

10585 search results - page 134 / 2117
» The Orc Programming Language
Sort
View
91
Voted
IFIP
2010
Springer
14 years 9 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
80
Voted
IFIP
2010
Springer
14 years 9 months ago
Secure Upgrade of Hardware Security Modules in Bank Networks
Riccardo Focardi, Flaminia L. Luccio
98
Voted
IFIP
2010
Springer
14 years 9 months ago
Match It or Die: Proving Integrity by Equality
Matteo Centenaro, Riccardo Focardi
93
Voted
IFIP
2010
Springer
14 years 9 months ago
A Mediation Information System to Help to Coordinate the Response to a Crisis
Sébastien Truptil, Frédérick ...