Sciweavers

3718 search results - page 26 / 744
» Programming by Integration in Robotics
Sort
View
IFIP
2010
Springer
14 years 4 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi