| 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 | 23 | 2016 |
| 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 | 22 | 2017 |
| OmegaLog: High-fidelity attack investigation via transparent multi-layer log analysis WU Hassan, MA Noureddine, P Datta, A Bates Proc. NDSS, 2020 | 9 | 2020 |
| 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 | 9 | 2014 |
| 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 | 6 | 2017 |
| 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 | 5 | 2016 |
| 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 | 4 | 2015 |
| 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 | 3 | 2019 |
| Specification construction using behaviours, equivalences, and smt solvers PC Attie, FA Zaraket, M Noureddine, F El-Hariri arXiv preprint arXiv:1307.6901, 2013 | 3 | 2013 |
| 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 | 2 | 2018 |
| 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 | 2 | 2018 |
| From high-level modeling towards efficient and trustworthy circuits M Jaber, M Noureddine, FA Zaraket arXiv preprint arXiv:1409.8146, 2014 | 2 | 2014 |
| 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 | 2 | 2012 |
| 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 | 1 | 2019 |
| 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 | 1 | 2019 |
| PowerAlert: An Integrity Checker using Power Measurement AM Fawaz, M Noureddine, WH Sanders arXiv preprint arXiv:1702.02907, 2017 | 1 | 2017 |
| Model Checking Software with First Order Logic Specifications using AIG Solvers FA Zaraket, M Noureddine IEEE Transactions on Software Engineering 1, 2016 | 1 | 2016 |
| Synthesis of Sequential Extended Regular Expressions for Verification M Noureddine, FA Zaraket, AS Elzein arXiv preprint arXiv:1401.3173, 2014 | 1 | 2014 |
| Achieving network resiliency using sound theoretical and practical methods M Noureddine University of Illinois at Urbana-Champaign, 2020 | | 2020 |
| Model Checking Software Programs with First Order Logic Specifications using AIG Solvers FA Zaraket, M Noureddine arXiv preprint arXiv:1409.6825, 2014 | | 2014 |
William H SandersCarnegie Mellon UniversityVerified email at cmu.edu
