Mohammad A. Noureddine

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 13

Top Topics

Integrity Checking

Unsupervised Manner

Malicious Attacks

First Order Logic

Top Venues

Publications

Carter Yagemann, Mohammad A. Noureddine, Wajih Ul Hassan, Simon Chung, Adam Bates, Wenke Lee
Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks. CCS (2021)
Wajih Ul Hassan, Mohammad A. Noureddine, Pubali Datta, Adam Bates
OmegaLog: High-Fidelity Attack Investigation via Transparent Multi-layer Log Analysis. NDSS (2020)
Mohammad A. Noureddine, Ahmed M. Fawaz, Amanda Hsu, Cody Guldner, Sameer Vijay, Tamer Basar, William H. Sanders
Revisiting Client Puzzles for State Exhaustion Attacks Resilience. DSN (2019)
Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders
P4AIG: Circuit-Level Verification of P4 Programs. DSN (Supplements) (2019)
Mohammad A. Noureddine, Ahmed M. Fawaz, Tamer Basar, William H. Sanders
Revisiting Client Puzzles for State Exhaustion Attacks Resilience. CoRR (2018)
Ahmed M. Fawaz, Mohammad A. Noureddine, William H. Sanders
POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy. DSN (2018)
Carmen Cheh, Ahmed M. Fawaz, Mohammad A. Noureddine, Binbin Chen, William G. Temple, William H. Sanders
Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems. PRDC (2018)
Ahmed M. Fawaz, Mohammad A. Noureddine, William H. Sanders
PowerAlert: An Integrity Checker using Power Measurement. CoRR (2017)
Atul Bohara, Mohammad A. Noureddine, Ahmed M. Fawaz, William H. Sanders
An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement. SRDS (2017)
Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, Masooda N. Bashir, William H. Sanders
Accounting for the Human User in Predictive Security Models. PRDC (2017)
Mohammad A. Noureddine, Fadi A. Zaraket
Model Checking Software with First Order Logic Specifications Using AIG Solvers. IEEE Trans. Software Eng. 42 (8) (2016)
Mohammad A. Noureddine, Ahmed M. Fawaz, William H. Sanders, Tamer Basar
A Game-Theoretic Approach to Respond to Attacker Lateral Movement. GameSec (2016)
Mohammad A. Noureddine, Ken Keefe, William H. Sanders, Masooda N. Bashir
Quantitative security metrics with human in the loop. HotSoS (2015)