Quantitative security metrics with human in the loop. - Mohammad A. Noureddine; Ken Keefe; William H. Sanders; Masooda N. Bashir (HotSoS, 2015)

A Game-Theoretic Approach to Respond to Attacker Lateral Movement. - Mohammad A. Noureddine; Ahmed M. Fawaz; William H. Sanders; Tamer Basar (GameSec, 2016)

Model Checking Software with First Order Logic Specifications Using AIG Solvers. - Mohammad A. Noureddine; Fadi A. Zaraket (IEEE Trans. Software Eng., 2016)

Accounting for the Human User in Predictive Security Models. - Mohammad A. Noureddine; Andrew Marturano; Ken Keefe; Masooda N. Bashir; William H. Sanders (PRDC, 2017)

An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement. - Atul Bohara; Mohammad A. Noureddine; Ahmed M. Fawaz; William H. Sanders (SRDS, 2017)

PowerAlert: An Integrity Checker using Power Measurement. - Ahmed M. Fawaz; Mohammad A. Noureddine; William H. Sanders (CoRR, 2017)

POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy. - Ahmed M. Fawaz; Mohammad A. Noureddine; William H. Sanders (DSN, 2018)

Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems. - Carmen Cheh; Ahmed M. Fawaz; Mohammad A. Noureddine; Binbin Chen 001; William G. Temple; William H. Sanders (PRDC, 2018)

Revisiting Client Puzzles for State Exhaustion Attacks Resilience. - Mohammad A. Noureddine; Ahmed M. Fawaz; Tamer Basar; William H. Sanders (CoRR, 2018)

Revisiting Client Puzzles for State Exhaustion Attacks Resilience. - Mohammad A. Noureddine; Ahmed M. Fawaz; Amanda Hsu; Cody Guldner; Sameer Vijay; Tamer Basar; William H. Sanders (DSN, 2019)

P4AIG: Circuit-Level Verification of P4 Programs. - Mohammad A. Noureddine; Amanda Hsu; Matthew Caesar 001; Fadi A. Zaraket; William H. Sanders (DSN (Supplements), 2019)

OmegaLog: High-Fidelity Attack Investigation via Transparent Multi-layer Log Analysis. - Wajih Ul Hassan; Mohammad A. Noureddine; Pubali Datta; Adam Bates 001 (NDSS, 2020)

Achieving network resiliency using sound theoretical and practical methods - Mohammad A. Noureddine (2020)

Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks. - Carter Yagemann; Mohammad A. Noureddine; Wajih Ul Hassan; Simon P. Chung; Adam Bates 001; Wenke Lee (CCS, 2021)