Ehab Al-Shaer
University/Research Lab: University of North Carolina, Charlotte and DePaul University, Chicago
Location: (Charlotte, NC)
Personal Research Web Page: http://www.arc.cs.depaul.edu/~ehab
Keywords: formal methods, model checker, sat solvers, game theory, optimization theory, network scanning, botnet characterization, security metrics, overlay networks
Location: (Charlotte, NC)
Personal Research Web Page: http://www.arc.cs.depaul.edu/~ehab
Keywords: formal methods, model checker, sat solvers, game theory, optimization theory, network scanning, botnet characterization, security metrics, overlay networks
Posted on: Thursday, June 4th, 2009
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Networks / Operating Systems
Research Interests:
Projects:
- security configuration verification and validation using formal methods
- security metrics using parametric/nonparametric statistical and information theoretic approaches
- Defense by deception — game theocratic approach
- Early botnet detection — information theoretic approach
- overlay fault diagnosis and survivability — optimization theory
For more info, look at: http://www.arc.cs.depaul.edu/projects.php
