Sciweavers

5235 search results - page 80 / 1047
» Analysis of Multithreaded Programs
Sort
View
IFIP
2010
Springer
14 years 8 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi