Toktam Ramezanifarkhani

Postdoctoral Fellow - Reliable Systems
Image of Toktam Ramezanifarkhani
Norwegian version of this page
Phone +47-22840137
Room 9467
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

 

 

Tags: Information Technology, Information Security, Software and Programming Languages, Security Management, network security

Publications

  • 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
  • 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 Full text in Research Archive.
  • Owe, Olaf & Ramezanifarkhani, Toktam (2017). Confidentiality of Interactions in Concurrent Object-Oriented Systems. Lecture Notes in Computer Science.  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.  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

View all works in Cristin

  • 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.

View all works in Cristin

Published Oct. 16, 2019 9:35 AM - Last modified Oct. 23, 2019 10:14 AM