Research & Publications

Recent Journal Papers

• Mehran Alidoost Nia, "An Introduction to Adaptive Software Security," 2023, arXiv preprint arXiv:2312.17358. (Link)

• Mehran Alidoost Nia, Radu Calinescu, Mehdi Kargahi, and Alessandro Abate. 2022. “Adaptive Approximation Strategy for Model-based Runtime Verification of Safety-critical Autonomous Systems,” ACM Transactions on Autonomous and Adaptive Systems (Under Review Since December 2023), 34 pages. (Under Review).

• Foad Jalali, Mehran Alidoost Nia, Tatiana Ermakova, Meisam Abdollahi, Benjamin Fabian, “Investigating the role of usable security in developers' intention toward security enhancement in service-oriented applications,” Security and Privacy. 2021;e199. doi:10.1002/spy2.199.

• Mehran Alidoost Nia, Mehdi Kargahi, Alessandro Abate, “Resilient monitoring in self-adaptive systems through behavioral parameter estimation,” Journal of Systems Architecture, Volume 118, 2021, 102177.

• Mehran Alidoost Nia, Mehdi Kargahi, Fathiyeh Faghih, "Probabilistic approximation of runtime quantitative verification in self-adaptive systems", Microprocessors and Microsystems, Volume 72, 2020,102943. (PDF) (Link)

• Mehran Alidoost Nia, Behnam Bahrak, Mehdi Kargahi, and Benjamin Fabian, "Detecting New Generations of Threats Using Attribute-Based Attack Graphs," in IET Information Security, vol. 13, no. 4, pp. 293-303, 7 2019, doi: 10.1049/iet-ifs.2018.5409. (PDF) (Link)

• Mehran Alidoost Nia, Antonio Ruiz-Martínez, "Systematic literature review on the state of the art and future research work in anonymous communications systems", Computers and Electrical Engineering, Volume 69, Pages 497-520, July 2018. (PDF) (Link)

• Mehran Alidoost Nia, Reza Ebrahimi Atani, Benjamin Fabian, and Eduard Babulak, “On Detecting Unidentified Network Traffic Using Pattern-based Random Walk”, Security and Communications Network, May 2016. (PDF) (Link)

• Mehran Alidoost Nia, Reza Ebrahimi Atani and Antonio Ruiz-Martinez, “Privacy enhancement in anonymous network channels using multimodality injection”,  Security and Communication Network, Volume 8, Issue 16, Pages 2917–2932, November 2015. (PDF) (Link)

• Mehran Alidoost Nia and Reza Ebrahimi Atani, “A NOVEL DATATYPE ARCHITECTURE SUPPORT FOR PROGRAMMING LANGUAGES”, International Journal of Programming Languages and Applications, Volume 4, Number 1, January 2014. (PDF)

•  Amir Hassani Karbasi, Mehran Alidoost Nia, and Reza Ebrahimi Atani, “Construct of An Anonymous Communication System Using Lattice-based Cryptography," Journal of Electronic and cyber defense, Vol 2, Issue 3, 2014. (Persian).

Recent Conference Papers

• Melika Dastranj, Mehran Alidoost Nia and Mehdi Kargahi, "Deploying Reinforcement Learning for Efficient Runtime Decision-Making in Autonomous Systems," 2022 CPSSI 4th International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), Tehran, Iran, Islamic Republic of, 2022, pp. 1-9.

• Melika Dastranj, Mehran Alidoost Nia and Mehdi Kargahi, “Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime”, 2022, arXiv preprint arXiv:2110.14040.

• Mehran Alidoost Nia, Mehdi Kargahi, and Alessandro Abate, "Self-Adaptation with Imperfect Monitoring in Solar Energy Harvesting Systems", The CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), Tehran, Iran, 2020 (PDF) (Link).

• Mehran Alidoost Nia and Antonio Ruiz-Martinez, "Workload Distribution for Supporting Anonymous Communications in Automotive Network", In proceeding of The Sixth International Symposium on Security in Computing and Communications (SSCC’18), Bangalore, India, September 2018. (PDF) (Link)

• Mehran Alidoost Nia, "How to deal with security hazards in IoT? A self-adaptive solution to IoT applications", In proceeding of Euroscicon Conference on 3D Printing and Wireless Technology, Lisbon , Portugal, September 2018. (PDF) (Link)

• Mehran Alidoost Nia and Fathiyeh Faghih, "Probabilistic Analysis of Self-Stabilizing Systems: A Case Study on a Mutual Exclusion Algorithm", In proceeding of  the Second CSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), Tehran, Iran, May 2018. (PDF) (Link)

• Mehran Alidoost Nia, Eduard Babulak, Benjamin Fabian and Reza Ebrahimi Atani, " An Analytical Perspective to Traffic Engineering in Anonymous Communication Systems", In proceeding of  2016 Progress in Computer Sciences and Information Technology International Conference (PROCSIT), Langkawi Island, Kedah, Malaysia, Dec 2016. (PDF) (Link)

• Mehran Alidoost Nia, Seyed Kamyar Kiaei, Reza Ebrahimi Atani and Benjamin Fabian, " A Software Solution for Realtime Malware Detection in Distributed Systems", In proceeding of the 12th International ISC Conference on Information Security and Cryptology (ISCISC 2015), Rasht, Iran, Sep 2015. (PDF) (Link)

• Mehran Alidoost Nia, Amir Hassani Karbasi, and Reza Ebrahimi Atani, “Stop Tracking Me: An Anti-detection Type Solution for Anonymous Data" The 4th International Conference on Computer and Knowledge Engineering (ICCKE2014), Mashhad, Iran, (2014). (PDF) (Slide) (Link) 

• Mehran Alidoost Nia, Reza Ebrahimi Atani and Akbar Khodaparast Haghi, “Ubiquitous IoT Structure via Homogeneous Data Type Modelling”, In proceeding of the Seventh International Symposium on Telecommunications (IST 2014), September 2014. (PDF) (Slide) (Link)

• Mehran Alidoost Nia, Aida Ghorbani and Reza Ebrahimi Atani, “A Novel Anonymous Cloud Architecture Design; Providing Secure Online Services and Electronic Payments”, in proceeding of the first international conference on Electronic Commerce and Economy, April 2013. (PDF) 

• Mehran Alidoost Nia, Ali Sajedi and Aryo Jamshidpey, “An Introduction to Digital Signature Scheme”, in proceeding of the first regional conference on new approaches in computer engineering and information technology, 2010. (PDF)

• Mehran Alidoost Nia, Amir Hassani Karbasi, and Reza Ebrahimi Atani, "Permanent Security in Communication Equipments of Inner System Based on Data Types," The 2nd Conference on Cyber Defence", Tehran, Iran, (2014), Persian. (PDF)

• Mehran Alidoost Nia and Reza Ebrahimi Atani, “Static Analysis for Information Flow; a Language-Based Approach”, Student Conference of Research week, University of Guilan, 2012. 

  PhD and Master Thesis

• Mehran Alidoost Nia, “Runtime Probabilistic Analysis of Self-Adaptive Systems via Formal Approximation Techniques”, Supervisors: Mehdi Kargahi (University of Tehran) and Alessandro Abate (University of Oxford), February 19, 2022, Grade: A, AAIP Fellowship at University of York (AAIP) since 2020.

• Mehran Alidoost Nia, "A Novel Data Type-Based Software/Hardware Architecture Design with Green Computing Approach", Supervisor: Reza Ebrahimi Atani, Adviser: Akbar Khodaparast Haghi, University of Guilan, February 14, 2015, Grade: 19.85 (Best Thesis Award from Iranian Society of Cryptology, September 2015).