Summary

This course reviews some failure cases in public-key cryptography. It introduces some cryptanalysis techniques. It also presents fundamentals in cryptography such as interactive proofs. Finally, it presents some techniques to validate the security of cryptographic primitives.

Content

Keywords

cryptography, cryptanalysis, interactive proof, security proof

Learning Prerequisites

Required courses

• Cryptography and security (COM-401)

Important concepts to start the course

• Cryptography
• Mathematical reasoning
• Number theory and probability theory
• Algorithmics
• Complexity

Learning Outcomes

By the end of the course, the student must be able to:

• Assess / Evaluate the security deployed by cryptographic schemes
• Prove or disprove security
• Justify the elements of cryptographic schemes
• Analyze cryptographic schemes
• Implement attack methods
• Model security notions

Teaching methods

ex-cathedra

Expected student activities

• active participation during the course
• take notes during the course
• do the exercises during the exercise sessions
• complete the regular tests and homework
• read the material from the course
• self-train using the provided material
• do the midterm exam and final exam

Assessment methods

Mandatory continuous evaluation:

• homework (30%)
• regular graded tests (30%)
• midterm exam (40%)

Final exam averaged (same weight) with the contiuous evaluation, but with final grade between final_exam-1 and final_exam+1.

Supervision

Resources

Bibliography

• Communication security: an introduction to cryptography. Serge Vaudenay. Springer 2004.
• A computational introduction to number theory and algebra. Victor Shoup. Cambridge University Press 2005.
• Algorithmic cryptanalysis. Antoine Joux. CRC 2009.

Ressources en bibliothèque

• Algorithmic cryptanalysis / Joux
• A computational introduction to number theory and algebra / Shoup
• Communication security / Vaudenay

Websites

• https://lasec.epfl.ch/teaching.php

Moodle Link

• https://go.epfl.ch/COM-501

Videos

• https://mediaspace.epfl.ch/channel/COM-501+Advanced+Cryptography