Sciweavers

80 search results - page 2 / 16
» ifip 2009
Sort
View
56
Voted
IFIP
2009
Springer
15 years 4 months ago
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
Sibylle B. Fröschle, Graham Steel
IFIP
2009
Springer
15 years 4 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
IFIP
2009
Springer
15 years 2 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier