Noninterference in a predicative polymorphic calculus for access control. - Sepehr Amir-Mohammadian; Mehran S. Fallah (Comput. Lang. Syst. Struct., 2013)

In-Depth Enforcement of Dynamic Integrity Taint Analysis. - Sepehr Amir-Mohammadian; Christian Skalka (PLAS@CCS, 2016)

Correct Audit Logging: Theory and Practice. - Sepehr Amir-Mohammadian; Stephen Chong; Christian Skalka (POST, 2016)

Data Migration in Large Scale Heterogeneous Storage Systems with Nodes to Spare. - Chadi Kari; Sixia Chen; Sepehr Amir-Mohammadian; Vivek K. Pallipuram (ICNC, 2019)

Correct Audit Logging in Concurrent Systems. - Sepehr Amir-Mohammadian; Chadi Kari (LSFA, 2020)

Maybe tainted data: Theory and a case study. - Christian Skalka; Sepehr Amir-Mohammadian; Samuel Clark (J. Comput. Secur., 2020)

Towards Concurrent Audit Logging in Microservices. - Sepehr Amir-Mohammadian; Afsoon Yousefi Zowj (COMPSAC, 2021)

Towards An Indoor Navigation System Using Monocular Visual SLAM. - Akshat Bajpai; Sepehr Amir-Mohammadian (COMPSAC, 2021)

A Semantic Framework for Direct Information Flows in Hybrid-Dynamic Systems. - Sepehr Amir-Mohammadian (CPSS@AsiaCCS, 2021)

Instrumenting Microservices for Concurrent Audit Logging: Beyond Horn Clauses. - Nicolas D. Ahn; Sepehr Amir-Mohammadian (COMPSAC, 2022)

An Automated Quantitative Information Flow Analysis for Concurrent Programs. - Khayyam Salehi; Ali A. Noroozi; Sepehr Amir-Mohammadian; MohammadSadegh Mohagheghi (QEST, 2022)

An Implementation Model for Correct Audit Logging in Cyber-Physical Systems. - Sepehr Amir-Mohammadian; Afsoon Yousefi Zowj (DiDit@DisCoTec, 2024)