Sepehr Amir-Mohammadian
Assistant Professor

Office Location
Chambers 122
Education
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
Since Fall 2017, I have joined the School of Engineering and Computer Science at University of the Pacific as an Assistant Professor. I am closely collaborating with Jeff Shafer and Chadi El Kari in the Cybersecurity program. Before coming to the Pacific, I completed my doctoral degree in Computer Science at University of Vermont under the supervision of Christian Skalka.
Cybersecurity
Programming Languages
Theoretical aspects of Computer Science
Networking
Cybersecurity with focus on Programming Languages techniques to provide Formal Software Security Assurance: The set of my research interests is somehow dichotomous. One part is concerned with variants of logical frameworks and their application in computer science, the Theory of Programming Languages, and syntax, semantics and pragmatics of various calculi. Second part is about diverse aspects of Cybersecurity including varied Cybersecurity models, policies and mechanisms. The intersection of these two broad areas is recognized as Programming Languages-based Security which comprises different static and dynamic language-based techniques to design, implement and verify authorization systems, control-flow and information flow analysis tools, security protocols, etc.
Sepehr Amir-Mohammadian and Christian Skalka. In-depth enforcement of dynamic integrity taint analysis. In Programming Languages and Analysis for Security (PLAS), 2016. [ bib | http ]
Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. Correct audit logging: Theory and practice. In Principles of Security and Trust (POST), 2016. [ bib | http ]
Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. Foundations for auditing assurance. In Layered Assurance Workshop (LAW), 2015. [ bib | http ]
Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. The theory and practice of correct audit logging. Technical report, University of Vermont, 2015. [ bib | http ]
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, 2013. [ bib | http ]