Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution. - Amir Eaman; Bahman Sistany; Amy P. Felty (MCETECH, 2017)

Formal Verification of a Certified Policy Language. - Amir Eaman; Amy P. Felty (VECoS, 2020)

A certified access control policy language: TEpla. - Amir Eaman; Amy P. Felty (Innov. Syst. Softw. Eng., 2024)

Using Machine Learning to Analyze and Detect Anomalies in SELinux Security Policies. - Krish Jain; Pranav Kapoor; Joann Sum; Amir Eaman; Esteve Hassan; Elhadi Shakshuki (ANT/EDI40, 2025)

Machine Learning-Based Security Policy Analysis. - Krish Jain; Joann Sum; Pranav Kapoor; Amir Eaman (CoRR, 2025)