Static analysis and code protection (2014/2015)

Course code
Name of lecturer
Mila Dalla Preda
Mila Dalla Preda
Number of ECTS credits allocated
Academic sector
Language of instruction
I sem. dal Oct 1, 2014 al Jan 30, 2015.

Lesson timetable

I sem.
Day Time Type Place Note
Tuesday 11:30 AM - 1:30 PM lesson Lecture Hall F  
Wednesday 2:30 PM - 4:30 PM lesson Lecture Hall I  

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.