Toktam Ramezanifarkhani

According to our database, Toktam Ramezanifarkhani authored at least 15 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Leveraging Structural Symmetry for IoT Security: A Recursive InterNetwork Architecture Perspective.

Peyman Teymoori, Toktam Ramezanifarkhani

Comput., 2026

2025

Performance Modeling of Recursive Networks with PEPA: Quantitative Insights and Scalability Challenges.

Peyman Teymoori, Toktam Ramezanifarkhani

Proceedings of the 12th International Conference on Wireless Networks and Mobile Communications, 2025

Learning-in-the-Middle: Explicit-Recursion Anomaly Detection for Critical Infrastructures.

Toktam Ramezanifarkhani, Peyman Teymoori

Proceedings of the Computer Security. ESORICS 2025 International Workshops, 2025

2022

Static checking of GDPR-related privacy compliance for object-oriented distributed systems.

Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani

J. Log. Algebraic Methods Program., 2022

2020

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

2019

An evaluation of interaction paradigms for active objects.

Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani

J. Log. Algebraic Methods Program., 2019

Language-Based Mechanisms for Privacy-by-Design.

Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani

Proceedings of the Privacy and Identity Management. Data for Better Living: AI and Privacy, 2019

Summary of: An Evaluation of Interaction Paradigms for Active Objects.

Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems.

Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani

Proceedings of the Computer Security - ESORICS 2019 International Workshops, 2019

2018

A secrecy-preserving language for distributed and object-oriented systems.

Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas

J. Log. Algebraic Methods Program., 2018

Securing the Internet of Things with Recursive InterNetwork Architecture (RINA).

Toktam Ramezanifarkhani, Peyman Teymoori

Proceedings of the 2018 International Conference on Computing, 2018

2017

Game-theoretic analysis of Markovian play order in wireless networks.

Peyman Teymoori, Toktam Ramezanifarkhani

Proceedings of the 2017 International Conference on Networked Systems, 2017

Hoare-Style Reasoning from Multiple Contracts.

Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Confidentiality of Interactions in Concurrent Object-Oriented Systems.

Olaf Owe, Toktam Ramezanifarkhani

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2017

2015

Principles of Data Flow Integrity: Specification and Enforcement.

Toktam Ramezanifarkhani, Mohammadreza Razzazi

J. Inf. Sci. Eng., 2015