Web spam detection by learning from small labeled samples J Karimpour, AA Noroozi, S Alizadeh International Journal of Computer Applications 50 (21), 2012 | 29 | 2012 |
The impact of feature selection on web spam detection J Karimpour, AA Noroozi, A Abadi International Journal of Intelligent Systems and Applications 4 (9), 61, 2012 | 12 | 2012 |
Verifying observational determinism J Karimpour, A Isazadeh, AA Noroozi ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International …, 2015 | 9 | 2015 |
Bisimulation for secure information flow analysis of multi-threaded programs AA Noroozi, J Karimpour, A Isazadeh Mathematical and Computational Applications 24 (2), 64, 2019 | 6 | 2019 |
Information leakage of multi-threaded programs AA Noroozi, J Karimpour, A Isazadeh Computers & Electrical Engineering 78, 400-419, 2019 | 5 | 2019 |
Secure information flow analysis using the PRISM model checker AA Noroozi, K Salehi, J Karimpour, A Isazadeh Information Systems Security: 15th International Conference, ICISS 2019 …, 2019 | 5 | 2019 |
Formal framework for specifying dynamic reconfiguration of adaptive systems J Karimpour, R Alyari, AA Noroozi Iet Software 7 (5), 258-270, 2013 | 4 | 2013 |
Quantifying Information Leakage of Probabilistic Programs Using the PRISM Model Checker K Salehi, AA Noroozi, S Amir-Mohammadian The Fifteenth International Conference on Emerging Security Information …, 2021 | 3 | 2021 |
Verifying Weak Probabilistic Noninterference AA Noroozi, J Karimpour, A Isazadeh, S Lotfi International Journal of Advanced Computer Science and Applications (IJACSA …, 2017 | 3 | 2017 |
An automated quantitative information flow analysis for concurrent programs K Salehi, AA Noroozi, S Amir-Mohammadian, M Mohagheghi International Conference on Quantitative Evaluation of Systems, 43-63, 2022 | 2 | 2022 |
Modified Bitwise Hill Crypto System J Karimpour, M Aghdasifam, ALIA NOROOZI THE CSI JOURNAL ON COMPUTER SCIENCE AND ENGINEERING 12 (24), 11-15, 2014 | | 2014 |