Sciweavers

80 search results - page 2 / 16
» ifip 2009
Sort
View
IFIP
2009
Springer
15 years 6 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
IFIP
2009
Springer
15 years 4 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier