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
Theoretical aspects of Computer Science
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.
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 ]
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 ]