Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Piano Didattico

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
6
B
ING-INF/05
6
B
ING-INF/05
6
B
ING-INF/05

2° Anno   Attivato nell'A.A. 2011/2012

InsegnamentiCreditiTAFSSD
6
B
ING-INF/05
Tre insegnamenti a scelta tra i seguenti
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
FIS/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
SECS-P/10
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
C
INF/01
6
B
INF/01
Altre attivita' formative
4
F
-
24
E
-
InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
6
B
ING-INF/05
6
B
ING-INF/05
6
B
ING-INF/05
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
8
D
-

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.

A Attività di base
B Attività caratterizzanti
C Attività formative affini o integrative
D Attività a scelta dello studente
E Prova finale
F Altre attività formative
S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Analisi statica e protezione  (2011/2012)

Codice insegnamento

4S02908

Docente

Roberto Giacobazzi

Coordinatore

Roberto Giacobazzi

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Periodo

I semestre dal 3 ott 2011 al 31 gen 2012.

Pagina Web

http://profs.sci.univr.it/~giaco/asp.html

Seminari 0

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 SPY-laboratorio su problematiche di analisi statica e protezione di software. Gli esami sono sostenuti, su appuntamento individuale o di gruppo con il docente, in 6 appelli distribuiti 2 per sessione.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI