| A crisis situations decision-making systems software development process with rescue experiences A Nowroozi, P Teymoori, T Ramezanifarkhani, MR Besharati, M Izadi IEEE Access 8, 59599-59617, 2020 | 16 | 2020 |
| An evaluation of interaction paradigms for active objects F Karami, O Owe, T Ramezanifarkhani Journal of logical and algebraic methods in programming 103, 154-183, 2019 | 15 | 2019 |
| Static checking of GDPR-related privacy compliance for object-oriented distributed systems S Tokas, O Owe, T Ramezanifarkhani Journal of Logical and Algebraic Methods in Programming 125, 100733, 2022 | 13 | 2022 |
| Principles of Data Flow Integrity: Specification and Enforcement. T Ramezanifarkhani, M Razzazi J. Inf. Sci. Eng. 31 (2), 529-546, 2015 | 13 | 2015 |
| Examination and classification of security requirements of software systems TR Farkhani, MR Razzazi 2006 2nd International Conference on Information & Communication …, 2006 | 13 | 2006 |
| A secrecy-preserving language for distributed and object-oriented systems T Ramezanifarkhani, O Owe, S Tokas Journal of logical and algebraic methods in programming 99, 1-25, 2018 | 12 | 2018 |
| Securing the Internet of Things with recursive InterNetwork architecture (RINA) T Ramezanifarkhani, P Teymoori 2018 International Conference on Computing, Networking and Communications …, 2018 | 10 | 2018 |
| Confidentiality of interactions in concurrent object-oriented systems O Owe, T Ramezanifarkhani Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2017 | 10 | 2017 |
| Language-based mechanisms for privacy-by-design S Tokas, O Owe, T Ramezanifarkhani Privacy and Identity Management. Data for Better Living: AI and Privacy …, 2020 | 9 | 2020 |
| A language-based approach to prevent DDoS attacks in distributed financial agent systems E Fazeldehkordi, O Owe, T Ramezanifarkhani Computer Security: ESORICS 2019 International Workshops, IOSec, MSTEC, and …, 2020 | 6 | 2020 |
| Hoare-style reasoning from multiple contracts O Owe, T Ramezanifarkhani, E Fazeldehkordi Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017 | 5 | 2017 |
| A language-based approach to prevent DDoS attacks in distributed object systems T Ramezanifarkhani, E Fazeldehkordi, O Owe 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science, 2017 | 3 | 2017 |
| IAVS: Intelligent Active Network Vulnerability Scanner MH Bazrafkan, A Nowroozi, T Ramezanifarkhani, P Teymoori Norsk IKT-konferanse for forskning og utdanning, 2020 | 1 | 2020 |
| Language-Based Support for GDPR-Related Privacy Requirements S Tokas, T Ramezanifarkhani Proceedings available online at https://nwpt2018. ifi. uio. no/proceedings …, 2018 | 1 | 2018 |
| Static enforcement of confidentiality of interactions in concurrent object-oriented systems O Owe, T Ramezanifarkhani Technical report, Department of Informatics, University of Oslo, Norway, 2017 | 1 | 2017 |
| Heterogeneous distributed clustering in sensor networks P Teymoori, TR Farkhani 2008 International Conference on Computer and Communication Engineering, 554-559, 2008 | 1 | 2008 |
| UML-based representation of provision-based access control TR Farkhani, MR Razzazi 2006 2nd International Conference on Information & Communication …, 2006 | 1 | 2006 |
| Extended Provision-Based Access Control Model TR Farkhani, MR Razzazi 2006 2nd International Conference on Information & Communication …, 2006 | 1 | 2006 |
| Reconciling Efficiency and Security of the Internet of Things: A Recursive InterNetwork Architecture (RINA) Approach P Teymoori, T Ramezanifarkhani | | 2023 |
| Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19) KI Pun, V Stolz, E Fazeldehkordi, O Owe, T Ramezanifarkhani, ... Høgskulen på Vestlandet, 2020 | | 2020 |
Olaf OweProfessor, Department of Informatics, University of OsloVerified email at ifi.uio.no
