Login / Signup
Jonathan Shahen
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 4
Top Topics
Access Control
Safety Analysis
Micron Cmos
Mathematical Theory
Top Venues
IEEE Trans. Dependable Secur. Comput.
CSF
SACMAT
</>
Publications
</>
Mohamed El Massad
,
Nahid Juma
,
Jonathan Shahen
,
Mariana Raykova
,
Siddharth Garg
,
Mahesh Tripunitara
Locked Circuit Indistinguishability: A Notion of Security for Logic Locking.
CSF
(2022)
Jonathan Shahen
,
Jianwei Niu
,
Mahesh Tripunitara
Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies.
IEEE Trans. Dependable Secur. Comput.
18 (5) (2021)
Nahid Juma
,
Jonathan Shahen
,
Khalid Zaman Bijon
,
Mahesh Tripunitara
The Overhead from Combating Side-Channels in Cloud Systems Using VM-Scheduling.
IEEE Trans. Dependable Secur. Comput.
17 (2) (2020)
Jonathan Shahen
,
Jianwei Niu
,
Mahesh V. Tripunitara
Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies.
SACMAT
(2015)