A number of Trusted Execution Environments (TEEs) have emerged over the last few years. We have been examining the secure utilization of TEEs in a variety of different operation scenarios from secure Operating System (OS) log file maintenance all the way up to effective distributed reporting of sensor measurements.
Trusted Execution Environments (TEEs)
A number of Trusted Execution Environments (TEEs) have emerged over the last few years. We have been examining the secure utilization of TEEs in a variety of different operation scenarios from secure Operating System (OS) log file maintenance all the way up to effective distributed reporting of sensor measurements.
Secure Application Execution
In this research thread, we are investigating ways that guarantee the secure execution of an application in embedded/cyber-physical devices (e.g. smart cards, mobile phones, payment terminals, IoTs, etc.) that might be subjected to a number of intentional attacks (e.g. side channel attacks) and unintentional faults (e.g. caused by cosmic radiation). The main aim of this research thread is to detect any attacks, protect runtime data, provide verified instruction interpretation and control over verification, in an attempt to recover the underlying platform in a secure state. The practicality of these proposals has been implemented and tested in an FPGA platform implementing a microprocessor. Note that the is the first publication on such a topic in a high ranking conference (ESORICS).
Next Generation Trusted Platform Modules
We are part of an international consortium (FutureTPM) focusing on developing the next generation TPM (Trusted Platform Module), which is embedded into computing systems to make its host computer platform trustworthy and secure. TPMs are currently incorporated into over a billion computers worldwide and with this project, FutureTPM, we will be focusing on developing next-generation security solutions to mitigate against quantum computers. These computers are anticipated to be able to break some of the cryptographic algorithms currently used in existing TPMs. In particular, we are working on design and development of post-quantum virtual TPM.
