Sciweavers

4719 search results - page 15 / 944
» Newtonian program analysis
Sort
View
IFIP
2010
Springer
13 years 2 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi