Analisi statica e protezione (2009/2010)

Codice insegnamento
4S02908
Docente
Roberto Giacobazzi
Coordinatore
Roberto Giacobazzi
crediti
6
Altri corsi di studio in cui è offerto
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Periodo
I semestre dal 1-ott-2009 al 31-gen-2010.
Pagina Web
http://profs.sci.univr.it/~giaco/asp.html

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
giovedì 15.30 - 17.30 lezione Aula F  
venerdì 8.30 - 11.30 lezione Aula B  

Obiettivi formativi

Apprendere le principali tecniche per l'analisi e la trasformazione del codice in ambito applicativo ed industriale.
Le metodologie saranno orientate ad applicazioni nell'ambito dell'utilizzo sicuro ed affidabile del SW di grosse
dimensioni, con particolare enfasi allo studio di tecniche di protezione rispetto ad errori di progettazione ed attacchi
basati su reverse engineering e malware (viruses, worms, trojan horses etc).

Programma

Programma: Analisi del software ed
affidabilità: Classificazione delle anomalie, risk analysis and management, testing statico e dinamico, debugging
automatico, dataflow Analysis, 0-CFA, analisi intra- e Inter-procedurale, Interpretazione astratta. Tecniche di attacco e
protezione del codice: Trasformazione del codice, tecniche di reverse engineering, program monitors, code slicing,
tecniche di offuscamento, tecniche di SW watermarking, fingerprinting e tamper-proofing, diversificazione ed evoluzione
del SW. Vulnerabilità: Malware analysis e metamorfismo del codice. Aspetti legali ed etici nell’ambito del DRM e code
design. Casi di studio in laboratorio.

Modalità d'esame

Realizzazione di un progetto in laboratorio su problematiche di analisi statica e protezione di software.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 100.0% 30 0
Respinti --
Assenti --
Ritirati --
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 100.0%

Valori relativi all'AA 2009/2010 calcolati su un totale di 2 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.