In Fall 2017, I will join the School of Engineering and Computer Science at the University of the Pacific as an Assistant Professor. Consequently, I am looking for students who intend to pursue their postgraduate studies in the areas of Cybersecurity and/or Programming Languages.

About Me

I have received my bachelor and master of engineering degrees in the field of Information Technology with major in Information Security from Amirkabir University of Technology. Currently, I am a Ph.D. student in the Department of Computer Science, University of Vermont under the supervision of Christian Skalka. The set of my research interests is somehow dichotomous. One part is concerned with logics and their application in computer science, programming languages theory and their logical counterparts, and syntax, semantics and pragmatics of various calculi. Second part is about diverse aspects of information security including varied security models, policies and mechanisms. Clearly, the intersection of these two broad areas is recognized as language-based security which comprises different language-based techniques to design, implement and verify access control systems, security protocols, control-flow mechanisms, policy enforcement by program rewritings, and etc.

Education

B.E. Information Technology
2005 - 2009
Dept. of Computer Eng. & IT, Amirkabir Univ. of Tech.
M.E. Information Security
2009 - 2011
Dept. of Computer Eng. & IT, Amirkabir Univ. of Tech.
Ph.D. Computer Science
2013 -
Dept. of Computer Science, Univ. of Vermont

Research Interests

Programming Languages, Mathematical Logic, Information Security, Formal Methods in System Analysis and Specification.

Publications

  • Sepehr Amir-Mohammadian and Christian Skalka. In-Depth Enforcement of Dynamic Integrity Taint Analysis, In: Program Languages and Analysis for Security (PLAS), October 2016. [pdf] [bib]
  • Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. Correct Audit Logging: Theory and Practice, In: Principles of Security and Trust (POST), April 2016. [pdf] [bib]
  • Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. Foundations for Auditing Assurance, In: Layered Assurance Workshop (LAW), December 2015. [pdf] [bib]
  • Sepehr Amir-Mohammadian and Mehran S. Fallah. Noninterference in a Predicative Polymorphic Calculus for Access Control, Computer Languages, Systems and Structures, 39(3):109-120, October 2013. [pdf] [bib]
  • Technical Reports

  • Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. The Theory and Practice of Correct Audit Logging, Technical Report, October 2015. [pdf] [bib]
  • Teaching

  • CS 265: Computer Networks, Spring 2017