Ehab Al-Shaer

Ehab Al-Shaer, Yongning Tang, 2002, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327).

Two-tier data-driven intrusion detection for automatic generation control in smart grid

Ehab Al-Shaer, Quanyan Zhu, Sukumar Kamalasadan, 2014, 2014 IEEE Conference on Communications and Network Security.

Using Online Traffic Statistical Matching for Optimizing Packet Filtering Performance

Ehab Al-Shaer, Adel El-Atawy, Hong Li, 2007, IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications.

Classification and Discovery of Firewalls Policy Anomalies

Ehab Al-Shaer, 2014 .

A formal model for verifying stealthy attacks on state estimation in power grids

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Md. Ashfaqur Rahman, 2013, 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm).

Agile virtualized infrastructure to proactively defend against cyber attacks

Ehab Al-Shaer, Ellen W. Zegura, Mostafa H. Ammar, 2015, 2015 IEEE Conference on Computer Communications (INFOCOM).

CHAPTER 16 – Integrated Fault and Security Management

Ehab Al-Shaer, E. Al-Shaer, 2008 .

Towards Collaborative User-Level Overlay Fault Diagnosis

Ehab Al-Shaer, Yongning Tang, 2008, IEEE INFOCOM 2008 - The 27th Conference on Computer Communications.

Random Host Mutation for Moving Target Defense

Ehab Al-Shaer, Qi Duan, Jafar Haadi Jafarian, 2012, SecureComm.

Randomizing AMI configuration for proactive defense in smart grid

Ehab Al-Shaer, Qi Duan, Muhammad Qasim Ali, 2013, 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm).

A Formal Analysis of Moving Target Defense

Ehab Al-Shaer, Qi Duan, Muhammad Abdul Basit Ur Rahim, 2020, 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).

Efficient Random Route Mutation considering flow and network constraints

Ehab Al-Shaer, Qi Duan, Jafar Haadi Jafarian, 2013, 2013 IEEE Conference on Communications and Network Security (CNS).

Reasoning under Uncertainty for Overlay Fault Diagnosis

Ehab Al-Shaer, Yongning Tang, Kaustubh R. Joshi, 2012, IEEE Transactions on Network and Service Management.

Towards network security policy generation for configuration analysis and testing

Ehab Al-Shaer, Adel El-Atawy, Taghrid Samak, 2009, SafeConfig '09.

Overlay network placement for diagnosability

Ehab Al-Shaer, Mehmet Demirci, Mostafa H. Ammar, 2013, 2013 IEEE Global Communications Conference (GLOBECOM).

Security and Resiliency Analytics for Smart Grids

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2016, Advances in Information Security.

Towards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks

Ehab Al-Shaer, Mohammed Noraden Alsaleh, E. Al-Shaer, 2016, SafeConfig@CCS.

SafeConfig 2015: Workshop on Automated Decision Making for Active Cyber Defense

Ehab Al-Shaer, Christopher S. Oehmen, Mohammad Ashiqur Rahman, 2015, CCS.

A Novel Quantitative Approach For Measuring Network Security

Ehab Al-Shaer, Latifur Khan, Mohammad Salim Ahmed, 2008, IEEE INFOCOM 2008 - The 27th Conference on Computer Communications.

Firewall Policy Reconnaissance: Techniques and Analysis

Ehab Al-Shaer, Muhammad Qasim Ali, Taghrid Samak, 2014, IEEE Transactions on Information Forensics and Security.

Towards Automatic Creation of Usable Security Configuration

Ehab Al-Shaer, Bin Zhang, 2010, 2010 Proceedings IEEE INFOCOM.

Impact Analysis of Topology Poisoning Attacks on Economic Operation of the Smart Power Grid

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Rajesh G. Kavasseri, 2014, 2014 IEEE 34th International Conference on Distributed Computing Systems.

Email Worm Detection Using Naïve Bayes and Support Vector Machine

Ehab Al-Shaer, Latifur Khan, Mohammad M. Masud, 2006, ISI.

Automated synthesis of resiliency configurations for cyber networks

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Amarjit Datta, 2016, 2016 IEEE Conference on Communications and Network Security (CNS).

Automated Anomaly Detector Adaptation using Adaptive Threshold Tuning

Ehab Al-Shaer, Syed Ali Khayam, Hassan Khan, 2013, TSEC.

Management and translation of filtering security policies

Ehab Al-Shaer, Hazem H. Hamed, E. Al-Shaer, 2003, IEEE International Conference on Communications, 2003. ICC '03..

Probabilistic model checking for AMI intrusion detection

Ehab Al-Shaer, Muhammad Qasim Ali, E. Al-Shaer, 2013, 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm).

Firewall Policy Advisor for Anomaly Discovery and Rule Editing

Ehab Al-Shaer, Hazem H. Hamed, 2003, Integrated Network Management.

A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Rajesh G. Kavasseri, 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

Agile Virtual Infrastructure for Cyber Deception Against Stealthy DDoS Attacks

Ehab Al-Shaer, Fida Gillani, E. Al-Shaer, 2016, Cyber Deception.

Building Covert Channels over the Packet Reordering Phenomenon

Ehab Al-Shaer, Adel El-Atawy, 2009, IEEE INFOCOM 2009.

Proceedings of the 8th ACM workshop on Privacy in the electronic society

Ehab Al-Shaer, Stefano Paraboschi, 2009, WPES 2009.

A declarative approach for global network security configuration verification and evaluation

Ehab Al-Shaer, Mohammad Ashiqur Rahman, 2011, 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops.

Community-base Fault Diagnosis Using Incremental Belief Revision

Ehab Al-Shaer, Zhiwei Xu, Guang Cheng, 2009, 2009 IEEE International Conference on Networking, Architecture, and Storage.

Toward Globally Optimal Event Monitoring & Aggregation For Large-scale Overlay Networks

Ehab Al-Shaer, Bin Zhang, Yongning Tang, 2007, 2007 10th IFIP/IEEE International Symposium on Integrated Network Management.

Secure Distributed Solution for Optimal Energy Consumption Scheduling in Smart Grid

Ehab Al-Shaer, Mohamed Shehab, Mohammad Ashiqur Rahman, 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications.

Enterprise Risk Assessment Based on Compliance Reports and Vulnerability Scoring Systems

Ehab Al-Shaer, Mohammed Noraden Alsaleh, E. Al-Shaer, 2014, SafeConfig '14.

AMIAnalyzer: Security analysis of AMI configurations

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2011, 2011 4th Symposium on Configuration Analytics and Automation (SAFECONFIG).

Automated Firewall Analytics: Design, Configuration and Optimization

Ehab Al-Shaer, 2014 .

Vulnerability analysis For evaluating quality of protection of security policies

Ehab Al-Shaer, Latifur Khan, Muhammad Arshad Ul Abedin, 2006, QoP '06.

Formal Analysis of Policy-Based Security Configurations in Enterprise Networks

Ehab Al-Shaer, Soumya K. Ghosh, Padmalochan Bera, 2012 .

On the impact of loss and delay variation on Internet packet audio transmission

Ehab Al-Shaer, Lopamudra Roychoudhuri, Gregory B. Brewster, 2006, Comput. Commun..

CloudChecker: An imperative framework for cloud configuration management

Ehab Al-Shaer, Saeed Al-Haj, 2011, 2011 4th Symposium on Configuration Analytics and Automation (SAFECONFIG).

FireCracker: A Framework for Inferring Firewall Policies using Smart Probing

Ehab Al-Shaer, Adel El-Atawy, Taghrid Samak, 2007, 2007 IEEE International Conference on Network Protocols.

Intrusion Detection Systems for AMI

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2016 .

Correlation-based load balancing for network intrusion detection and prevention systems

Ehab Al-Shaer, Raouf Boutaba, Anh Le, 2008, SecureComm.

Optimizing correlation structure of event services considering time and capacity constraints

Ehab Al-Shaer, Bin Zhang, 2009, 2009 IFIP/IEEE International Symposium on Integrated Network Management.

Configuration Verification and Evaluation

Ehab Al-Shaer, Mohammad Ashiqur Rahman, 2011 .

Energy efficient navigation management for hybrid electric vehicles on highways

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Qi Duan, 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

Design and Configuration of Firewall Architecture Under Risk, Usability and Cost Constraints

Ehab Al-Shaer, 2014 .

Anomaly Discovery and Resolution in MySQL Access Control Policies

Ehab Al-Shaer, Mohamed Shehab, Saeed Al-Haj, 2012, DEXA.

ROI-Driven Cyber Risk Mitigation Using Host Compliance and Network Configuration

Ehab Al-Shaer, Mohammed Noraden Alsaleh, Ghaith Husari, 2017, Journal of Network and Systems Management.

Fine-grain diagnosis of overlay performance anomalies using end-point network experiences

Ehab Al-Shaer, Mehmet Demirci, Mostafa H. Ammar, 2012, 2012 8th international conference on network and service management (cnsm) and 2012 workshop on systems virtualiztion management (svm).

Randomization-Based Intrusion Detection System for Advanced Metering Infrastructure*

Ehab Al-Shaer, Muhammad Qasim Ali, E. Al-Shaer, 2015, TSEC.

Proceedings of the 2015 Workshop on Automated Decision Making for Active Cyber Defense

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Christopher S. Oehmen, 2015, SafeConfig@CCS.

A game-theoretic approach for deceiving Remote Operating System Fingerprinting

Ehab Al-Shaer, Mohammad Hossein Manshaei, Mohammad Ashiqur Rahman, 2013, 2013 IEEE Conference on Communications and Network Security (CNS).

Taxonomy of conflicts in network security policies

Ehab Al-Shaer, Hazem Hamed, E. Al-Shaer, 2006, IEEE Communications Magazine.

Vibration-based damage detection with uncertainty quantification by structural identification using nonlinear constraint satisfaction with interval arithmetic

Ehab Al-Shaer, Timothy P. Kernicky, Timothy Kernicky, 2018, Structural Health Monitoring.

Policy segmentation for intelligent firewall testing

Ehab Al-Shaer, Adel El-Atawy, K. Ibrahim, 2005, 1st IEEE ICNP Workshop on Secure Network Protocols, 2005. (NPSec)..

Active Management Framework for Distributed Multimedia Systems

Ehab Al-Shaer, E. Al-Shaer, 2000, Journal of Network and Systems Management.

Formal Approach for Route Agility against Persistent Attackers

Ehab Al-Shaer, Qi Duan, Jafar Haadi Jafarian, 2013, ESORICS.

Automated management of network access control from design to enforcement

Ehab Al-Shaer, 2010, SACMAT '10.

