Secure Computing
[Open soon]
Work description
The work will be divided in the following steps: - Perform a deep dive into the AMPC literature. The output will be a Systematization of Knowledge (SoK) report comparing protocols based on their primitives. - Learn the choreographic programming language adopted within the project and map core AMPC building blocks to choreographic primitives. - Implement a select group of primitives and protocols. Prioritize the clarity of the specifications, which will be supported by a global choreographic description, over low-level optimizations. - Evaluate the prototypes in simulated network environments to demonstrate correctness and robustness. - Document the implementation details and contribute to a technical report detailing the synergy between choreographies and AMPC.
Academic Qualifications
Bachelor’s degree in Computer Science/Informatics Engineering or a related field.
Minimum profile required
- Bachelor’s degree grade average higher than 14 (out of 20).
Preference factors
- Experience in cryptographic fundamentals and functional programming languages.
Application Period
Since 12 Feb 2026 to 25 Feb 2026
[Open soon]
Centre
High-Assurance Software