Toktam Ramezanifarkhani

According to our database, Toktam Ramezanifarkhani authored at least 12 papers between 2015 and 2022.

Collaborative distances:

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

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