An evasive attack on SNORT flowbits

Ehab Al-Shaer, Raouf Boutaba, Tung Tran, 2012, 2012 IEEE Network Operations and Management Symposium.

Alert prioritization in Intrusion Detection Systems

Ehab Al-Shaer, Raouf Boutaba, Khalid Alsubhi, 2008, NOMS 2008 - 2008 IEEE Network Operations and Management Symposium.

A Novel Visualization Approach for Efficient Network-wide Traffic Monitoring

Ehab Al-Shaer, Mohamed A. Ismail, Adel El-Atawy, 2007, 2007 Workshop on End-to-End Monitoring Techniques and Services.

Specifications of a high-level conflict-free firewall policy language for multi-domain networks

Ehab Al-Shaer, Radha Jagadeesan, James Riely, 2007, SACMAT '07.

Improving Efficiency of Spam Detection using Economic Model

Ehab Al-Shaer, Fida Gillani, 2014, SafeConfig '14.

Secure and Private Data Aggregation for Energy Consumption Scheduling in Smart Grids

Ehab Al-Shaer, Mohammad Hossein Manshaei, Mohammad Ashiqur Rahman, 2017, IEEE Transactions on Dependable and Secure Computing.

SCAP based configuration analytics for comprehensive compliance checking

Ehab Al-Shaer, Mohammed Noraden Alsaleh, E. Al-Shaer, 2011, 2011 4th Symposium on Configuration Analytics and Automation (SAFECONFIG).

Managing firewall and network-edge security policies

Ehab Al-Shaer, 2004, 2004 IEEE/IFIP Network Operations and Management Symposium (IEEE Cat. No.04CH37507).

CLIPS/ActiveSDN for automated and safe cybersecurity course-of-actions orchestration

Ehab Al-Shaer, Ashutosh Dutta, Mohammed Noraden Alsaleh, 2019, HotSoS.

ConfigChecker: A tool for comprehensive security configuration analytics

Ehab Al-Shaer, Mohammed Noraden Alsaleh, E. Al-Shaer, 2011, 2011 4th Symposium on Configuration Analytics and Automation (SAFECONFIG).

Range and Topology Mutation Based Wireless Agility

Ehab Al-Shaer, Jiang Xie, Qi Duan, 2020, MTD@CCS.

CCS'10 : proceedings of the 17th ACM Conference on Computer and Communications Security, October 4-8, 2010, Chicago, Illinois, USA

Ehab Al-Shaer, Vitaly Shmatikov, Angelos D. Keromytis, 2010 .

Security Threat Analytics and Countermeasure Synthesis for Power System State Estimation

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Rajesh G. Kavasseri, 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.

POSTER: Revisiting anomaly detection system design philosophy

Ehab Al-Shaer, Syed Ali Khayam, Muhammad Qasim Ali, 2013, CCS.

Network configuration in a box: towards end-to-end verification of network reachability and security

Ehab Al-Shaer, Khalid Elbadawi, Adel El-Atawy, 2009, 2009 17th IEEE International Conference on Network Protocols.

Formal synthesis of dependable configurations for advanced metering infrastructures

Ehab Al-Shaer, Mohammad Ashiqur Rahman, 2015, 2015 IEEE International Conference on Smart Grid Communications (SmartGridComm).

Dynamic Bayesian Games for Adversarial and Defensive Cyber Deception

Ehab Al-Shaer, Kevin W. Hamlen, Jinpeng Wei, 2019 .

On autonomic optimization of firewall policy organization

Ehab Al-Shaer, Hazem H. Hamed, E. Al-Shaer, 2006, J. High Speed Networks.

A formal approach for network security management based on qualitative risk analysis

Ehab Al-Shaer, Mohammad Ashiqur Rahman, 2013, 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013).

Modeling and verification of IPSec and VPN security policies

Ehab Al-Shaer, Will Marrero, Hazem H. Hamed, 2005, 13TH IEEE International Conference on Network Protocols (ICNP'05).

Active Deception Framework: An Extensible Development Environment for Adaptive Cyber Deception

Ehab Al-Shaer, Md Mazharul Islam, 2020, 2020 IEEE Secure Development (SecDev).

Proceedings of the tenth annual ACM workshop on Digital rights management

Ehab Al-Shaer, Hongxia Jin, Marc Joye, 2010, CCS 2010.

Verifying the Enforcement and Effectiveness of Network Lateral Movement Resistance Techniques

Ehab Al-Shaer, Qi Duan, Mohammed Noraden Alsaleh, 2018, ICETE.

Security Metrics for Risk-aware Automated Policy Management

Ehab Al-Shaer, Latifur Khan, Mohammad Salim Ahmed, 2011 .

Build and Test Your Own Network Configuration

Ehab Al-Shaer, Padmalochan Bera, Saeed Al-Haj, 2011, SecureComm.

Proactive routing mutation against stealthy Distributed Denial of Service attacks: metrics, modeling, and analysis

Ehab Al-Shaer, Mahantesh Halappanavar, Samrat Chatterjee, 2018 .

Security-Aware Resource Allocation in Clouds

Ehab Al-Shaer, HariGovind V. Ramasamy, Saeed Al-Haj, 2013, 2013 IEEE International Conference on Services Computing.

Security design against stealthy attacks on power system state estimation: A formal approach

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Amarjit Datta, 2019, Comput. Secur..

Security and Resiliency Analytics for Smart Grids: Static and Dynamic Approaches

Ehab Al-Shaer, Mohammad Ashiqur Rahman, 2016 .

Adaptive Information Coding for Secure and Reliable Wireless Telesurgery Communications

Ehab Al-Shaer, Bhavani M. Thuraisingham, M. Engin Tozal, 2013, Mob. Networks Appl..

Final Report: Formal Foundations for Wireless Network Agility

Ehab Al-Shaer, E. Al-Shaer, 2016 .

Adversary-aware IP address randomization for proactive agility against sophisticated attackers

Ehab Al-Shaer, Qi Duan, Jafar Haadi Jafarian, 2015, 2015 IEEE Conference on Computer Communications (INFOCOM).

Dynamic rule-ordering optimization for high-speed firewall filtering

Ehab Al-Shaer, Hazem H. Hamed, E. Al-Shaer, 2006, ASIACCS '06.

Property Based Verification of Evolving Petri Nets

Ehab Al-Shaer, Yasir Imtiaz Khan, E. Al-Shaer, 2015, ICSEA 2015.

Spatio-temporal Address Mutation for Proactive Cyber Agility against Sophisticated Attackers

Ehab Al-Shaer, Qi Duan, Jafar Haadi Jafarian, 2014, MTD '14.

Self-organizing Monitoring Agents for Hierarchical Event Correlation

Ehab Al-Shaer, Bin Zhang, 2007, DSOM.

Designing, optimizing, and evaluating network security configuration

Ehab Al-Shaer, 2008, NOMS 2008 - 2008 IEEE Network Operations and Management Symposium.

A formal approach for virtual machine migration planning

Ehab Al-Shaer, Saeed Al-Haj, 2013, Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013).

Special issue: monitoring and measurements of IP networks

Ehab Al-Shaer, Kevin C. Almeroth, Raouf Boutaba, 2006, Comput. Commun..

Analytics for Smart Grid Security and Resiliency

Ehab Al-Shaer, Mohammad Ashiqur Rahman, 2016 .

Autonomic Networking, First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings

Ehab Al-Shaer, Guy Pujolle, Kenneth L. Calvert, 2006, AN.

PhishMon: A Machine Learning Framework for Detecting Phishing Webpages

Ehab Al-Shaer, Bei-Tseng Chu, Amirreza Niakanlahiji, 2018, 2018 IEEE International Conference on Intelligence and Security Informatics (ISI).

“What”, “Where”, and “Why” Cybersecurity Controls to Enforce for Optimal Risk Mitigation

Ehab Al-Shaer, Ashutosh Dutta, 2019, 2019 IEEE Conference on Communications and Network Security (CNS).

A Novel Class of Robust Covert Channels Using Out-of-Order Packets

Ehab Al-Shaer, Adel El-Atawy, Qi Duan, 2017, IEEE Transactions on Dependable and Secure Computing.

Information Theoretic Approach for Characterizing Spam Botnets Based on Traffic Properties

Ehab Al-Shaer, Kyle Smith, Khalid Elbadawi, 2009, 2009 IEEE International Conference on Communications.

Real-Time Audio Quality Evaluation for Adaptive Multimedia Protocols

Ehab Al-Shaer, Lopamudra Roychoudhuri, 2005, MMNS.

Synthesizing Optimal Security Configurations for Enterprise Networks : A Formal Approach

Ehab Al-Shaer, S. Kumar, Santosh Kumar Majhi, 2014 .

Prioritized active learning for malicious URL detection using weighted text-based features

Ehab Al-Shaer, Ashit Talukder, Sreyasee Das Bhattacharjee, 2017, 2017 IEEE International Conference on Intelligence and Security Informatics (ISI).

gExtractor: Automated Extraction of Malware Deception Parameters for Autonomous Cyber Deception

Ehab Al-Shaer, Kevin W. Hamlen, Jinpeng Wei, 2019 .

Specification and Refinement of a Conflict-Free Distributed Firewall Configuration Language

Ehab Al-Shaer, 2014 .

A Declarative Logic-Based Approach for Threat Analysis of Advanced Metering Infrastructure

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2012, SafeConfig.

Sharing end-user negative symptoms for improving overlay network dependability

Ehab Al-Shaer, Yongning Tang, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

An Automated Framework for Validating Firewall Policy Enforcement

Ehab Al-Shaer, Adel El-Atawy, Taghrid Samak, 2007, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).

Characterizing Scientific Reporting in Security Literature: An analysis of ACM CCS and IEEE S&P Papers

Ehab Al-Shaer, Jeffrey C. Carver, Laurie A. Williams, 2017, HotSoS.

Multi-dimensional Host Identity Anonymization for Defeating Skilled Attackers

Ehab Al-Shaer, Qi Duan, Jafar Haadi Jafarian, 2016, MTD@CCS.

Dynamic Firewall Configuration Optimization

Ehab Al-Shaer, 2014 .

Strategic Cyber Threat Intelligence Sharing: A Case Study of IDS Logs

Ehab Al-Shaer, Jing Yang, Yueqi Hu, 2016, 2016 25th International Conference on Computer Communication and Networks (ICCCN).

On Dynamic Optimization of Packet Matching in High-Speed Firewalls

Ehab Al-Shaer, Adel El-Atawy, Hazem H. Hamed, 2006, IEEE Journal on Selected Areas in Communications.

Proceedings of the 9th annual ACM workshop on Privacy in the electronic society

Ehab Al-Shaer, Keith B. Frikken, 2010, CCS 2010.

TTPDrill: Automatic and Accurate Extraction of Threat Actions from Unstructured Text of CTI Sources

Ehab Al-Shaer, Mohiuddin Ahmed, Xi Niu, 2017, ACSAC.

Analysis of firewall policy rules using traffic mining techniques

Ehab Al-Shaer, Latifur Khan, Muhammad Arshad Ul Abedin, 2010, Int. J. Internet Protoc. Technol..

FlowChecker: configuration analysis and verification of federated openflow infrastructures

Ehab Al-Shaer, Saeed Al-Haj, E. Al-Shaer, 2010, SafeConfig '10.

Conflict classification and analysis of distributed firewall policies

Ehab Al-Shaer, Raouf Boutaba, M. Hasan, 2005, IEEE Journal on Selected Areas in Communications.

Malware Deception with Automatic Analysis and Generation of HoneyResource

Ehab Al-Shaer, Kevin W. Hamlen, Jinpeng Wei, 2019 .

TimeVM: a framework for online intrusion mitigation and fast recovery using multi-time-lag traffic replay

Ehab Al-Shaer, Khalid Elbadawi, 2009, ASIACCS '09.

CONCEAL: A Strategy Composition for Resilient Cyber Deception-Framework, Metrics and Deployment

Ehab Al-Shaer, Haadi Jafarian, Qi Duan, 2018 .

Objective metrics for firewall security: A holistic view

Ehab Al-Shaer, Mohammed Noraden Alsaleh, Saeed Al-Haj, 2013, 2013 IEEE Conference on Communications and Network Security (CNS).

Automated Firewall Analytics

Ehab Al-Shaer, 2014, Springer International Publishing.

Real-time packet loss prediction based on end-to-end delay variation

Ehab Al-Shaer, Lopamudra Roychoudhuri, E. Al-Shaer, 2005, IEEE Transactions on Network and Service Management.

Fair Bandwidth Allocation under User Capacity Constraints

Ehab Al-Shaer, Adel El-Atawy, Yonghe Yan, 2006, 2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006.

Moving Target Defense for Hardening the Security of the Power System State Estimation

Ehab Al-Shaer, Rakesh Bobba, Mohammad Ashiqur Rahman, 2014, MTD '14.

Cyber Resilience-by-Construction: Modeling, Measuring & Verifying

Ehab Al-Shaer, Usman Rauf, Yasir Imtiaz Khan, 2015, SafeConfig@CCS.

Formal integrated network security analysis tool: formal query-based network security configuration analysis

Ehab Al-Shaer, Soumya Maity, Padmalochan Bera, 2015, IET Networks.

Objective Risk Evaluation for Automated Security Management

Ehab Al-Shaer, Latifur Khan, Mohammad Salim Ahmed, 2010, Journal of Network and Systems Management.

A Formal Framework for Network Security Design Synthesis

Ehab Al-Shaer, Mohammad Ashiqur Rahman, 2013, 2013 IEEE 33rd International Conference on Distributed Computing Systems.

Metrics for Automated Network Security Design

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2013, NDSS.

From Word Embedding to Cyber-Phrase Embedding: Comparison of Processing Cybersecurity Texts

Ehab Al-Shaer, Bill Chu, Moumita Das Purba, 2020, 2020 IEEE International Conference on Intelligence and Security Informatics (ISI).

Real-time Analysis of Delay Variation for Packet Loss Prediction

Ehab Al-Shaer, Lopamudra Roychoudhuri, 2004, MMNS.

Towards eliminating configuration errors in cyber infrastructure

Ehab Al-Shaer, Sharad Malik, Sanjai Narain, 2011, 2011 4th Symposium on Configuration Analytics and Automation (SAFECONFIG).

Towards Intelligent Cyber Deception Systems

Ehab Al-Shaer, Kevin W. Hamlen, Jinpeng Wei, 2019 .

Synthetic security policy generation via network traffic clustering

Ehab Al-Shaer, Taghrid Samak, 2010, AISec '10.

Toward Network Configuration Randomization for Moving Target Defense

Ehab Al-Shaer, E. Al-Shaer, 2011, Moving Target Defense.

Proceedings of the nineth ACM workshop on Digital rights management

Ehab Al-Shaer, Hongxia Jin, Gregory L. Heileman, 2009, CCS 2009.

Proceedings of the 2010 ACM workshop on Insider threats

Ehab Al-Shaer, Craig A. Shue, Brent Lagesse, 2010, CCS 2010.

A Cyber Mutation: Metrics, Techniques and Future Directions

Ehab Al-Shaer, 2016, MTD@CCS.

Problem Localization and Quantification Using Formal Evidential Reasoning for Virtual Networks

Ehab Al-Shaer, Mehmet Demirci, Mostafa H. Ammar, 2014, IEEE Transactions on Network and Service Management.

Ranking-Based Optimal Resource Allocation in Peer-to-Peer Networks

Ehab Al-Shaer, Adel El-Atawy, Yonghe Yan, 2007, IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications.

Towards autonomic risk-aware security configuration

Ehab Al-Shaer, Latifur Khan, Muhammad Arshad Ul Abedin, 2008, NOMS 2008 - 2008 IEEE Network Operations and Management Symposium.

