Sepehr Amir-Mohammadian

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