Toktam Ramezanifarkhani

• Fazeldehkordi, Elahe; Owe, Olaf & Ramezanifarkhani, Toktam (2020). A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  11981 LNCS, s 258- 277 . doi: 10.1007/978-3-030-42051-2_18
• Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2020). Language-Based Mechanisms for Privacy-by-Design, In Michael Friedewald (ed.),  Privacy and Identity Management. Data for Better Living: AI and Privacy.  Springer Nature.  ISBN 978-3-030-42503-6.  Kapittel.  s 142 - 158 Vis sammendrag

  The privacy by design principle has been applied in system engineering. In this paper, we follow this principle, by integrating necessary safeguards into the program system design. These safeguards are then used in the processing of personal information. In particular, we use a formal language-based approach with static analysis to enforce privacy requirements. To make a general solution, we consider a high-level modeling language for distributed service-oriented systems, building on the paradigm of active objects. The language is then extended to support specification of policies on program constructs and policy enforcement. For this we develop i) language constructs to formally specify privacy restrictions, thereby obtaining a policy definition language, ii) a formal notion of policy compliance, and iii) a type and effect system for enforcing and analyzing a program’s compliance with the stated polices.

• Karami, Farzane; Owe, Olaf & Ramezanifarkhani, Toktam (2019). Summary of: An Evaluation of Interaction Paradigms for Active Objects. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  11918, s 529- 533 . doi: 10.1007/978-3-030-34968-4_31 Vis sammendrag

  Sammendrag

• Karami, Farzane; Owe, Olaf & Ramezanifarkhani, Toktam (2018). An Evaluation of Interaction Paradigms for Active Objects. Journal of Logical and Algebraic Methods in Programming.  ISSN 2352-2208.  103, s 154- 183 . doi: 10.1016/j.jlamp.2018.11.008
• Ramezanifarkhani, Toktam; Owe, Olaf & Tokas, Shukun (2018). A secrecy-preserving language for distributed and object-oriented systems. Journal of Logical and Algebraic Methods in Programming.  ISSN 2352-2208.  99, s 1- 25 . doi: 10.1016/j.jlamp.2018.04.001 Fulltekst i vitenarkiv.
• Ramezanifarkhani, Toktam & Teymoori, Peyman (2018). Securing the Internet of Things with Recursive InterNetwork Architecture (RINA), In . IEEE (ed.),  Proceedings of International Conference on Computing, Networking and Communications (ICNC 2018).  IEEE conference proceedings.  ISBN 1111111111.  1.  s 188 - 194 Fulltekst i vitenarkiv.
• Owe, Olaf & Ramezanifarkhani, Toktam (2017). Confidentiality of Interactions in Concurrent Object-Oriented Systems. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  10436, s 19- 34 . doi: 10.1007/978-3-319-67816-0_2
• Owe, Olaf; Ramezanifarkhani, Toktam & Fazeldehkordi, Elahe (2017). Hoare-style Reasoning from Multiple Contracts. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  10510, s 263- 278 . doi: 10.1007/978-3-319-66845-1_17
• Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe & Owe, Olaf (2017). A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 19 - 21
• Ramezanifarkhani, Toktam; Karami, Farzane & Owe, Olaf (2017). A High-Level Language for Active Objects with Future-Free Support of Futures, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  kapittel.  s 25 - 27
• Teymoori, Peyman & Ramezanifarkhani, Toktam (2017). Game-Theoretic Analysis of Markovian Play Order in Wireless Networks, In . IEEE (ed.),  International Conference on Networked Systems (NetSys'7).  IEEE.  ISBN 978-1-5090-4395-8.  Conference paper.  s 57 - 64

Se alle arbeider i Cristin

• Fazeldehkordi, Elahe; Owe, Olaf & Ramezanifarkhani, Toktam (2019). A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems.
• Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2019). Language-Based Mechanisms for Privacy by Design.
• Tokas, Shukun & Ramezanifarkhani, Toktam (2018). Language-Based Support for GDPR-Related Privacy Requirements.
• Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe & Owe, Olaf (2017). A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems.
• Ramezanifarkhani, Toktam; Karami, Farzane & Owe, Olaf (2017). A High-Level Language for Active Objects with Future-Free Support of Futures.
• Ramezanifarkhani, Toktam & Owe, Olaf (2016). A Secrecy-Preserving Language for Programming of Object-Oriented and Distributed Systems.

Se alle arbeider i Cristin