Skip to content
  • Print

Sepehr Amir-Mohammadian

Assistant Professor

Contact

Phone: 209.932.3261
Email: samirmohammadian@pacific.edu

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

Curriculum Vitae 

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 ] 



 

JOIN SCHOOL OF ENGINEERING AND COMPUTER SCIENCE ON: Facebook  LinkedIn  YouTube