Antonio Gonzalez Burgueño
Ph.D. started in: 2014
Year of graduation: 2020
COINS consortium member: University of Oslo
Supervised by: Peter Ölveczky, Audun Jøsang
Links: 
Research area: Models and Protocols
Project title: Formal analysis for security ceremonies
Project description: The Ph.D. research project focuses on designing, formalizing, and formally verifying seamless and continuous user authentication architectures. A key part of the project is the development of formal analysis methods for security ceremonies.
Events attended with COINS funding:
- ICISSP Doctoral Consortium, Rome, Italy, 2016
- NISK, Fredrikstad, Norway, 2014
