- Identifying Critical Attack Assets in Dependency Attack Graphs
- Authorization Strategies for Virtualized Environments in Grid Computing Systems
- A Practical Approach to Modeling Uncertainty in Intrusion Analysis Xinming Ou Raj Rajagopalan Sakthiyuvaraja Sakthivelmurugan
- Using Bayesian Networks for Cyber Security Analysis , Jason H Li
- Identifying critical attack assets in dependency attack graphs
- An Empirical Approach to Modeling Uncertainty in Intrusion Analysis
- A two-tier technique for supporting quantifiers in a lazily proof-explicating theorem prover
- A HOST-BASED SECURITY ASSESSMENT ARCHITECTURE FOR INDUSTRIAL CONTROL
- Improving Attack Graph Visualization through Data Reduction and Attack Grouping
- Googling Attack Graphs Reginald Sawilla
- MulVAL: A Logic-based Network Security Analyzer Xinming Ou Sudhakar Govindavajhala Andrew W. Appel
- A Scalable Approach to Attack Graph Generation Purdue University
- Curriculum Vitae Computing and Information Sciences
- A Sound and Practical Approach to Quantifying Security Risk in Enterprise Networks
- SAT-Solving Approaches to Context-Aware Enterprise Network Security Management
- From Attack Graphs to Automated Configuration Management --An Iterative Approach
- Prioritizing Intrusion Analysis Using Dempster-Shafer Loai Zomlot, Sathya Chandran Sundaramurthy, Kui Luo, Xinming Ou
- An empirical study of a vulnerability metric aggregation method Su Zhang, Xinming Ou
- Prioritizing Intrusion Analysis Using Dempster-Shafer Loai Zomlot, Sathya Chandran Sundaramurthy, Kui Luo, Xinming Ou
- Practical IDS alert correlation in the face of dynamic threats Sathya Chandran Sundaramurthy, Loai Zomlot, Xinming Ou
- Effective Network Vulnerability Assessment through Model Abstraction
- An Empirical Study on Using the National Vulnerability Database to Predict Software
- Distilling Critical Attack Graph Surface iteratively through Minimum-Cost SAT Solving
- KanSec: The Greater Kansas Area Security Workshop http://people.cis.ksu.edu/~xou/kansec/
