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