Qualifying exam: NEW COVERT CHANNELS AND ENFORCEMENT OF INFORMATION FLOW PROPERTIES IN HIGH-LEVEL PROGRAMMING LANGUAGES

PhD student Mathias Vorreiter Pedersen, Department of Computer Science

2017.07.13 | Karen Konradi

Date Wed 02 Aug
Time 12:30 14:30
Location 5342-333 Ada meetingroom, Department of Computer Science, Aarhus University, Aabogade 34, 8200 Aarhus N

External examiner: Associate Professor, Institut for Matematik og Computer Science, Danmarks Tekniske Universitet

Internal examiner: Associate professor Ira Assent, Department of Computer Science, Aarhus University

Examiner / Main supervisor: Associate Professor Aslan Aakarov, Department of Computer Science, Aarhus University

Examiner / Co-supervisor: Professor Anders Møller, Department of Computer Science, Aarhus University

Talent development, PhD students
Comments on content: 
Revised 23.10.2017