Ensimag Rubrique Formation 2022

Cryptographic Engineering, Protocols & Security Models, Data privacy, coding & applications - WMM9SY03

  • Number of hours

    • Lectures 36.0
    • Projects -
    • Tutorials 18.0
    • Internship -
    • Laboratory works 24.0
    • Written tests -


    ECTS 6.0


The course present cryptographic engineering: main cryptographic primitives and security protocols, focusing on security parameters and properties, their implementations and security analysis.


Clement PERNET


  • 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)
  • symmetric cryptography
  • asymetric cryptography, ECDLP
  • Post-quantum cryptography


Preliminary (at least L3, preferably M1 level)

  • basic introduction to cryptography and cybersecurity
  • algorithms and complexity
  • programming
  • operating systems and networks


Practical Works (TP) and assignments
Final Examination

The exam is given in english only FR


The course exists in the following branches:

  • Curriculum - Master in Computer Science - Semester 9 (this course is given in english only EN)
  • Curriculum - Master in Applied Mathematics - Semester 9 (this course is given in english only EN)
see the course schedule for 2022-2023

Additional Information

Course ID : WMM9SY03
Course language(s): FR

You can find this course among all other courses.