Amir Eaman

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 3

Top Topics

Formal Verification

Description Language

Security Concerns

Top Venues

Innov. Syst. Softw. Eng.

Publications

Amir Eaman, Amy P. Felty
A certified access control policy language: TEpla. Innov. Syst. Softw. Eng. 20 (1) (2024)
Amir Eaman, Amy P. Felty
Formal Verification of a Certified Policy Language. VECoS (2020)
Amir Eaman, Bahman Sistany, Amy P. Felty
Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution. MCETECH (2017)