Verimag

bibtex

@inproceedings{LP15,
    title = {Performance Evaluations of Cryptographic Protocols. Verification Tools Dealing with Algebraic Properties },
    author = {Lafourcade, Pascal and Puys, Maxime},
    year = {2015},
    booktitle = {To appear in FPS 2015},
    team = {DCS, PACSS},
}

Publication Sections


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

info visites 804226