Publications

Adam Bates Yuile, Wajih Ul Hassan, Mohammad A. Noureddine
July, 2023 US Patent 11,704,129, 2023
Transparent Interpretation and Integration of Layered Software Architecture Even Streams
Cite URL
Carter Yagemann, Mohammad A. Noureddine, Wajih Ul Hassan, Simon Chung, Adam Bates, Wenke Lee
January, 2021 Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks
PDF Cite DOI
Wajih Ul Hassan, Mohammad A. Noureddine, Pubali Datta, Adam Bates
January, 2020 27th Annual Network and Distributed System Security Symposium, NDSS 2020, San Diego, California, USA, February 23-26, 2020
OmegaLog: High-Fidelity Attack Investigation via Transparent Multi-layer Log Analysis
PDF Cite URL
Mohammad A. Noureddine, Ahmed M. Fawaz, Amanda Hsu, Cody Guldner, Sameer Vijay, Tamer Başar, William H. Sanders
June, 2019 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Revisiting Client Puzzles for State Exhaustion Attacks Resilience
PDF Cite DOI
Ahmed M. Fawaz, Mohammad A. Noureddine, William H. Sanders
June, 2018 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
PowerAlert: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy
PDF Cite DOI
Atul Bohara, Mohammad A. Noureddine, Ahmed Fawaz, William H. Sanders
September, 2017 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS)
An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement
PDF Cite DOI
Fadi A. Zaraket, Mohamad Jaber, Mohamad A. Noureddine, Yliès Falcone
June, 2017 International Journal on Software Tools for Technology Transfer
From high-level modeling toward efficient and trustworthy circuits
PDF Cite DOI
Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, William H. Sanders, Masooda Bashir
January, 2017 Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)
Accounting for the human user in predictive security models
PDF Cite DOI
Mohammad A. Noureddine, Ahmed Fawaz, William H. Sanders, Tamer Başar
November, 2016 Proceedings of the 7th Conference on Decision and Game Theory for Security (GameSec)
A Game-Theoretic Approach to Respond to Attacker Lateral Movement
PDF Cite DOI
Mohammad A. Noureddine, Fadi A. Zaraket
August, 2016 IEEE Transactions on Software Engineering
Model Checking Software with First Order Logic Specifications Using AIG Solvers
Cite DOI
Mohamad A. Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
January, 2014 Formal Aspects of Component Software
Reduction and Abstraction Techniques for BIP
Cite DOI
Fadi A. Zaraket, Mohamad A. Noureddine, Mohamed Sabra, Ameen Jaber
January, 2012 Proceedings of the 27th Annual ACM Symposium on Applied Computing-Poster Session
Portable Parallel Programs using architecture-aware libraries
PDF Cite DOI