Mohammad A. Noureddine

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