Static analysis and code protection (2015/2016)

Course code
Name of lecturers
Mila Dalla Preda, Roberto Giacobazzi
Mila Dalla Preda
Number of ECTS credits allocated
Academic sector
Language of instruction
I semestre dal Oct 1, 2015 al Jan 29, 2016.

Lesson timetable

I semestre
Day Time Type Place Note
Thursday 12:30 PM - 2:30 PM lesson Lecture Hall C  
Friday 8:30 AM - 11:30 AM lesson Lecture Hall C  

Learning outcomes

The goal is to reach a deep comprehension and development ability in program analysis and protection. The application area concerns the development of tools for analysis an code certification, reverse engineering of code, digital forensics and code protection against theft (IPP). Particular emphasis is devoted to code protection by code obfuscation, watermarking, tamper-proofing and code attack by malware.


Mathematical bases: Lattice theory and Fixpoint theory; Attack and defense: Attack, Data Flow Analysis, Static Attack, Dynamic Attack, Program Monitoring, Levels of interpretation and specialization, Code Slicing; Approximation: fix point approximation, Abstract Interpretation, Completeness, incompleteness and obfuscation; Obfuscation theory: impossibility and obfuscation via interpretation, Static Obfuscation and Dynamic Obfuscation; Tamper-proofing; Watermarking: definitions (water/birth/finger marking), Static Watermarking, Dynamic Watermarking, Abstract Watermarking; Similarity analysis, Law references and principles of digital forensics.

Assessment methods and criteria

Cooperative project in SPY-Lab on code analysis and/or protection. The exams are 4, scheduled 1 in each Session, each individual exam scheduled by appointment with the teacher.

Student opinions - 2015/2016

Statistics about transparency requirements (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Outcomes Exams Outcomes Percentages Average Standard Deviation
Positive 100.0% 30 0
Rejected --
Absent --
Ritirati --
Canceled --
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% 16.6% 0.0% 41.6% 41.6%

Data from AA 2015/2016 based on 24 students. I valori in percentuale sono arrotondati al numero intero più vicino.