Farzane KaramiPh.D. started in: 2017
Expected year of graduation: 2020
COINS consortium member: University of Oslo
Supervised by: Olaf Owe
Research area: Secure Software
Project title: Language-Based Security, Addressing Active Object and Distributed Systems
Project description: In this PhD project we will investigate security policies for object-oriented and distributed systems, and build on earlier work in language-based security and type systems to develop more advanced security analysis, considering both theoretical developments and tool-oriented development, and con- sidering both static approaches and run-time approaches.