FR
EN
Cryptographie avancéeSystèmes embarqués et IOT (STI)
Advanced cryptography
Teaching unit Embedded Systems and IoT · S09T_ 2SU1 | EC Code S09O_2SU1-2
8ECTS (EU)
1Coefficient
21:20Hours
Séquencement
Learning objectives
The module is separated into two parts:
-A part on the cryptographic protocolsand methods of computer safety evidence. The purpose of this part is to understand the formal representation of cryptographic protocol security, and to be able to demonstrate the security of simple protocols by reduction. Celene: https://celene.insa-cvl.fr/course/view.php?id=482
- Part on the blockchain.
Prerequisites
| Module | Teaching unit | Semester |
|---|---|---|
| Algorithms and Complexity | Programming Principles | S5 |
| Computability, Complexity, and Problem Solving | EA Fundamental Security | S8 |
| Cryptography | Development and Mathematics for Engineers | S6 |
| Mathematics 4.3 | PO STI 2 | S4 |
| Algorithms and Programming 3 | Basic Sciences 3 | S3 |
| Algorithms and Programming 1 | Optional Constitutive Elements 1 | S1 |
Program
Cryptographic protocol part:
- Introduction to safety models;
- Reminders on public key encryption (based on the problem of discrete logarithm);
- Security models for encryption (OW-CPA, IND-CPA, OW-CCA and IND-CCA);
- Evidence of safety by reduction;
Advanced Blockchain part:
- study, use and deployment of blockchain
- attack the Blockchains
Assessment
Cryptographic protocol part: -A home duty that can earn bonus points -A table duty (without documents, without calculator)
References
A Graduate Course in Applied Cryptography (Dan Boneh and Victor Shoup) http://toc.cryptobook.us/
Skills
2| Ref. | Verb | Description | Level |
|---|---|---|---|
| C2_1 | implement | Use reductions in cryptography | 3 |
| C2_2 | prove | Prove safety fromellally | 2 |
SecNumEdu Skills
| Skill | Lecture hours | Practical hours | Entry level | Exit level |
|---|---|---|---|---|
| Cryptology | 4 | 4 | 2 | 2 |
| Formally analyze the security of a cryptographic tool | ||||
| Network and protocol security | 1 | 1 | 2 | 3 |
| Assess whether a cryptographic protocol has the security guarantees necessary for practical application | ||||
| Cryptology | 5 | 5 | 2 | 2 |
| Advanced Blockchain part: study, use and deployment of blockchain, attack on Blockchains. | ||||