Inria
/
Raweb 2010
Presentation of the Project cascade
Logo Inria
cascade
Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
2010 Research Team Activity Report
Paris - Rocquencourt
Area :
Algorithmics, Programming, Software and Architecture
Theme : Algorithms, Certification, and Cryptography
Presentation of the Project-Team
- Activity Report in
PDF
format
Members
Overall Objectives
Presentation
Scientific Foundations
Provable Security
Cryptanalysis
Symmetric Cryptography
Application Domains
Hash Functions
Anonymity and Privacy
Copyright Protection
Lattice-Based Cryptography
Cryptanalysis
Software
ProVerif
CryptoVerif
Contracts and Grants with Industry
Contracts with Industrials
Other Grants and Activities
European Initiatives
Grants
Exterior Research Visitors
Dissemination
Editorial Boards
Program Committees
Teaching
Ph.D/Habilitation Defenses
Ph.D/Habilitation Committees
Invited Talks
Invitations
Seminar Presentations
Participation to Workshops and Conferences
Scientific Animation
Bibliography
Major publications
Publications of the year
References in notes