Security configuration analytics using video games

Ehab Al-Shaer, Mohammed Noraden Alsaleh, E. Al-Shaer, 2014, 2014 IEEE Conference on Communications and Network Security.

IoTSAT: A formal framework for security analysis of the internet of things (IoT)

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Zahid Anwar, 2016, 2016 IEEE Conference on Communications and Network Security (CNS).

Proceedings of the 2014 Workshop on Cyber Security Analytics, Intelligence and Automation, SafeConfig '14, Scottsdale, Arizona, USA, November 3, 2014

Ehab Al-Shaer, Krishna Kant, 2014, SafeConfig.

Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2017, IEEE Transactions on Parallel and Distributed Systems.

A hierarchical filtering-based monitoring architecture for large-scale distributed systems

Ehab Al-Shaer, Kurt Maly, Hussein Abdel-Wahab, 1998 .

Verifying the Enforcement and Effectiveness of Network Lateral Movement Resistance Techniques.

Ehab Al-Shaer, Mohammed Noraden Alsaleh, Qi Duan, 2018 .

New frontiers in internet network management

Ehab Al-Shaer, Albert G. Greenberg, David A. Maltz, 2009, CCRV.

On synthesizing distributed firewall configurations considering risk, usability and cost constraints

Ehab Al-Shaer, Bin Zhang, 2011, 2011 7th International Conference on Network and Service Management.

Measuring firewall security

Ehab Al-Shaer, Saeed Al-Haj, 2011, 2011 4th Symposium on Configuration Analytics and Automation (SAFECONFIG).

Adaptive Early Packet Filtering for Defending Firewalls Against DoS Attacks

Ehab Al-Shaer, Raouf Boutaba, Tung Tran, 2009, IEEE INFOCOM 2009.

Fuzzy Conflict Analysis for QoS Policy Parameters in DiffServ Networks

Ehab Al-Shaer, Taghrid Samak, E. Al-Shaer, 2012, IEEE Transactions on Network and Service Management.

Using Deep Learning to Generate Relational HoneyData

Ehab Al-Shaer, Kevin W. Hamlen, Jinpeng Wei, 2019 .

Architecture for Efficient Monitoring and Management of Sensor Networks

Ehab Al-Shaer, Mohamed F. Younis, Poonam Munshi, 2003, MMNS.

Managing network security policies: firewall and IPSec/VPN

Ehab Al-Shaer, 2005, 2005 9th IFIP/IEEE International Symposium on Integrated Network Management, 2005. IM 2005..

Using Entropy and Mutual Information to Extract Threat Actions from Cyber Threat Intelligence

Ehab Al-Shaer, Xi Niu, Bill Chu, 2018, 2018 IEEE International Conference on Intelligence and Security Informatics (ISI).

Adaptive object-oriented filtering framework for event management applications

Ehab Al-Shaer, Hussein M. Abdel-Wahab, Mohamed Fayad, 2000, CSUR.

Towards a Unified Modeling and Verification of Network and System Security Configurations

Ehab Al-Shaer, Adel El-Atawy, Mohammed Noraden Alsaleh, 2012, SafeConfig.

QoS Path Monitoring for Multicast Networks

Ehab Al-Shaer, Yongning Tang, E. Al-Shaer, 2002, Journal of Network and Systems Management.

Monetizing spambot activity and understanding its relation with spambot traffic features

Ehab Al-Shaer, Sardar Ali, Syed Ali Khayam, 2012, ASIACCS '12.

Automated pseudo-live testing of firewall configuration enforcement

Ehab Al-Shaer, Adel El-Atawy, Taghrid Samak, 2009, IEEE Journal on Selected Areas in Communications.

IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems

Ehab Al-Shaer, Krishna Kant, Abdullah Al Farooq, 2018, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM).

SensorChecker: reachability verification in mission-oriented sensor networks

Ehab Al-Shaer, Moustafa Youssef, Qi Duan, 2013, MiSeNet '13.

Adaptive rate control for real-time packet audio based on loss prediction

Ehab Al-Shaer, Lopamudra Roychoudhuri, 2004, IEEE Global Telecommunications Conference, 2004. GLOBECOM '04..

A game‐theoretic model for capacity‐constrained fair bandwidth allocation

Ehab Al-Shaer, Adel El-Atawy, Yonghe Yan, 2008, Int. J. Netw. Manag..

A potential low-rate DoS attack against network firewalls

Ehab Al-Shaer, Khaled Salah, Karim Sattar, 2011, Secur. Commun. Networks.

Optimizing the RoI of cyber risk mitigation

Ehab Al-Shaer, Mohammed Noraden Alsaleh, Ghaith Husari, 2016, 2016 12th International Conference on Network and Service Management (CNSM).

ThreatZoom: neural network for automated vulnerability mitigation

Ehab Al-Shaer, Ehsan Aghaei, E. Al-Shaer, 2019, HotSoS.

A formal verification of mutation-based moving target defense

Ehab Al-Shaer, Qi Duan, Muhammad Abdul Basit Ur Rahim, 2019, HotSoS.

An Architecture for an Email Worm Prevention System

Ehab Al-Shaer, Raouf Boutaba, Mohamed Mahmoud Taibah, 2006, 2006 Securecomm and Workshops.

A Noninvasive Threat Analyzer for Advanced Metering Infrastructure in Smart Grid

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Padmalochan Bera, 2013, IEEE Transactions on Smart Grid.

