Partie 2 - Systematic
Partie 2 - Systematic
Partie 2 - Systematic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
04secutite?&de?fense:Mise en page 1 3/11/08 11:48 Page 91<br />
SYSTEM@TIC PARIS-REGION LES PROJETS DE R&D AU CŒUR DE LA RÉVOLUTION NUMÉRIQUE<br />
Our day-to-day lives increasingly depend upon information and our ability to manipulate it securely. For this reason much effort is<br />
put on developing systems with guaranteed security properties. The development of information security systems has to evolve from<br />
an art to a science. To this end, engineers need tools that assist them in developing security systems with provable security<br />
guarantees. The aim of the SCALP project is to develop general computer-aided tools for verifying cryptographic systems with<br />
strong correctness guarantees. These tools should have the following characteristics:<br />
• Support the provable and exact security frameworks.<br />
• Be reasonably automated.<br />
• Be applicable to realistic systems.<br />
• Put emphasis on proof checkability and certification<br />
////////////////////////////////////////////////////////////////////////////////////////////////////////////////<br />
Contact<br />
Yassine LAKHNECH<br />
UNIVERISTE GRENOBLE 1/VERIMAG<br />
04 56 52 03 81<br />
yassine.lakhnech@ujf-grenoble.fr<br />
SCALP<br />
Security of Cryptographic ALgorithms with Probabilities<br />
///// GT Sécurité & Défense<br />
////////////////////////////////////////////////////////////////////////////////////////////////////////////////<br />
PROJECTS PLANS & DELIVERABLES<br />
The project will deliver a set of tools for proving the correctness of cryptographic<br />
systems, and shall demonstrate its effectiveness on three application<br />
domains: cryptographic primitives and protocols, type systems<br />
for computational information flow, and watermarking<br />
algorithms.<br />
MAJOR PHASES OF THE PROJECTS STATUS<br />
> Automated tools for proving security of asymmetric encryption<br />
schemes and symmetric encryption modes<br />
> Automated tools for proving non-interference of cryptographic programs<br />
> Automated tools for proving watermarking algorithms<br />
First prototypes of tools for proving security of cryptographic primitives<br />
////////////////////////////////////////////////////////////////////////////////////////////////////////////////<br />
Partners<br />
Major Corporation(s)<br />
SME<br />
Coordinator: CNRS/UNIVERSITE JOSEPH FOURIER<br />
Partners:<br />
CPR TEAM AT "CENTRE D'ÉTUDES ET DE RECHERCHES<br />
EN INFORMATIQUE DU CNAM" - DCS TEAM AT VERIMAG - EVEREST TEAM<br />
AT INRIA SOPHIA-ANTIPOLIS - PLUME TEAM AT THE "LABORATOIRE D'IN-<br />
FORMATIQUE DU PARALLELISME" - PROVAL PROJECT AT LABORATOIRE<br />
DE RECHERCHE EN INFORMATIQUE AND INRIA FUTURS<br />
Duration: 48 mois<br />
Global Budget: 1,231 M €<br />
Académic(s)<br />
Funding: 472 256,00 € - Agence Nationale de la Recherche<br />
91