ANR 2010-VERS-004


The goal of the project is to increase the confidence in security protocols, and in order to reach this goal, provide security proofs at three levels:

  • the symbolic level, in which messages are terms,
  • the computational level, in which messages are bitstrings,
  • the implementation level: the program itself.

This project is a continuation of the FormaCrypt project

View online : Prose Web Page

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

info visites 622498