Principles of Data Flow Integrity: Specification and Enforcement. - Toktam Ramezanifarkhani; Mohammadreza Razzazi (J. Inf. Sci. Eng., 2015)

Confidentiality of Interactions in Concurrent Object-Oriented Systems. - Olaf Owe; Toktam Ramezanifarkhani (DPM/CBT@ESORICS, 2017)

Hoare-Style Reasoning from Multiple Contracts. - Olaf Owe; Toktam Ramezanifarkhani; Elahe Fazeldehkordi (IFM, 2017)

Game-theoretic analysis of Markovian play order in wireless networks. - Peyman Teymoori; Toktam Ramezanifarkhani (NetSys, 2017)

Securing the Internet of Things with Recursive InterNetwork Architecture (RINA). - Toktam Ramezanifarkhani; Peyman Teymoori (ICNC, 2018)

A secrecy-preserving language for distributed and object-oriented systems. - Toktam Ramezanifarkhani; Olaf Owe; Shukun Tokas (J. Log. Algebraic Methods Program., 2018)

A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. - Elahe Fazeldehkordi; Olaf Owe; Toktam Ramezanifarkhani (IOSec/MSTEC/FINSEC@ESORICS, 2019)

Summary of: An Evaluation of Interaction Paradigms for Active Objects. - Farzane Karami; Olaf Owe; Toktam Ramezanifarkhani (IFM, 2019)

Language-Based Mechanisms for Privacy-by-Design. - Shukun Tokas; Olaf Owe; Toktam Ramezanifarkhani (Privacy and Identity Management, 2019)

An evaluation of interaction paradigms for active objects. - Farzane Karami; Olaf Owe; Toktam Ramezanifarkhani (J. Log. Algebraic Methods Program., 2019)

A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences. - Alireza Nowroozi; Peyman Teymoori; Toktam Ramezanifarkhani; MohammadReza Besharati; Mohammad Izadi (IEEE Access, 2020)

Static checking of GDPR-related privacy compliance for object-oriented distributed systems. - Shukun Tokas; Olaf Owe; Toktam Ramezanifarkhani (J. Log. Algebraic Methods Program., 2022)