Title: PhD fellowship on Quantum-Resistant (QR) Trusted Platform Modules (TPMs)
Contact name: Prof. Leonel Sousa
Institution: INESC-ID, Universidade de Lisboa
Type of applicant: PhD fellowship
Application deadline: 28/02/2018
We are seeking applications for PhD students to work in the Signal Processing System Group of INESC-ID on the EU Horizon2020-funded FutureTPM project.
The goal of FutureTPM is to design a quantum-resistant (QR) Trusted Platform Module (TPM) by designing and developing QR algorithms suitable for integration in a TPM. The algorithm design will be accompanied with implementations and performance and security evaluations, as well as formal security analyses in the full range of TPM environments: hardware, software and virtual. The lead users will be in the online banking, activity tracking and device management domains, which will provide environments and applications to validate the FutureTPM framework.
Security, privacy and trust in a computing system are usually achieved using tamper-resistant devices to provide core cryptographic and security functions. The TPM is one such device and provides the system with a root-of-trust and cryptographic engine. However, to sustain enhanced security posture, it is crucial that the crypto functions in the TPM are not merely secure for today but will also remain secure in the long-term against quantum attacks.
FutureTPM will address this challenge by providing a new generation of TPM solutions, incorporating robust and provably-secure QR algorithms. Quantum computers may become a reality within the next decades, making current public-key algorithms open to attack. Therefore, QR cryptography is required. A key strategic objective of FutureTPM is to contribute to establishing QR architectures and systems to be adopted in the EU. The consortium consists of high caliber industrial and academic partners from across Europe combining QR crypto researchers with TPM developers.
Applicants should have expertise in one or more of the following: digital systems design, computer architecture, cryptography and formal verification. Applicants should possess a degree on Electrical and Computer Engineering or Computer Science.
The main tasks will be:
- Development of QR algorithms and architectures
- Design and implementation of hardware and software systems
- Apply knowledge in a way which develops new intellectual understanding
- Writing technical reports and papers
The research work will be done at INESC-ID (http://www.inesc-id.pt/), Universidade de Lisboa.