Jonathan Shahen

According to our database, Jonathan Shahen authored at least 5 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Locked Circuit Indistinguishability: A Notion of Security for Logic Locking.

Mohamed El Massad, Nahid Juma, Jonathan Shahen, Mariana Raykova, Siddharth Garg, Mahesh Tripunitara

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies.

Jonathan Shahen, Jianwei Niu, Mahesh Tripunitara

IEEE Trans. Dependable Secur. Comput., 2021

2020

Polynomial Timed Reductions to Solve Computer Security Problems in Access Control, Ethereum Smart Contract, Cloud VM Scheduling, and Logic Locking.

Jonathan Shahen

PhD thesis, 2020

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

2015

Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies.

Jonathan Shahen, Jianwei Niu, Mahesh V. Tripunitara

Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015