Fran├žais Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Toccata
SCALP

ANR
Jan 2008 - Dec 2011

Group : Toccata
Principal investigator : PAULIN-MOHRING Christine

Administrator : 
Affiliation : CNRS

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/
Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT