Research Topics
The Centre’s research topics
Secure Internet Infrastructures
Enhancing the security of the Web
Physical Object Authentication
Securely authenticating objects in the physical world into the digital world
Our centre seeks to develop robust and reliable authentication systems for entities in the real-world environment. The primary focus is understanding the distinctive traits that make unique an entity in the physical world and exploring the feasibility of creating reliable machine learning systems that can authenticate entities using only pictures from a smartphone camera.
1 minute
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 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