Sumários
15-09-2023
- Introduction to class syllabus and methodology
- Basic cryptographic notation, definitions and assumptions
- Historic ciphers: algorithms, key considerations and frequency attacks
- One-time-pad and perfect security
- Adversary models and security experiments
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory and extra exercises of week #1
22-09-2023
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory exercises of week #2
29-09-2023
- Defining block ciphers
- Construction of block ciphers: SPNs and Feistel Networks
- DES, 3DES and AES
- AES internals
- Definition of symmetric encryption
- Modes of encryption: ECB, CBC and CTR
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory and extra exercises of week #3
06-10-2023
- Security of cryptographic hash functions: preimage and collision resistance
- Building blocks for hash functions: Merkle-Damgard+Davis Meyer and Sponge construction
- MD5, SHA-1, SHA-2 and SHA-3
- Message Authentication Codes - defintions
- HMAC and CMAC
- Universal Hash Functions and the Wegman-Carter construction
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory exercises of week #4
13-10-2023
- Stream Ciphers
- Stateful and Counter-based Ciphers
- LFSRs and LFSRs with filter
- NFSRs and Hybrid FSRs
- Grain 128a
- A5/1
- RC4
- Salsa 20
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory and extra exercises of week #5
20-10-2023
- Authenticated Encryption Schemes
- Modes for combining Hash and Encryption
- AES-GCM and AES-OCB
- SIV mode
- AE from permutations
- Request For Comments documents
Bib.
Extra
Slides of the expository class
Lab session: catch up time… try to solve all the previous exercises
27-10-2023
Computational Complexity & Hard problems
Bib.
Extra
Slides of the expository class
Midterm test
10-11-2023
RSA
- Notion of PKC its virtues and limitations
- Mathematical preliminaries
- Trivial notions of divisibility
- Fundamental theorem of arithmetic
- Greatest common divider and its properties
- Fermat's (little) theorem
- Euler's theorem and its corolary
- RSA and examples
- Optimal Asymmetric Encryption Padding (OEAP)
- RSA signatures
- PSS signature Standard
- Full Domain Hash Signatures
- Attacks to the RSA
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory and extra exercises of week #8
17-11-2023
- The Discrete Logarithm Problem
- Diffie-Hellman protocols and its properties
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory and extra exercises of week #9
24-11-2023
- Elliptic Curves
- Adding two points
- Multiplying by an integer
- Diffie-Hellman over an Elliptic Curve
- Signing with Elliptic Curves
- ECDSA vs. RSA Signatures
- Discrete Lattice Cryptography
- Definition of a Discrete Lattice
- The shortest vector problem and the closest vector problem
- Babai’s algorithm to solve apprCVP
- PKC using Discrete Lattices
Bib.
"Serious Cryptography: A Practical Introduction to Modern Encryption" chapter 12
To see how a quantum computer can threaten classical Cryptography based on the difficulty of finding integer factors read this (now) classical paper.
To read (much more than it is expected) about Discrete Lattice Cryptography try this tutorial.
To see how a quantum computer can threaten classical Cryptography based on the difficulty of finding integer factors read this (now) classical paper.
To read (much more than it is expected) about Discrete Lattice Cryptography try this tutorial.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory and extra exercises of week #10
15-12-2023
- Public Key Infrastructure (PKI)
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory week #11
Última modificação: 25/04/2024