Amir Eaman

According to our database¹, Amir Eaman authored at least 3 papers between 2017 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A certified access control policy language: TEpla.

[BibT_eX]

[DOI]

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

2020

Formal Verification of a Certified Policy Language.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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