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