Sepehr Amir-Mohammadian

Sepehr Amir-Mohammadian

Associate Professor, Computer Science
Chambers 122
Phone Number:

I am an associate professor at the Department of Computer Science, University of the Pacific. My research explores the interplay between the theory of programming languages, mathematical logic, and cybersecurity.  In particular, my goal is to understand how linguistic approaches help to establish the properties of interest in different applications.  In 2017, I received my PhD in Computer Science with a thesis on runtime enforcement of in-depth security policies.

I enjoy teaching undergraduate and graduate level courses on computer networking, reliable software design, programming languages, and theoretical aspects of computer science.

I have served as the Engineering & Computer Science Council chair in AY 2020-2021.  I am currently representing the School of Engineering and computer Science in Technology in Education Committee.




PhD, Computer Science, University of Vermont, 2017

MS, Information Security Engineering, Amirkabir University of Technology, 2011

BS, Information Technology Engineering, Amirkabir University of Technology, 2009


Teaching Interests

Programming Languages
Theoretical aspects of Computer Science


Research Focus

Cybersecurity with a focus on Programming Languages techniques to provide Formal Software Security Assurance.


Please checkout my publications page for the updated and more detailed list.

  • Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, and Mohammadsadegh Mohagheghi. An automated quantitative information flow analysis for concurrent programs. In Proceedings of the 19th International Conference on Quantitative Evaluation of SysTems (QEST 2022), pages 43--63. Springer International Publishing, September 2022. [ bib | .pdf ]
  • Nicolas D. Ahn and Sepehr Amir-Mohammadian. Instrumenting microservices for concurrent audit logging: Beyond Horn clauses. In Proceedings of the 16th IEEE International Workshop on Security, Trust & Privacy for Software Applications (STPSA 2022), as part of the 46th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2022), pages 1762--1767, June 2022. [ bib | .pdf ]
  •  Khayyam Salehi, Ali A. Noroozi, and Sepehr Amir-Mohammadian. Quantifying information leakage of probabilistic programs using the PRISM model checker. In Proceedings of the 15th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2021), pages 47--52, November 2021. [ bib | .pdf ]
  • Sepehr Amir-Mohammadian and Afsoon Yousefi Zowj. Towards concurrent audit logging in microservices. In Proceedings of the 15th IEEE International Workshop on Security, Trust & Privacy for Software Applications (STPSA 2021), as part of the 45th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2021), pages 1357--1362, July 2021. [ bib | .pdf ]
  • Akshat Bajpai and Sepehr Amir-Mohammadian. Towards an indoor navigation system using monocular visual SLAM. In Proceedings of IT in Practice (ITiP) Symposium, the 45th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2021), pages 520--525, July 2021. [ bib | .pdf ]
  • Sepehr Amir-Mohammadian. A semantic framework for direct information flows in hybrid-dynamic systems. In Proceedings of the 7th ACM Cyber-Physical System Security Workshop (CPSS 2021), pages 5--15. Association for Computing Machinery, June 2021. [ bib | .pdf ]
  • Sepehr Amir-Mohammadian and Chadi Kari. Correct audit logging in concurrent systems. Electronic Notes in Theoretical Computer Science, 351:115--141, September 2020. Part of Special Issue: Proceedings of LSFA 2020, the 15th International Workshop on Logical and Semantic Frameworks, with Applications. [ bib | .pdf ]
  • Christian Skalka, Sepehr Amir-Mohammadian, and Samuel Clark. Maybe tainted data: Theory and a case study. Journal of Computer Security, 28(3):295--335, April 2020. [ bib | .pdf ]
  • Chadi Kari, Sixia Chen, Sepehr Amir-Mohammadian, and Vivek K. Pallipuram. Data migration in large scale heterogeneous storage systems with nodes to spare. In International Conference on Computing, Networking and Communications, ICNC 2019, Honolulu, HI, USA, February 18-21, 2019. IEEE, February 2019. [ bib | .pdf ]