32894 articles – 26191 Notices  [english version]
.:. Consultation > Par auteur > Arora .:.
2 documents classés par :

Validating Integrity for the Ephemerizer's Protocol with CL-Atse
Arora C., Turuani M.
In Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration, Springer Berlin Heidelberg (Ed.) (2009) 21-32 [hal-00758659 - version 1]
fulltext access Adding Integrity to the Ephemerizer's Protocol
Arora C., Turuani M.
In Sixth International Workshop on Automatic Verification of Critical Systems - AVOCS'06 (2006) 146-151 [inria-00091660 - version 1]