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 | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4003125