Sumários
20-09-2024
- 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
27-09-2024
Bib.
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory exercises of week #2
4-10-2024
- 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
10-10-2024
- 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 exercises of week #4
18-10-2024
- 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 and extra exercises of week #5
25-10-2024
- 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
8-11-2023
Computational Complexity & Hard problems
Bib.
Extra
Slides of the expository class
Midterm test
15-11-2024
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
22-11-2024
- 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
29-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
Bib.
"Serious Cryptography: A Practical Introduction to Modern Encryption" chapter 12
RFC 8032 about Edwards-Curve Digital Signature Algorithm
NIST DSA document
RFC 8032 about Edwards-Curve Digital Signature Algorithm
NIST DSA document
Extra
Slides of the expository class
Lab session: Support in the resolution of mandatory and extra exercises of week #10
06-12-2023
- Public Key Infrastructure (PKI) plus Homomorphic Encription
Bib.
Extra
Slides of the expository class
Composite-Residuosity Based Cryptography: An Overview, Pascal Paillier
Composite-Residuosity Based Cryptography: An Overview, Pascal Paillier
Lab session: Support in the resolution of mandatory week #11
13-12-2023
- Quantum Promisses & post-Quantum Cryptography
Bib.
Extra
Slides of the expository class
Lab session: Support for the resolution of the previous tasks
Última modificação: 20/05/2025