Antonio Gonzalez Burgueño

1

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: CristinDBLPGoogle Scholar
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:
  1. ICISSP Doctoral Consortium, Rome, Italy, 2016
  2. NISK, Fredrikstad, Norway, 2014
This entry was posted in Alumni and tagged . Bookmark the permalink.