.:. Consultation > Par auteur > Arora .:.

2 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Validating Integrity for the Ephemerizer's Protocol with CL-Atse Arora C., Turuani M. Dans Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration, Springer Berlin Heidelberg (Ed.) (2009) 21-32 [hal-00758659 - version 1]

Adding Integrity to the Ephemerizer's Protocol Arora C., Turuani M. Dans Sixth International Workshop on Automatic Verification of Critical Systems - AVOCS'06 (2006) 146-151 [inria-00091660 - version 1]