Professor Ehab Al-Shaer's Publications
Back to Main Page
All Publications
Find By Theme
Find By Topic
Find All Publications
Click on any icon to view all publications:
Find Publications by Theme
Formal Methods for Cybersecurity Verification
AI-empowered Cybersecurity
Networking
Distributed Monitoring & Network Management
Find Publications by Specific Topics
Cybersecurity
Firewalls
Access Control
Configuration Verification & Synthesis
Intrusion Detection
Adaptive Intrusion Response
Cyber Risk Analytics
Data Driven Threat Intelligence
Security Controls
Cyber-Physical Security & Resiliency
Cyber Deterrence
Active Cyber Deception
Cybersecurity Text Analytics and Language Models
AI-empowered Adaptive Cyber Defense
Domains
Enterprise
Clouds
Smart Grids
IoT
Industry Control Systems
Theoretical Foundations
SAT
SMT
BDD
NLP
Language Models
Deep Learning
Reinforcement Learning