EN FR
EN FR


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