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