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