The Overhead from Combating Side-Channels in Cloud Systems using VM-Scheduling N Juma, J Shahen, K Bijon, MV Tripunitara IEEE Transactions on Dependable and Secure Computing, 1, 2018 | 15 | 2018 |
Cree: A performant tool for safety analysis of administrative temporal role-based access control (ATRBAC) policies J Shahen, J Niu, M Tripunitara IEEE Transactions on Dependable and Secure Computing 18 (5), 2349-2364, 2019 | 14 | 2019 |
Mohawk+ t: Efficient analysis of administrative temporal role-based access control (atrbac) policies J Shahen, J Niu, M Tripunitara Proceedings of the 20th ACM Symposium on Access Control Models and …, 2015 | 13 | 2015 |
Automated safety analysis of administrative temporal role-based access control (atrbac) policies using mohawk+ t J Shahen University of Waterloo, 2016 | 3 | 2016 |
Mohawk+ T: Source Code J Shahen | 3 | 2015 |
Locked Circuit Indistinguishability: A Notion of Security for Logic Locking M El Massad, N Juma, J Shahen, M Raykova, S Garg, M Tripunitara 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 455-470, 2022 | | 2022 |
Polynomial Timed Reductions to Solve Computer Security Problems in Access Control, Ethereum Smart Contract, Cloud VM Scheduling, and Logic Locking. J Shahen University of Waterloo, 2020 | | 2020 |
EVALUATIVE PROGRESSION LOAD TESTING ON BLACK-BOX SYSTEMS JM Shahen | | 2013 |
CAPDIM+, A PROTOTYPE FOR INTERACTIVE STRATEGIC DECISION-MAKING USING REGRESSION AND VISUALIZATION JM Shahen | | 2012 |
Cree & Mohawk+ T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies J Shahen, J Niu, M Tripunitara | | |