Project Team Cascade

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


2011 Team Activity Report
CASCADE
Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
Research centre: Paris - Rocquencourt
In partnership with: CNRS, Ecole normale supérieure de Paris
In collaboration with: Laboratoire d'Informatique de l'Ecole Normale Supérieure (LIENS)
Field: Algorithmics, Programming, Software and Architecture
Theme: Algorithms, Certification, and Cryptography
Keywords: Formal Methods, Security, Algorithmic Numbers Theory, Cryptography