Modules running in the period selected: 23.
Click on the module to see the timetable and course details.
Topic | Description | Research area |
---|---|---|
Formal methods and theory of security | Development of formal, and possibly automated, methods for the analysis of the security of software systems |
Software Engineering and Security
Formal methods and theory of security |
Network security | Development of techniques and tools for the security of computer networks |
Software Engineering and Security
Network security |
Code protection | Development of formal techniques and tools for the protection of software. |
Software Engineering and Security
Formal methods and theory of security |
Software and application security | Development of security methodologies and technologies for the security of software systems and Internet applications |
Software Engineering and Security
Software and application security |
Software creation and management | Study and development of formal and semi-formal methodologies and technologies for the creation and management of software systems |
Software Engineering and Security
Software creation and management |
Software Verification | Decision procedures for satisfiability modulo theories and their application to check program properties; invariant generation by theorem proving; interpolating theorem proving; abstraction refinement for either model checking or static analysis by theorem proving |
Software Engineering and Security
Software creation and management |