• General
CMS - 1.11.1 - Baltra

nas.inf - networksandsecurity.informatics

Three main research strands are pursued:

Real-world secure systems, involving the design and prototyping of systems that securely address certain needs of modern society; examples are systems for electronic exams, privacy preservation and life support.

Socio-technical analysis, pertaining to the formal and analytical analyses of real-world secure systems with a full(er and fuller) account on their human users; examples are the analyses of TLS certificates, web registration ceremonies and flight boarding procedures.

Tomorrow's networks, focusing on the in-depth emprical analysis and simulation of modern networks' problems such as power consumption, route maintainance and reputation, with the aim of defining future networks.