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.
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2020 | Verona University | Credits