Master-Thesis
Security Reductions in Real World Scenarios
There are several sub topics:
- Security of IPse.
- Variants of IKE.
- User-centric security model?
- Generic ways to obtain multi-primitive and multi-user primitives.
- Reference implementation.
- Partially automated proofs?
- Security of SSH.
- Security of Whatsapp.
- ...