Forensic Analysis in Access Control: Foundations and a Case-Study from Practice. - Nahid Juma; Xiaowei Huang; Mahesh Tripunitara (CCS, 2020)

A computational complexity analysis of tunable type inference for Generic Universe Types. - Nahid Juma; Werner Dietl; Mahesh Tripunitara (Theor. Comput. Sci., 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)

Problems in Cloud Security, Access Control and Logic Locking. - Nahid Juma (2020)

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)