Recent Journal Papers
Mehran Alidoost Nia, Radu Calinescu, Mehdi Kargahi, and Alessandro Abate. 2024. Efficient Model Verification at Runtime through Adaptive Dynamic Approximation. ACM Trans. Auton. Adapt. Syst. Just Accepted (December 2024). https://doi.org/10.1145/3708560
Mehran Alidoost Nia, "An Introduction to Adaptive Software Security," 2023, arXiv preprint arXiv:2312.17358. (Link)
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
Afshin Hassani, Mehran Alidoost Nia and Reza Ebrahimi Atani, “Balancing Safety and Security in Autonomous Driving Systems: A Machine Learning Approach with Safety-First Prioritization”, The First Workshop on Recent Advances in Resilient and Trustworthy MAchine learniNg (ARTMAN) @ ACSAC 2024, USA, Hawaii, December 2024.
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.
