Please note that you are curently looking at the ongoing Academic Programs. Applications are now closed for this academic year (2020-2021) for licences, professional licences, masters, DUT and regulated health training. If you are interested for an application in 2021-2022, please click on this link for the appropriate Academic Programs.
Degrees incorporating this pedagocial element :
Description
The course present the main cryptographic primitives and security protocols, focusing on security parameters and properties.
Pedagogical goals:
- generic cryptographic primitives: one-way, trap-door and hash functions; random generators; symmetric and assymertic cipher; interactive protocols;
- security properties : complexity and reduction proofs; undistinguidhability; non-malleability; soundness, completeness and zero-knowledge; confidentiality; authentication; privacy; non-repudiation
- use, deployment and integration of protocols in standard crypro lib (eg open-ssl)
- security proofs : fundations and verufucation based on tools (eg avispa)
Courses offered by :
In brief
Period : Semestre 9Credits : 6
Number of hours
- Tutorials (TD) : 21h
- Lectures (CM) : 36h
- Practical work (TP) : 21h
Location(s) : Grenoble
Language(s) : French
Contact(s)
Philippe Elbaz-Vincent
Jean-Louis Roch
Cristian Ene
Cedric Lauradoux
