Verimag

bibtex

@inproceedings{LTV09,
    title = {Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties },
    author = {Lafourcade, Pascal and Terrade, Vanessa and Vigier, Sylvain},
    month = {nov},
    year = {2009},
    booktitle = {sixth International Workshop on Formal Aspects in Security and Trust, (FAST'09)},
    address = {Eindhoven, Netherlands},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 10 ; visits: 470402