Mohammad A. Noureddine

Latest

• High-Fidelity Attack Investigation with Universal Provenance
• Revisiting Client Puzzles for State Exhaustion Attacks Resilience
• PowerAlert: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy
• An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement
• Accounting for the human user in predictive security models
• A Game-Theoretic Approach to Respond to Attacker Lateral Movement
• Model Checking Software with First Order Logic Specifications Using AIG Solvers