Static analysis and code protection
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
II semestre dal Mar 1, 2011 al Jun 15, 2011.
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 and code protection against theft (IPP). Particular emphasis is devoted to code protection by code obfuscation, watermarking, tamper-proofing and code attack by malware.
Program analysis: Anomaly classification, risk analysis and management, static and dynamic, debugging, dataflow Analysis, 0-CFA, intra- e Inter-procedural analysis, Abstract interpretation. Attack techniques and protection:
Code transformation, reverse engineering, program monitors, code slicing,
code obfuscation, SW watermarking, finger-printing and tamper-proofing, program diversification and evolution. Malware analysis, polymorphism and metamorphism. Legal issues in code analysis, attack and protection.
Cooperative project in SPY-Lab on code analysis and/or protection.