Ali A. Noroozi

According to our database, Ali A. Noroozi authored at least 5 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

An Automated Quantitative Information Flow Analysis for Concurrent Programs.

Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2019

Information leakage of multi-threaded programs.

Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh

Comput. Electr. Eng., 2019

Secure Information Flow Analysis Using the PRISM Model Checker.

Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh

Proceedings of the Information Systems Security - 15th International Conference, 2019

2015

Verifying Observational Determinism.

Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi

Proceedings of the ICT Systems Security and Privacy Protection, 2015

2013

Formal framework for specifying dynamic reconfiguration of adaptive systems.

Jaber Karimpour, Robab Alyari, Ali A. Noroozi

IET Softw., 2013