Toktam Ramezanifarkhani

15 papers B 2C 1Misc 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Leveraging Structural Symmetry for IoT Security: A Recursive InterNetwork Architecture Perspective.
Comput.
Peyman Teymoori, Toktam Ramezanifarkhani
2025 — conf
Learning-in-the-Middle: Explicit-Recursion Anomaly Detection for Critical Infrastructures.
ESORICS Workshops (3)
Toktam Ramezanifarkhani, Peyman Teymoori
2025 C conf
Performance Modeling of Recursive Networks with PEPA: Quantitative Insights and Scalability Challenges.
WINCOM
Peyman Teymoori, Toktam Ramezanifarkhani
2022 J jnl
Static checking of GDPR-related privacy compliance for object-oriented distributed systems.
J. Log. Algebraic Methods Program.
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
2020 J jnl
A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences.
IEEE Access
Alireza Nowroozi, Peyman Teymoori, Toktam Ramezanifarkhani, MohammadReza Besharati, Mohammad Izadi
2019 — conf
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems.
IOSec/MSTEC/FINSEC@ESORICS
Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani
2019 J jnl
An evaluation of interaction paradigms for active objects.
J. Log. Algebraic Methods Program.
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
2019 — conf
Language-Based Mechanisms for Privacy-by-Design.
Privacy and Identity Management
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
2019 B conf
Summary of: An Evaluation of Interaction Paradigms for Active Objects.
IFM
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
2018 J jnl
A secrecy-preserving language for distributed and object-oriented systems.
J. Log. Algebraic Methods Program.
Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas
2018 Misc conf
Securing the Internet of Things with Recursive InterNetwork Architecture (RINA).
ICNC
Toktam Ramezanifarkhani, Peyman Teymoori
2017 — conf
Confidentiality of Interactions in Concurrent Object-Oriented Systems.
DPM/CBT@ESORICS
Olaf Owe, Toktam Ramezanifarkhani
2017 — conf
Game-theoretic analysis of Markovian play order in wireless networks.
NetSys
Peyman Teymoori, Toktam Ramezanifarkhani
2017 B conf
Hoare-Style Reasoning from Multiple Contracts.
IFM
Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi
2015 J jnl
Principles of Data Flow Integrity: Specification and Enforcement.
J. Inf. Sci. Eng.
Toktam Ramezanifarkhani, Mohammadreza Razzazi