Verimag

PROSE

ANR 2010-VERS-004

Description

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

See online : Prose Web Page

Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 17 ; visits: 447937