Formal framework for specifying dynamic reconfiguration of adaptive systems. - Jaber Karimpour; Robab Alyari; Ali A. Noroozi (IET Softw., 2013)

Verifying Observational Determinism. - Jaber Karimpour; Ayaz Isazadeh; Ali A. Noroozi (SEC, 2015)

Secure Information Flow Analysis Using the PRISM Model Checker. - Ali A. Noroozi; Khayyam Salehi; Jaber Karimpour; Ayaz Isazadeh (ICISS, 2019)

Information leakage of multi-threaded programs. - Ali A. Noroozi; Jaber Karimpour; Ayaz Isazadeh (Comput. Electr. Eng., 2019)

An Automated Quantitative Information Flow Analysis for Concurrent Programs. - Khayyam Salehi; Ali A. Noroozi; Sepehr Amir-Mohammadian; MohammadSadegh Mohagheghi (QEST, 2022)