Research Opportunity
Criptography
[Closed]
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
[Closed]
Cluster / Centre
Computer Science / High-Assurance Software