Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

IFIP
2009
Springer

favoriteEmaildiscussreport

92views Programming Languages» more IFIP 2009»

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

13 years 9 months ago

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

Download www-verimag.imag.fr

Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier

Real-time Traffic

IFIP 2009 | Programming Languages |

claim paper

Related Content

» Reducing protocol analysis with XOR to the XORfree case in the horn theory based approach

» Using ProVerif to Analyze Protocols with DiffieHellman Exponentiation

» Finite Models in FOLBased CryptoProtocol Verification

» Logical Cryptanalysis as a SAT Problem

» Practical Private Computation and ZeroKnowledge Tools for PrivacyPreserving Distributed Da...

» A Formal Approach for Automated Reasoning about OffLine and Undetectable OnLine Guessing

Post Info
More Details (n/a)

Added	25 Jul 2010
Updated	25 Jul 2010
Type	Conference
Year	2009
Where	IFIP
Authors	Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier

Comments (0)