Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies. - Jonathan Shahen; Jianwei Niu 001; Mahesh V. Tripunitara (SACMAT, 2015)

The Overhead from Combating Side-Channels in Cloud Systems Using VM-Scheduling. - Nahid Juma; Jonathan Shahen; Khalid Zaman Bijon; Mahesh Tripunitara (IEEE Trans. Dependable Secur. Comput., 2020)

Polynomial Timed Reductions to Solve Computer Security Problems in Access Control, Ethereum Smart Contract, Cloud VM Scheduling, and Logic Locking. - Jonathan Shahen (2020)

Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies. - Jonathan Shahen; Jianwei Niu 001; Mahesh Tripunitara (IEEE Trans. Dependable Secur. Comput., 2021)

Locked Circuit Indistinguishability: A Notion of Security for Logic Locking. - Mohamed El Massad; Nahid Juma; Jonathan Shahen; Mariana Raykova 001; Siddharth Garg; Mahesh Tripunitara (CSF, 2022)