Schedule
- September 24: Deadline for choosing topic and supervisor
- October 7: Latest deadline for de-registering from the course
- October 24: First draft
- November 19: Second draft
- November 30: Deadline peer reviews
- December 12: Deadline final report
- December: Presentations (agreed upon by Doodle beginning of December)
Topics
- Game-based crypto proofs and ProveIt [sup: Dominique Unruh]
- Observational equivalence in crypto proofs [sup: Dominique Unruh]
- Observational equivalence and length [sup: Dominique Unruh]
- Quantum zero-knowledge [sup: Dominique Unruh]
- Automated crypto scheme instantiation [sup: Dominique Unruh]
- A Literature Survey of the Development Processes for Secure Software [sup: Raimundas Matulevicius]
- Comparison of Security Modelling Languages for Security Risk Management [sup: Raimundas Matulevicius]
- Transforming Secure Tropos to/from Misuse Cases [sup: Raimundas Matulevicius]
- Practical implementation of a crypto-computing framework [sup: Sven Laur]
- Automatic protocol optimization [sup: Sven Laur]
- Cyclic shifts and share conversion [sup: Sven Laur]
- ProveIt development [sup: Sven Laur]
- Padding oracle attacks [sup: Helger Lipmaa]
- Efficient non-interactive zero-knowledge (NIZK) [sup: Helger Lipmaa]
- Lattice-based cryptography [sup: Helger Lipmaa]