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 Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity



Work description

Getting familiar with Jasmin and EasyCrypt. Analysis of existing MPC in the Head implementations. Implementation and optimization of said protocols in Jasmin. Formal verification of the optimized code. A background at the Masters level in cryptography is important for this goal.

Academic Qualifications

MSc Degree in Computer Science

Minimum profile required

Solid knowledge in cryptography.Solid knowledge in programming.

Preference factors

- Experience in Jasmin - Experience in provable security. - Knowledge of formal verification.

Application Period

Since 05 Jan 2022 to 18 Jan 2022


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Manuel Barbosa