title = {Automated Proofs for Asymmetric Encryption },
    author = {Courant, Judica\"el and Daubignard, Marion and Ene, Cristian and Lafourcade, Pascal and Lakhnech, Yassine},
    year = {2008},
    booktitle = {Proceedings of the {LICS}-Affiliated Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis},
    address = {Pittsburg, USA},
    team = {DCS,PACSS},

Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3968466