This course is part of the Security and Privacy MSc program of the EIT ICT Labs Master School.
Dr. Levente Buttyán, Associate Professor
BME Department of Networked Systems and Services,
Laboratory of Cryptography and System Security (CrySyS)
This course gives an overview of the basic building blocks used to engineer cryptographic protocols, and discusses in details the operation of mainstream cryptographic protocols used in wired and wireless computer networks. In particular, TLS and IPsec are covered, as well as security protocols in WiFi networks. We also study protocols used in emerging wireless networks, such as wireless sensor networks and RFID systems.
Oral exam at the end. Solving the homework assignments as a perquisite. Final grade depends on both the exam and the result of the homework assignments (75-25%)
| When | Where |
|---|---|
| Thursday, 10:15-13:00 | BME Info building, IE.460 |
| Date | Topic | Files |
|---|---|---|
| 2014.09.11. | CANCELED | |
| 2014.09.18. | Basic concepts and crypto primitives | 02_introduction.pdf 03_crypto_primitives.pdf |
| 2014.09.25. | Basic concepts and crypto primitives (cont'd) | |
| 2014.10.02. | Block encryption modes | 04_block_enc_modes.pdf 04_exercises.pdf |
| 2014.10.09. | Message authentication and authenticated encryption | 05_msg_auth_and_ae.pdf 05_exercises.pdf |
| 2014.10.16. | Key exchange protocols Random number generation |
07_kex.pdf 06_prng.pdf |
| 2014.10.23. | CANCELED | |
| 2014.10.30. | CANCELED | |
| 2014.11.06. | Verification of key exchange protocols with ProVerif | ProVerif slides, ProVerif manual |
| 2014.11.13. | Public Key Infrastructres | pki-tech.pdf |
| 2014.11.20. | TLS | 10_tls.pdf |
| 2014.11.27. | WiFi security | 09_wifi-sec.pdf, BD06ht-en |
| 2014.12.04. | IPsec | 11_ipsec.pdf |
| 2014.12.11. | Security protocols for wireless sensor networks | 14_kex-wsn.pdf 15_linksec-wsn.pdf 16_wormhole.pdf |