Interactive Distance Learning over Intranets

Ehab Al-Shaer, Hussein M. Abdel-Wahab, Kurt Maly, 1997, IEEE Internet Comput..

Information theoretic feature space slicing for statistical anomaly detection

Ehab Al-Shaer, Syed Ali Khayam, Sajjad Rizvi, 2014, J. Netw. Comput. Appl..

Security Analytics for EMS Modules

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2016 .

Proceedings of the 9th ACM Workshop on Digital Rights Management, Chicago, Illinois, USA, November 9, 2009

Ehab Al-Shaer, Hongxia Jin, Gregory L. Heileman, 2009, Digital Rights Management Workshop.

On secure and resilient telesurgery communications over unreliable networks

Ehab Al-Shaer, Bhavani Thuraisingham, M. Engin Tozal, 2011, 2011 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).

Measures and metrics for the enforcement of critical security controls: a case study of boundary defense

Ehab Al-Shaer, Mohiuddin Ahmed, 2019, HotSoS.

Private and Anonymous Data Storage and Distribution in Cloud

Ehab Al-Shaer, Fadi Mohsen, Yongge Wang, 2013, 2013 IEEE International Conference on Services Computing.

PolicyVis: Firewall Security Policy Visualization and Inspection

Ehab Al-Shaer, Raouf Boutaba, Tung Tran, 2007, LISA.

Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009

Ehab Al-Shaer, Angelos D. Keromytis, Somesh Jha, 2009, CCS.

Formal Analysis of Critical Infrastructures by Structural Identification Using Constraint Programming Paradigm

Ehab Al-Shaer, Usman Rauf, Matthew J. Whelan, 2015 .

Towards a science of anomaly detection system evasion

Ehab Al-Shaer, Qi Duan, Muhammad Qasim Ali, 2015, 2015 IEEE Conference on Communications and Network Security (CNS).

Programmable Agents for Active Distributed Monitoring

Ehab Al-Shaer, 1999, DSOM.

Application-layer group communication server for extending reliable multicast protocols services

Ehab Al-Shaer, Hussein M. Abdel-Wahab, Kurt Maly, 1997, Proceedings 1997 International Conference on Network Protocols.

Formal Approach for Resilient Reachability based on End-System Route Agility

Ehab Al-Shaer, Mahantesh Halappanavar, Christopher S. Oehmen, 2016, MTD@CCS.

Overlay Fault Diagnosis Based on Evidential Reasoning

Ehab Al-Shaer, Yongning Tang, 2009, IEEE INFOCOM 2009.

Active integrated fault localization in communication networks

Ehab Al-Shaer, Raouf Boutaba, Yongning Tang, 2005, 2005 9th IFIP/IEEE International Symposium on Integrated Network Management, 2005. IM 2005..

Security Analytics for AMI and SCADA

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2016 .

Efficient fault diagnosis using incremental alarm correlation and active investigation for internet and overlay networks

Ehab Al-Shaer, Raouf Boutaba, Yongning Tang, 2008, IEEE Transactions on Network and Service Management.

Proceedings of the First IFIP TC6 international conference on Autonomic Networking

Ehab Al-Shaer, Guy Pujolle, Kenneth L. Calvert, 2006 .

A formal model for sustainable vehicle-to-grid management

Ehab Al-Shaer, Fadi Mohsen, Mohammad Ashiqur Rahman, 2013, SEGS '13.

Modeling and Management of Firewall Policies

Ehab Al-Shaer, Hazem H. Hamed, E. Al-Shaer, 2004, IEEE Transactions on Network and Service Management.

Automated Decision Making for Active Cyber Defense: Panel Discussion

Ehab Al-Shaer, Christopher S. Oehmen, Mohammad Ashiqur Rahman, 2015, SafeConfig@CCS.

Provable configuration planning for wireless sensor networks

Ehab Al-Shaer, Qi Duan, Saeed Al-Haj, 2012, 2012 8th international conference on network and service management (cnsm) and 2012 workshop on systems virtualiztion management (svm).

Traffic-aware dynamic firewall policy management: techniques and applications

Ehab Al-Shaer, Qi Duan, 2013, IEEE Communications Magazine.

Analysis of Firewall Policy Rules Using Data Mining Techniques

Ehab Al-Shaer, Latifur Khan, Korosh Golnabi, 2006, 2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006.

QoS policy verification for DiffServ networks

Ehab Al-Shaer, Adel El-Atawy, Taghrid Samak, 2011, 2011 IEEE Nineteenth IEEE International Workshop on Quality of Service.

Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids

Ehab Al-Shaer, Mohammad Ashiqur Rahman, A. H. M. Jakaria, 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Session details: Session 7C: TLS

Ehab Al-Shaer, E. Al-Shaer, 2018, ACM Conference on Computer and Communications Security.

MRMON: remote multicast monitoring

Ehab Al-Shaer, Yongning Tang, E. Al-Shaer, 2004, 2004 IEEE/IFIP Network Operations and Management Symposium (IEEE Cat. No.04CH37507).

A comprehensive objective network security metric framework for proactive security configuration

Ehab Al-Shaer, Latifur Khan, Mohammad Salim Ahmed, 2008, CSIIRW '08.

Integrating IP Multicasting in Standard Network Management Protocols

Ehab Al-Shaer, Yongning Tang, E. Al-Shaer, 2000, MMNS.

