Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunities
Apply now Final Selection Minute View Formal Call
Research Opportunities

Cyber security

[Closed]

Work description

The overarching goal of this contract is to design, specify and implement a software library that addresses the post-quantum migration needs of eAuthentication systems. This library will contain high-assurance implementations of the relevant PQC cryptographic standards, as well as hybrid protocols that are relevant for the eAuthentication domain. These protocols will be identified based on the requirements identified by ongoing international initiatives in this domain and candidate designs will be formally validated via rigorous cryptographic security proofs.

Academic Qualifications

- MSc in Information Security Science.

Minimum profile required

- Previous experience in demonstrable security of post-quantum cryptographic schemes;- Experience in the area of post-quantum migration.

Preference factors

- BSc in Informatics Engineering or Computer Science.

Application Period

Since 18 Jan 2024 to 31 Jan 2024

[Closed]

Centre

High-Assurance Software

Scientific Advisor

Manuel Barbosa