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 View Formal Call
Research Opportunity



Work description

Getting familiar with the Coefficient-H technique, as well as the EasyCrypt theorem prover. Analysis of existing security proofs relying on the H-coefficient technique. Formalization of proofs in EasyCrypt. A background at the undergraduate level in cryptography is important for this goal.

Academic Qualifications

Bachelors Degree in Computer Science

Minimum profile required

Solid knowledge in discrete mathematics

Preference factors

- Experience in cryptography

Application Period

Since 05 Jan 2022 to 18 Jan 2022


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Manuel Barbosa