Technical University of Denmark

PhD defence by Zaruhi Aslanyan: Formal Analysis of Graphical Security Models

PhD defence by Zaruhi Aslanyan, Wednesday October 26 at 13:00, DTU Lyngby, building 101A, Meeting room S1.

Read more about this thesis in DTU Orbit - the official research database of the Technical University of Denmark, DTU.

Supervisor: Professor Flemming Nielson, DTU Compute.
Co-supervisor: Associate Professor Christian W. Probst, DTU Compute.

Examiners:
Associate Professor Alberto Lluch Lafuente, DTU Compute.
Research Leader, INRIA and Industrial Professor, AAU Axel Legay, France and Denmark.
Associate Professor René Rydhof, Aalborg University.

Chairperson at defence: Professor Hanne Riis Nielson, DTU Compute.

Everyone is welcome.

Time

Wed 26 Oct 16
13:00

Organizer

DTU Compute

Where

DTU Lyngby, building 101A, Meeting room S1