| Review of existing analysis tools for SELinux security policies: challenges and a proposed solution A Eaman, B Sistany, A Felty E-Technologies: Embracing the Internet of Things: 7th International …, 2017 | 22 | 2017 |
| Formal verification of a certified policy language A Eaman, A Felty Verification and Evaluation of Computer and Communication Systems: 14th …, 2020 | 3 | 2020 |
| Tepla: A certified type enforcement access-control policy language A Eaman Université d'Ottawa/University of Ottawa, 2019 | 3 | 2019 |
| E-Technologies: Embracing the Internet of Things: 7th International Conference, MCETECH 2017, Ottawa, ON, Canada, May 17-19, 2017, Proceedings E Aïmeur, U Ruhi, M Weiss Springer, 2017 | 2 | 2017 |
| A certified access control policy language: TEpla A Eaman, A Felty Innovations in Systems and Software Engineering 20 (1), 49-64, 2024 | 1 | 2024 |
| Graph-Powered Mining and Analysis of SELinux Security Policies A Eaman, P Jadczyk, H Chipman Proceedings of the Future Technologies Conference, 124-143, 2024 | | 2024 |
