Research Group
Cremers
My research involves the application of formal methods and cryptography to the analysis and development of secure systems. The resulting contributions include: formal foundations of security, supportive technologies and improving security standards.
