Farzane Karami

Farzane Karami

Ph.D. started in: 2017
Expected year of graduation: 2020
COINS consortium member: University of Oslo
Supervised by: Olaf Owe
Links:
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.

1. Farzane Karami, Olaf Owe, Gerardo Schneider (2020). Information-Flow Control by means of Security Wrappers for Active Object Languages with Futures. In Proceedings of The 25th Nordic Conference on Secure IT Systems (NortdSec 2020). To appear in Lecture Notes in Computer Science (17 pages)
2. Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani (2019). Summary of: An Evaluation of Interaction Paradigms for Active Objects
3. Farzane Karami, Olaf Owe, Gerardo Schneider, Christian Johansen (2018). The Future Mechanism and Information Flow Security
4. Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani (2018). An Evaluation of Interaction Paradigms for Active Objects
5. Toktam Ramezanifarkhani, Farzane Karami, Olaf Owe (2017). A High-Level Language for Active Objects with Future-Free Support of Futures
6. Toktam Ramezanifarkhani, Farzane Karami, Olaf Owe (2017). A High-Level Language for Active Objects with Future-Free Support of Futures