PhD fellowship on Quantum-Resistant (QR) Trusted Platform Modules (TPMs)

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 (, Universidade de Lisboa.

About nesus

Jesus Carretero is a Full Professor of Computer Architecture and Technology at Universidad Carlos III de Madrid (Spain), where he is responsible for that knowledge area since 2000. He is also Director of the Master in Administration and Management of Computer Systems, which he founded in 2004. He also serves and has served as a Technology Advisor and in applied projects with several companies such as RENFE, EADS, INDRA, SIEMENS or ISOLUX, developing research and innovation projects. He is a project reviewer for Spanish research ministry and also European Union. His research activity is centered on high-performance computing systems, distributed systems and real-time systems. He has participated and leaded several national and international research projects in these areas, founded by Madrid Regional Government, Spanish Education Ministry and the European union. He was teaching in Facultad de Informática of the Universidad Politécnica de Madrid (Spain) since 1989 until 1997. In 1997 and 1998 he was a visiting scholar at the NorthWestern University of Chicago (Ill, USA), where he was researching with Prof. Alok Choudhary. He works currently at Universidad Carlos III de Madrid, where he has been teaching since 2000. Carretero is a senior member of the IEEE Computer Society and member of the ACM.