Ph.D. started in: 2016
Expected year of graduation: 2020
COINS consortium member: University of Oslo
Supervised by: Olaf Owe, Martin Steffen, Toktam Ramezanifarkhani
Research area: Models and Protocols
Project title: Security For Communicating Object Systems
Project description: To keep confidential information secure from unauthorized access, by defining and enforcing information security poilicies and principles, using formal semantics and language based security.
- COINS Finse winter school, Finse, Norway, 2017