Follow
Ali A. Noroozi
Title
Cited by
Cited by
Year
Web spam detection by learning from small labeled samples
J Karimpour, AA Noroozi, S Alizadeh
International Journal of Computer Applications 50 (21), 2012
312012
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
122012
Verifying observational determinism
J Karimpour, A Isazadeh, AA Noroozi
ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International …, 2015
92015
Bisimulation for secure information flow analysis of multi-threaded programs
AA Noroozi, J Karimpour, A Isazadeh
Mathematical and Computational Applications 24 (2), 64, 2019
62019
Information leakage of multi-threaded programs
AA Noroozi, J Karimpour, A Isazadeh
Computers & Electrical Engineering 78, 400-419, 2019
52019
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
42019
Formal framework for specifying dynamic reconfiguration of adaptive systems
J Karimpour, R Alyari, AA Noroozi
Iet Software 7 (5), 258-270, 2013
42013
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
32017
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
12022
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
The system can't perform the operation now. Try again later.
Articles 1–11