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.
MSc Degree in Computer Science
Minimum profile required
Solid knowledge in cryptography.Solid knowledge in programming.
- Experience in Jasmin - Experience in provable security. - Knowledge of formal verification.
Since 05 Jan 2022 to 18 Jan 2022
Cluster / Centre
Computer Science / High-Assurance Software