SmartAnalyzer: A noninvasive security threat analyzer for AMI smart grid

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Padmalochan Bera, 2012, 2012 Proceedings IEEE INFOCOM.

Formal Foundations for Wireless Network Agility

Ehab Al-Shaer, E. Al-Shaer, 2016 .

Configuration-based IDS for advanced metering infrastructure

Ehab Al-Shaer, Muhammad Qasim Ali, E. Al-Shaer, 2013, CCS.

HiFi: a new monitoring architecture for distributed systems management

Ehab Al-Shaer, Hussein M. Abdel-Wahab, Kurt Maly, 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).

Modeling and Verification of Firewall and IPSec Policies Using Binary Decision Diagrams

Ehab Al-Shaer, 2014 .

Autonomic QoS Optimization of Real-Time Internet Audio Using Loss Prediction and Stochastic Control

Ehab Al-Shaer, Lopamudra Roychoudhuri, 2010, Int. J. Adapt. Resilient Auton. Syst..

Discovery of policy anomalies in distributed firewalls

Ehab Al-Shaer, Hazem H. Hamed, E. Al-Shaer, 2004, IEEE INFOCOM 2004.

PoliCon: a policy conciliation framework for heterogeneous mobile ad hoc networks

Ehab Al-Shaer, Soumya K. Ghosh, Soumya Maity, 2015, Secur. Commun. Networks.

Data-driven analytics for cyber-threat intelligence and information sharing

Ehab Al-Shaer, Mohammad Ashiqur Rahman, Zahid Anwar, 2017, Comput. Secur..

On stochastic risk ordering of network services for proactive security management

Ehab Al-Shaer, Muhammad Qasim Ali, Mohamed Amezziane, 2012, 2012 IEEE Network Operations and Management Symposium.

Adaptive Statistical Optimization Techniques for Firewall Packet Filtering

Ehab Al-Shaer, Adel El-Atawy, Hazem H. Hamed, 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

Deception-Enhanced Threat Sensing for Resilient Intrusion Detection

Ehab Al-Shaer, Kevin W. Hamlen, Jinpeng Wei, 2019, Autonomous Cyber Deception.

A dynamic group management framework for large-scale distributed event monitoring

Ehab Al-Shaer, 2001, 2001 IEEE/IFIP International Symposium on Integrated Network Management Proceedings. Integrated Network Management VII. Integrated Management Strategies for the New Millennium (Cat. No.01EX470).

Event filtering framework: key criteria and design trade-offs

Ehab Al-Shaer, 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

NetShifter: A Comprehensive Multi-Dimensional Network Obfuscation and Deception Solution

Ehab Al-Shaer, Kevin W. Hamlen, Jinpeng Wei, 2019 .

HONEYSCOPE: IoT Device Protection with Deceptive Network Views

Ehab Al-Shaer, Kevin W. Hamlen, Jinpeng Wei, 2019 .

IoTChecker: A data-driven framework for security analytics of Internet of Things configurations

Ehab Al-Shaer, Zahid Anwar, Mujahid Mohsin, 2017, Comput. Secur..

Cyber defense matrix: a new model for optimal composition of cybersecurity controls to construct resilient risk mitigation

Ehab Al-Shaer, Ashutosh Dutta, 2019, HotSoS.

Reliability, scalability and robustness issues in IRI

Ehab Al-Shaer, Hussein M. Abdel-Wahab, Kurt Maly, 1997, Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

An Effective Address Mutation Approach for Disrupting Reconnaissance Attacks

Ehab Al-Shaer, Qi Duan, Jafar Haadi Jafarian, 2015, IEEE Transactions on Information Forensics and Security.

Toward the Science of Industrial Control Systems Security and Resiliency

Ehab Al-Shaer, Mohammad Ashiqur Rahman, E. Al-Shaer, 2019, Advances in Information Security.

Global Verification and Analysis of Network Access Control Configuration

Ehab Al-Shaer, Khalid Elbadawi, Will Marrero, 2008 .

Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010

Ehab Al-Shaer, Vitaly Shmatikov, Angelos D. Keromytis, 2010, CCS.

V2W-BERT: A Framework for Effective Hierarchical Multiclass Classification of Software Vulnerabilities

Ehab Al-Shaer, Edoardo Serra, Mahantesh Halappanavar, 2021, 2021 IEEE 8th International Conference on Data Science and Advanced Analytics (DSAA).

SODA: A System for Cyber Deception Orchestration and Automation

Ehab Al-Shaer, Latifur Khan, Md Sajidul Islam Sajid, 2021, ACSAC.

Constraints Satisfiability Driven Reinforcement Learning for Autonomous Cyber Defense pdf

Ehab Al-Shaer, Ashutosh Dutta, Samrat Chatterjee, 2021, ArXiv.

Automated Configuration Synthesis for Resilient Smart Metering Infrastructure

Ehab Al-Shaer, Amarjit Datta, Mohammad Ashiqur Rahman, 2021, EAI Endorsed Trans. Security Safety.

Statistical Measurement Approach for On-line Audio Quality Assessment

Ehab Al-Shaer, Lopamudra Roychoudhuri, Raffaella Settimi, 2006 .

Structural identification using a nonlinear constraint satisfaction processor with interval arithmetic and contractor programming

Ehab Al-Shaer, Usman Rauf, Matthew J. Whelan, 2017 .