Ingegneria Informatica e Automatica

- (Pseudo)Randomness - Data Integrity - Data Confidentiality - Standards for data protection - Common Attacks and Countermeasures - Secure Software Life Cycle - Software Testing (dalla teoria al fuzzing hands-on) - Memory and Type Safety - Run-time Mitigations for Program Hardening

Conoscenze indispensabili: - Programmazione in linguaggio C - Ciclo di sviluppo/compilazione/link del software - Architettura dei calcolatori elettronici - TCP/IP Conoscenze utili: - ASM x86

Slide e risorse messe a disposizione dai docenti

La frequenza è fortemente consigliata, ma non obbligatoria.

La prova pratica prevede lo svolgimento di quesiti al calcolatore e ha una durata di due ore.

Lezioni frontali, esercitazioni, esperienze di laboratorio.

Threat Model, Adversaries, Hardness, Assumptions Randomness, Pseudorandomness and Secrets (Symmetric) Data Encryption and MAC Cryptographic Hashing and Applications Key Exchange and Digital Signatures PKIX, TLS, HTTPs Side-Channel, Replay, Sybil and Human-in-the-middle Attacks Anonymity and Anti-Censorship

algoritmi e strutture dati, sistemi operativi

Slide e risorse messe a disposizione dal docente agli studenti tempestivamente.

La frequenza è fortemente consigliata, ma non obbligatoria.

Le domande specifiche richiedono risposte che coprono la gran parte del programma del corso. La valutazione finale terrà conto della qualità delle risposte singolarmente, e della visione d'insieme che si evince dalle stesse.

The Joy of Cryptography by Mike Rosulek - https://joyofcryptography.com/

Lezioni con uso di slide e di lavagna (e/o una tavoletta grafica) con interazioni ed esempi pratici.