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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4198759