Accepting PhD Students
PhD projects
Formal verification of security properties of cryptographic constructions, algorithms and protocols.
Mechanisation of the above and security properties in the computational model and the symbolic model (popular rigorous mathematical models in security).