Wednesday,
Hours 2:00 PM
- 6:00 PM,
Ca' Vignal 2, Floor 1, room 78
In caso di mia assenza presso lo studio, inviate una email!
Modules running in the period selected: 55.
Click on the module to see the timetable and course details.
Topic | Description | Research area |
---|---|---|
Static Analysis | Study of techniques for the static analysis of programming languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. |
Software Engineering and Security
Software organization and properties |
Formal software and application security | Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. |
Software Engineering and Security
Software and application security |
Code protection | Development of formal techniques and tools for the protection of software. |
Software Engineering and Security
Formal methods and theory of security |
Program semantics | Development of semantic models for characterizing security and analysis problems of programming languages |
Theory of computation
Semantics and reasoning |
Code synthesis | Study and development of techniques for the synthesis of code (or code transformers) from the specification of semantic code properties. |
Software Engineering and Security
Software creation and management |