Number of hours
- Lectures 36.0
- Projects -
- Tutorials 18.0
- Internship -
- Laboratory works 24.0
- Written tests -
ECTS
ECTS 6.0
Goal(s)
The course present cryptographic engineering: main cryptographic primitives and security protocols, focusing on security parameters and properties, their implementations and security analysis.
Responsible(s)
Clement PERNET
Content(s)
- 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
Test
Practical Works (TP) and assignments
Final Examination
The exam is given in english only
Calendar
The course exists in the following branches:
- Curriculum - Master in Computer Science - Semester 9 (this course is given in english only )
- Curriculum - Master in Applied Mathematics - Semester 9 (this course is given in english only )
Additional Information
Course ID : WMM9SY03
Course language(s):
You can find this course among all other courses.