Amir Eaman

According to our database, Amir Eaman authored at least 5 papers between 2017 and 2025.

Collaborative distances:

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

2025

Machine Learning-Based Security Policy Analysis.

Krish Jain, Joann Sum, Pranav Kapoor, Amir Eaman

CoRR, January, 2025

Using Machine Learning to Analyze and Detect Anomalies in SELinux Security Policies.

Krish Jain, Pranav Kapoor, Joann Sum, Amir Eaman, Esteve Hassan, Elhadi Shakshuki

Proceedings of the 16th International Conference on Ambient Systems, 2025

2024

A certified access control policy language: TEpla.

Amir Eaman, Amy P. Felty

Innov. Syst. Softw. Eng., March, 2024

2020

Formal Verification of a Certified Policy Language.

Amir Eaman, Amy P. Felty

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

2017

Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution.

Amir Eaman, Bahman Sistany, Amy P. Felty

Proceedings of the E-Technologies: Embracing the Internet of Things, 2017