Security of Cryptographic Algorithms with Probabilities

The SCALP project (Security of Cryptographic Algorithms with Probabilities) aims at developping automated tools for the verification of cryptographic systems.

By the end of the project we expect to have a Coq-based tool for proving correctness of cryptosystems. We will demonstrate its usefulness by considering three major areas: key-exchange protocols, computationally sound type systems for non-interference and data integrity, and watermarking. In contrast to existing Dolev-Yao based verification tools, we will be able to treat group protocols and have complexity-theoretic proofs.

Research activities
  Program proof
  Randomized algorithms

Participants

Publications : http://scalp.gforge.inria.fr/
More information : http://scalp.gforge.inria.fr/