Sepehr Amir-Mohammadian

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 10

Top Topics

Monocular Camera

Information Flows

Storage Systems

Top Venues

Comput. Lang. Syst. Struct.

Publications

Nicolas D. Ahn, Sepehr Amir-Mohammadian
Instrumenting Microservices for Concurrent Audit Logging: Beyond Horn Clauses. COMPSAC (2022)
Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi
An Automated Quantitative Information Flow Analysis for Concurrent Programs. QEST (2022)
Sepehr Amir-Mohammadian, Afsoon Yousefi Zowj
Towards Concurrent Audit Logging in Microservices. COMPSAC (2021)
Sepehr Amir-Mohammadian
A Semantic Framework for Direct Information Flows in Hybrid-Dynamic Systems. CPSS@AsiaCCS (2021)
Akshat Bajpai, Sepehr Amir-Mohammadian
Towards An Indoor Navigation System Using Monocular Visual SLAM. COMPSAC (2021)
Christian Skalka, Sepehr Amir-Mohammadian, Samuel Clark
Maybe tainted data: Theory and a case study. J. Comput. Secur. 28 (3) (2020)
Sepehr Amir-Mohammadian, Chadi Kari
Correct Audit Logging in Concurrent Systems. LSFA (2020)
Chadi Kari, Sixia Chen, Sepehr Amir-Mohammadian, Vivek K. Pallipuram
Data Migration in Large Scale Heterogeneous Storage Systems with Nodes to Spare. ICNC (2019)
Sepehr Amir-Mohammadian, Stephen Chong, Christian Skalka
Correct Audit Logging: Theory and Practice. POST (2016)
Sepehr Amir-Mohammadian, Christian Skalka
In-Depth Enforcement of Dynamic Integrity Taint Analysis. PLAS@CCS (2016)
Sepehr Amir-Mohammadian, Mehran S. Fallah
Noninterference in a predicative polymorphic calculus for access control. Comput. Lang. Syst. Struct. 39 (3) (2013)