Inria / Raweb 2011
Presentation of the Project-Team CASCADE

CASCADE

Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
2011 Research Team Activity Report
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
Presentation of the Project-Team CASCADE Activity Report in PDF


previous
next