Sepehr Amir-Mohammadian

According to our database, Sepehr Amir-Mohammadian authored at least 12 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

An Implementation Model for Correct Audit Logging in Cyber-Physical Systems.

Sepehr Amir-Mohammadian, Afsoon Yousefi Zowj

DiDit@DisCoTec, 2024

2022

An Automated Quantitative Information Flow Analysis for Concurrent Programs.

Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Instrumenting Microservices for Concurrent Audit Logging: Beyond Horn Clauses.

Nicolas D. Ahn, Sepehr Amir-Mohammadian

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

A Semantic Framework for Direct Information Flows in Hybrid-Dynamic Systems.

Sepehr Amir-Mohammadian

Proceedings of the 7th ACM on Cyber-Physical System Security Workshop, 2021

Towards An Indoor Navigation System Using Monocular Visual SLAM.

Akshat Bajpai, Sepehr Amir-Mohammadian

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Towards Concurrent Audit Logging in Microservices.

Sepehr Amir-Mohammadian, Afsoon Yousefi Zowj

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Maybe tainted data: Theory and a case study.

Christian Skalka, Sepehr Amir-Mohammadian, Samuel Clark

J. Comput. Secur., 2020

Correct Audit Logging in Concurrent Systems.

Sepehr Amir-Mohammadian, Chadi Kari

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019

Data Migration in Large Scale Heterogeneous Storage Systems with Nodes to Spare.

Chadi Kari, Sixia Chen, Sepehr Amir-Mohammadian, Vivek K. Pallipuram

Proceedings of the International Conference on Computing, Networking and Communications, 2019

2016

Correct Audit Logging: Theory and Practice.

Sepehr Amir-Mohammadian, Stephen Chong, Christian Skalka

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

In-Depth Enforcement of Dynamic Integrity Taint Analysis.

Sepehr Amir-Mohammadian, Christian Skalka

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2013

Noninterference in a predicative polymorphic calculus for access control.

Sepehr Amir-Mohammadian, Mehran S. Fallah

Comput. Lang. Syst. Struct., 2013