[1] T. Ramezanifarkhani, Design of Algorithms – preparation for the national MSc entrance exam, Azadeh pub., Tehran, 2002.
[2] T. Ramezanifarkhani, M. R. Razzazi, “Control Flow Integrity via Data Flow Integrity Specification and Dynamic Enforcement”, Revision resubmission to 32nd Usenix Symposium, 2023, https://toktamr.github.io/files/Usenix-TechRep-CFIviaDFI.pdf.
[3] S. Tokas, O. Owe and T. Ramezanifarkhani, “Static Checking of GDPR-Related Privacy Compliance for Object-Oriented Distributed Systems”, Journal of Logical and Algebraic Methods in Programming, 2022.
[4] T. Ramezanifarkhani, M. R. Razzazi, “Inlined Monitoring Attribute Grammars to Enforce Security Policies”, Submitted to ACM Transactions On Programming Language and Systems, 43 pages, 2021.
[5] A. Nowroozi, P. Teymoori, T. Ramezanifarkhani, et al. “A Crisis Situations Decision-Making Systems Software Development Process with Rescue Experiences."IEEE Access, 2020.
[6] F. Karami, O. Owe, T. Ramezanifarkhani, “An Evaluation of Interaction Paradigms for Active Objects”, Journal of Logical and Algebraic Methods in Programming, 2018, ISSN 2352-2216.
[7] T. Ramezanifarkhani, O. Owe, S Tokas, “A Secrecy-Preserving Language for Programming of Object-Oriented and Distributed Systems”, Journal of Logical and Algebraic Methods in Programming, 2016.
[8] T. Ramezanifarkhani, M. R. Razzazi, “Principles of Data Flow Integrity: Specification and Enforcement”, Journal of Information Science and Engineering, Vol. 31, No. 2, 529-546, 2015.
[9] T. Ramezanifarkhani, S. Tokas, O. Owe, “An Efficient Language-Based Privacy Satisfaction and Management Using Machine Learning in Health”, Ready to Submit to 14th International Symposium on Foundations & Practice of Security, Paris, France, 2021.
[10] T.Ramezanifarkhani,“A Survey of Long Lasting and Critical Threats on Runtime Control Flow”, Ready to submit to the Norwegian Information Security Conference (NISK 2021).
[11] P. Teymoori, T. Ramezanifarkhani, “Transport Layer Efficiency and Security in IoT: RINA’s Approach,” Technical Report, University of Oslo, 2021. [12] M. Bazrafkan, A. Nowroozi, T. Ramezanifarkhani, P. Teymoori, "IAVS: Intelligent Active Network Vulnerability Scanner."In Norsk IKT-konferanse for forskning og utdanning (NISK journal), no. 3. 2020.
[13] S. Tokas, O. Owe, T. Ramezanifarkhani, “Language-Based Mechanisms for Privacy-by-Design”, IFIP Summer School on Privacy and Identity Management, August 19-23, 2019 in Switzerland, Best Paper Award.
[14] T. Ramezanifarkhani, E. Fazeldelkordi, O. Owe, “A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems”, 1st International Workshop on Security for Financial Critical Infrastructures and Services, Luxembourg, September 24-27, 2019.
[15] T. Ramezanifarkhani, M. Razzazi, “Control Flow Integrity via Data Flow Integrity Specification and Dynamic Enforcement,” Technical re- port, Department of Informatics, University of Oslo, Norway, An extended version of this paper, Nr 481, ISBN 978-82-7368-446-2, 2018, https://toktamr.github.io/files/TechRep-CFIviaDFI.pdf.
[16] T. Ramezanifarkhani, P. Teymoori, “Digital Intelligent Services based on Vehicle Data”, SCOTT Vehicle Data Hackathon, Gdansk, 2019, https://toktamr.github.io/files/Hackathon.pdf.
[17] T.Ramezanifarkhani and M.Razzazi. "Inlined Monitoring Attribute Grammars to Enforce Security Policies, Technical Report, Department of Informatics, University of Oslo, Norway, Nr 490, ISBN 978-82-7368-455-4, 2019, https://toktamr.github.io/files/TechRep-IMAG.pdf.
[18] TRamezanifarkhani,P.Teymoori “Securing the Internet of Things with Recursive InterNetwork Architecture(RINA)”, In the proceedings of International Conference on Computing, Networking and Communications, (ICNC 2018), Maui, Hawaii, USA, March 5-8, 2018.
[19] S. Tokas, T. Ramezanifarkhani, “Language-Based Support for GDPR-Related Privacy Requirements”, 30th Nordic Workshop on Programming Theory; 2018-10-24 - 2018-10-26, UiO.
[20] T. Ramezanifarkhani, P. Teymoori, Game-Theoretic Analysis of Markovian Play Order in Wireless Networks”, International Conference on Networked Systems (NetSys 2017), IEEE, Göttingen, Germany, Mar. 13-17.
[21] E. Fazeldehkordi, O. Owe and T. Ramezanifarkhani, “Security Functionality of IoT Devices”, in proceedings of the Ph.D. Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17), 2017.
[22] O. Owe, T. Ramezanifarkhani, E. Fazeldehkordi, “Hoare-style Reasoning from Multiple Contracts”, 13th International Conference on integrated Formal Methods: Algorithms, Tools and Applications, iFM, Torino, Italy, 2017.
[23] O. Owe, T. Ramezanifarkhani, "Confidentiality of Interactions in Concurrent Object-Oriented Systems", pp 19-34, the 12th International Workshop on Data Privacy Management (DPM 2017).
[24] T. Ramezanifarkhani, E. Fazeldelkordi, O. Owe, “A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems”, in 29th Nordic Workshop on Programming Theory (NWPT ‘17), Åbo Akademi University, Turku, 01-03 November 2017.
[25] T. Ramezanifarkhani, F. Karami, O. Owe, “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. kapitel. s 25 – 27, 2017.
[26] T.Ramezanifarkhani,O.Owe,“ASecrecy-PreservingLanguageforProgrammingofObject-OrientedandDistributedSystems”,the28thNordicWorkshop on Programming Theory (NWPT’16), 2016.
[27] T. Ramezanifarkhani, M. R. Razzazi, P. Teymoori, EAM: Expansive Access Modifiers in OOP", IEEE International Conference on Computer and Communication Engineering, 2008.
[28] P. Teymoori, T. Ramezanifarkhani, "Heterogeneous Distributed Clustering in Sensor Networks", IEEE International Conference on Computer and Communication Engineering, 2008.
[29] T. Ramezanifarkhani, M. R. Razzazi, Examination and Classification of Security Requirements of Software Systems", In 2nd IEEE International Conference on Information & Communication Technologies: from Theory to Applications, ICTTA’06, 2006.
[30] P. Teymoori, T. Ramezanifarkhani, Formal Representation and Verification of Fuzzy Object Design Using UML", In 11th Annual Computer Society of Iran Computer Conference (CSICC2006), Tehran – Iran, 2006.
[31] T. Ramezanifarkhani, M. R. Razzazi, Extended Provision-Based Access Control Model", In 2nd IEEE International Conference on Information & Communication Technologies: from Theory to Applications, ICTTA’06, 2006.
[32] T. Ramezanifarkhani, M. R. Razzazi, "UML-Based Representation of Provision-Based Access Control", In 2nd IEEE International Conference on Information & Communication Technologies: from Theory to Applications, ICTTA’06, April 24 - 28, 2006.
[33] P. Teymoori, T. Ramezanifarkhani, "Active Discovery: Information Gathering in Active Networks", In 11th Annual Computer Society of Iran Computer Conference (CSICC2006), Tehran – Iran, 2006.
[34] T. Ramezanifarkhani, P. Teymoori, “Dynamic Driver Authentication by Behavior Analysis in Unspecified Environments”, under submission to IEEE Symposium on Security and Privacy.
[35] T. Ramezanifarkhani, M. R. Razzazi, “A Framework for Secure Runtime Behavior in Sequential Programming”, Manuscript in preparation.
[36] T. Ramezanifarkhani, M. R. Razzazi, “Role-Based UML (RBUML): Specifying Roles in UML”, Manuscript in preparation.