Toktam Ramezanifarkhani

Postdoktor - Pålitelige systemer
Bilde av Toktam Ramezanifarkhani
English version of this page
Telefon +47-22840137
Rom 9467
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

 

 

Emneord: Information Security, Programming Languages, Security Management

Publikasjoner

  • Karami, Farzane; Owe, Olaf & Ramezanifarkhani, Toktam (2019). Evaluation of Interaction Paradigms for Active Objects. Journal of Logical and Algebraic Methods in Programming.  ISSN 2352-2208.  103, s 154- 183 . doi: https://doi.org/10.1016/j.jlamp.2019.05.006
  • 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 Fulltekst i vitenarkiv.
  • 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

Se alle arbeider i 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.

Se alle arbeider i Cristin

Publisert 16. okt. 2019 09:34 - Sist endret 23. okt. 2019 10:13