Sciweavers

80 search results - page 2 / 16
» ifip 2009
Sort
View
121
Voted
IFIP
2009
Springer
16 years 14 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