Xinming Ou

Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino: A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. POST 2012: 369-389

Heqing Huang, Su Zhang, Xinming Ou, Atul Prakash, Karem A. Sakallah: Distilling critical attack graph surface iteratively through minimum-cost SAT solving. ACSAC 2011: 31-40

Loai Zomlot, Sathya Chandran Sundaramurthy, Kui Luo, Xinming Ou, Siva Raj Rajagopalan: Prioritizing intrusion analysis using Dempster-Shafer theory. AISec 2011: 59-70

Su Zhang, Doina Caragea, Xinming Ou: An Empirical Study on Using the National Vulnerability Database to Predict Software Vulnerabilities. DEXA (1) 2011: 217-231

Su Zhang, Xinming Ou, John Homer: Effective Network Vulnerability Assessment through Model Abstraction. DIMVA 2011: 17-34

Peng Xie, Jason H. Li, Xinming Ou, Peng Liu, Renato Levy: Using Bayesian networks for cyber security analysis. DSN 2010: 211-220

Paul Barford, Marc Dacier, Thomas G. Dietterich, Matt Fredrikson, Jonathon T. Giffin, Sushil Jajodia, Somesh Jha, Jason H. Li, Peng Liu, Peng Ning, Xinming Ou, Dawn Song, Laura Strater, Vipin Swarup, George P. Tadda, C. Wang, John Yen: Cyber SA: Situational Awareness for Cyber Defense. Cyber Situational Awareness 2010: 3-13

Jason H. Li, Xinming Ou, Siva Raj Rajagopalan: Uncertainty and Risk Management in Cyber Situational Awareness. Cyber Situational Awareness 2010: 51-68

John Homer, Xinming Ou: SAT-solving approaches to context-aware enterprise network security management. IEEE Journal on Selected Areas in Communications 27(3): 315-322 (2009)

Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan: An Empirical Approach to Modeling Uncertainty in Intrusion Analysis. ACSAC 2009: 494-503

Anoop Singhal, Xinming Ou: Techniques for enterprise network security metrics. CSIIRW 2009: 25

Reginald E. Sawilla, Xinming Ou: Identifying Critical Attack Assets in Dependency Attack Graphs. ESORICS 2008: 18-34

John Homer, Ashok Varikuti, Xinming Ou, Miles A. McQueen: Improving Attack Graph Visualization through Data Reduction and Attack Grouping. VizSEC 2008: 68-79

Xinming Ou, Wayne F. Boyer, Miles A. McQueen: A scalable approach to attack graph generation. ACM Conference on Computer and Communications Security 2006: 336-345

K. Rustan M. Leino, Madan Musuvathi, Xinming Ou: A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover. TACAS 2005: 334-348

Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker: Dynamic Typing with Dependent Types. IFIP TCS 2004: 437-450

Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe: Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367

Wei Liu, Min Wu, Xinming Ou, Weimin Zheng, Meiming Shen: Design of an I/O Balancing File System on Web Server Clusters. ICPP Workshops 2000: 119-126

Wei Liu, Weimin Zheng, Meiming Shen, Xinming Ou, Min Wu: An Effective File Migration Algorithm in Cluster File Systems. ICPP Workshops 2000: 329-336