Research Topics

The Centre’s research topics

Secure Internet Infrastructures

Enhancing the security of the Web

Formal Verification in the Centre for Cyber Trust

Learn how we apply and advance Formal Verification in the Centre

In contrast to testing, formal verification ensures the correctness and security of software by constructing mathematical proofs that consider all possible executions of a program, even in the presence of a malicious attacker. Verification is thus a rigorous technique to increase trust in software. Our centre applies verification both to software designs and to concrete programs. On both levels, we advance verification techniques and tools, and apply them to the solutions developed in the centre such as SOAP and ADEM.

1 minute

Secure Messaging Research

Secure messaging has brought end-to-end encryption to the masses. At the Centre, we close key security gaps with the end-user in focus.

Secure messaging has brought end-to-end encryption to the masses, but there is a key loophole in the security architecture of modern messaging applications: the authenticity of the keys being used. At the Centre for Cyber Trust, we made two proposals to strengthen key authentication, underpinning our solutions with insightful usability research.

1 minute