Trusted Computing Ecosystem

The project aims to study the TPM ecosystem as currently exists in deployed devices and software applications using it, establish the types of chips and their properties one can encounter, investigate the state of patching of known vulnerabilities like ROCA against Infineon’s TPM (CVE-2017-15361) or TPMFail against Intel’s fTPM (CVE-2019-11090) and STM’s TPM (CVE-2019-16863) and analyze a reliability of stored integrity measurements (PCRs) for remote attestation and disk encryption uses.

Improving Full Disk Encryption

The primary focus of this project is also data integrity protection, either in combination with encryption (authentication encryption) or standalone using dm-integrity and dm-verity kernel driver.

Kernel programming and debugging mini-course labs

The Linux® kernel is the main component of a Linux operating system and is the core interface between a computer’s hardware and its processes.1  It communicates between the two; managing the hardware, running user programs, and maintaining the security and...