Home
2012 Project-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: Département d'Informatique de l'Ecole Normale Supérieure
In collaboration with: Département d'Informatique de l'Ecole Normale Supérieure
Field: Algorithmics, Programming, Software and Architecture
Theme: Algorithms, Certification, and Cryptography
Theme: Algorithms, Certification, and Cryptography
Keywords: Formal Methods, Security, Algorithmic Numbers Theory, Cryptography