Systematic literature review on the state of the art and future research work in anonymous communications systems MA Nia, A Ruiz-Martínez Computers & Electrical Engineering 69, 497-520, 2018 | 42 | 2018 |
An Introduction to Digital Signature Schemes MA Nia, A Sajedi, A Jamshidpey Proceeding of the Conference on Information Retrieval, arXiv:1404.2820 [cs …, 2011 | 35* | 2011 |
Detecting new generations of threats using attribute‐based attack graphs MA Nia, B Bahrak, M Kargahi, B Fabian IET Information Security 13 (4), 293-303, 2019 | 19 | 2019 |
Probabilistic approximation of runtime quantitative verification in self-adaptive systems MA Nia, M Kargahi, F Faghih Microprocessors and microsystems 72, 102943, 2020 | 18 | 2020 |
A Novel Anonymous Cloud Architecture Design; Providing Secure Online Services and Electronic Payments MA Nia, A Ghorbani, RE Atani 1st international conference on electronic commerce and economy, 2013 | 13 | 2013 |
Privacy enhancement in anonymous network channels using multimodality injection MA Nia, RE Atani, A Ruiz‐Martínez Security and communication networks 8 (16), 2917-2932, 2015 | 12 | 2015 |
On detecting unidentified network traffic using pattern‐based random walk MA Nia, RE Atani, B Fabian, E Babulak Security and Communication Networks 9 (16), 3509-3526, 2016 | 10 | 2016 |
Self-Adaptation with Imperfect Monitoring in Solar Energy Harvesting Systems MA Nia, M Kargahi, A Abate The CSI/CPSSI International Symposium on Real-Time and Embedded Systems and …, 2020 | 7 | 2020 |
A Random Walk-Based Pattern-Matching Simulator for Verification of Incomplete Markov Models MA Nia https://github.com/alidoostnia/Self-adaptive-pattern-matching/, 2020 | 6 | 2020 |
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm MA Nia, F Faghih 2018 Real-Time and Embedded Systems and Technologies (RTEST), 88-95, 2018 | 6 | 2018 |
Ubiquitous IoT Structure via Homogeneous Data Type Modelling MA Nia, RE Atani, AK Haghi The Seventh International Symposium on Telecommunications (IST 2014), 2014 | 6 | 2014 |
Resilient monitoring in self-adaptive systems through behavioral parameter estimation MA Nia, M Kargahi, A Abate Journal of Systems Architecture 118, 102177, 2021 | 5 | 2021 |
A Software Solution for Realtime Malware Detection in Distributed Systems MA Nia, SK Kiaei, RE Atani, B Fabian 12th International ISC Conference on Information Security & Cryptology …, 2015 | 5 | 2015 |
An Analytical Perspective to Traffic Engineering in Anonymous Communication Systems MA Nia, E Babulak, RE Ebrahimi, B Fabian 2016 Progress in Computer Sciences and Information Technology International …, 2016 | 4 | 2016 |
Stop Tracking Me: An Anti‐detection Type Solution for Anonymous Data MA Nia, AH Karbasi, RE Atani 4th International eConference on Computer and Knowledge Engineering (ICCKE …, 2014 | 4 | 2014 |
A novel datatype architecture support for programming languages MA Nia, RE Atani International Journal of Programming Languages and Applications 4 (1), 1-20, 2014 | 4 | 2014 |
Designing Anonymous Communication System by Lattice-Based Cryptography A Hassani Karbasi, M Alidoost Nia, R Ebrahimi Atani Journal of Electronic & Cyber Defence 2 (37), 13-22, 2014 | 3 | 2014 |
Runtime Probabilistic Analysis of Self-Adaptive Systems via Formal Approximation Techniques MA Nia University of Tehran (Iran), 2022 | 2 | 2022 |
Formal Method in Software Engineering MA Nia | 2 | 2012 |
Advanced Computing: 11th International Conference, IACC 2021, Msida, Malta, December 18–19, 2021, Revised Selected Papers D Garg, S Jagannathan, A Gupta, L Garg, S Gupta Springer Nature, 2022 | 1 | 2022 |