Sciweavers

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