Mohammad A. Noureddine
Title
Cited by
Cited by
Year
An unsupervised multi-detector approach for identifying malicious lateral movement
A Bohara, MA Noureddine, A Fawaz, WH Sanders
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 224-233, 2017
372017
OmegaLog: High-fidelity attack investigation via transparent multi-layer log analysis
WU Hassan, MA Noureddine, P Datta, A Bates
Network and Distributed System Security Symposium, 2020
302020
A game-theoretic approach to respond to attacker lateral movement
MA Noureddine, A Fawaz, WH Sanders, T Başar
International Conference on Decision and Game Theory for Security, 294-313, 2016
302016
Reduction and abstraction techniques for BIP
M Noureddine, M Jaber, S Bliudze, FA Zaraket
International Conference on Formal Aspects of Component Software, 288-305, 2014
92014
Accounting for the human user in predictive security models
MA Noureddine, A Marturano, K Keefe, M Bashir, WH Sanders
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 2017
82017
Model checking software with first order logic specifications using AIG solvers
MA Noureddine, FA Zaraket
IEEE Transactions on Software Engineering 42 (8), 741-763, 2016
62016
Quantitative security metrics with human in the loop
M Noureddine, K Keefe, WH Sanders, M Bashir
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 1-2, 2015
52015
Revisiting client puzzles for state exhaustion attacks resilience
MA Noureddine, AM Fawaz, A Hsu, C Guldner, S Vijay, T Başar, ...
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019
42019
Determining tolerable attack surfaces that preserves safety of cyber-physical systems
C Cheh, A Fawaz, MA Noureddine, B Chen, WG Temple, WH Sanders
2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing …, 2018
32018
Specification construction using behaviours, equivalences, and smt solvers
PC Attie, FA Zaraket, M Noureddine, F El-Hariri
arXiv preprint arXiv:1307.6901, 2013
32013
P4aig: Circuit-level verification of p4 programs
MA Noureddine, A Hsu, M Caesar, FA Zaraket, WH Sanders
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019
22019
Poweralert: integrity checking using power measurement and a game-theoretic strategy
AM Fawaz, MA Noureddine, WH Sanders
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
22018
PowerAlert: An integrity checker using power measurement
AM Fawaz, M Noureddine, WH Sanders
arXiv preprint arXiv:1702.02907, 2017
22017
From high-level modeling towards efficient and trustworthy circuits
M Jaber, M Noureddine, FA Zaraket
arXiv preprint arXiv:1409.8146, 2014
22014
Portable Parallel Programs using architecture-aware libraries
F Zaraket, M Noureddine, M Sabra, A Jaber
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1922-1924, 2012
22012
From high-level modeling toward efficient and trustworthy circuits
FA Zaraket, M Jaber, M Noureddine, Y Falcone
International Journal on Software Tools for Technology Transfer 21 (2), 143-163, 2019
12019
Model checking software with first order logic specifications using aig solvers
FA Zaraket, M Noureddine
IEEE Transactions on Software Engineering 1, 2016
12016
Synthesis of Sequential Extended Regular Expressions for Verification
M Noureddine, FA Zaraket, AS Elzein
arXiv preprint arXiv:1401.3173, 2014
12014
Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks
C Yagemann, MA Noureddine, WU Hassan, S Chung, A Bates, W Lee
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
2021
Transparent interpretation and integration of layered software architecture event streams
AB Yuile, WU Hassan, M Noureddine
US Patent App. 17/247,038, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20