Mohammad A. Noureddine

According to our database, Mohammad A. Noureddine authored at least 14 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks.

Carter Yagemann, Mohammad A. Noureddine, Wajih Ul Hassan, Simon P. Chung, Adam Bates, Wenke Lee

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Achieving network resiliency using sound theoretical and practical methods

Mohammad A. Noureddine

PhD thesis, 2020

OmegaLog: High-Fidelity Attack Investigation via Transparent Multi-layer Log Analysis.

Wajih Ul Hassan, Mohammad A. Noureddine, Pubali Datta, Adam Bates

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2019

P4AIG: Circuit-Level Verification of P4 Programs.

Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

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

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018

Revisiting Client Puzzles for State Exhaustion Attacks Resilience.

Mohammad A. Noureddine, Ahmed M. Fawaz, Tamer Basar, William H. Sanders

CoRR, 2018

Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems.

Carmen Cheh, Ahmed M. Fawaz, Mohammad A. Noureddine, Binbin Chen, William G. Temple, William H. Sanders

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy.

Ahmed M. Fawaz, Mohammad A. Noureddine, William H. Sanders

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

PowerAlert: An Integrity Checker using Power Measurement.

Ahmed M. Fawaz, Mohammad A. Noureddine, William H. Sanders

CoRR, 2017

An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement.

Atul Bohara, Mohammad A. Noureddine, Ahmed M. Fawaz, William H. Sanders

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Accounting for the Human User in Predictive Security Models.

Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, Masooda N. Bashir, William H. Sanders

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

2016

Model Checking Software with First Order Logic Specifications Using AIG Solvers.

Mohammad A. Noureddine, Fadi A. Zaraket

IEEE Trans. Software Eng., 2016

A Game-Theoretic Approach to Respond to Attacker Lateral Movement.

Mohammad A. Noureddine, Ahmed M. Fawaz, William H. Sanders, Tamer Basar

Proceedings of the Decision and Game Theory for Security - 7th International Conference, 2016

2015

Quantitative security metrics with human in the loop.

Mohammad A. Noureddine, Ken Keefe, William H. Sanders, Masooda N. Bashir

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015