Xinming (Simon) Ou

Xinming (Simon) Ou

Computer Science and Engineering
University of South Florida
4202 East Fowler Avenue, ENB 118
Tampa, FL 33620-5399
+1 813 974 4522
xou AT usf DOT edu

[Publications] [Google Scholar] [Curriculum Vitae]

I am broadly interested in research that addresses pressing-need cybersecurity challenges. I am especially interested in research problems that arise from practical domains, with a focus on both experimental/empirical study and sound theoretical footings. I have studied various forms of logical techniques in security analysis of complex systems, which led to the MulVAL network security analyzer, and the SnIPS intrusion analysis tool.

More recently I have been studying the problem of incident response/forensics analysis to understand how this process can benefit from systematic modeling and automation, grounded on sound theories of reasoning under uncertainty. In this effort we are adopting an inter-disciplinary approach, where we work with our anthropology colleague to conduct ethnographic fieldwork at real security operation centers. This provides a means for researchers to access the "tacit knowledge" of security analytics, which is critical to formulating the right models and algorithms. I am also interested in cloud computing and am investigating a new cloud service architecture that offers both security and manageability benefit, using the idea of moving-target defense. Another area of my current research is security of mobile computing systems such as Android, and how to combine static analysis and policy enforcement to achieve desired security properties. I am also working on cyber-physical system (CPS) security with a focus on designing a framework for ensuring security/safety properties of different types of CPSes through a unified secure real-time operating system (RTOS) platform.

Papers about my research can be found at my publications page. More information about my research will be added to this page. Meanwhile you are welcome to visit the website of my research group Argus. I am always looking for capable, dedicated, and hard-working students who want to solve real-world cybersecurity problems.


  • NSF Faculty Early Career Development (CAREER) Award, 2010.
  • HP Labs Innovation Research Program (IRP) Award, 2010, 2011, 2012.

Recent and upcoming professional activities



I am fortunate to work with these talented students.


  • Bart Carroll (Bachelor, Fall 2007)
  • Hussain Almohri (MS, 2008)
  • Abhishek Rakshit (MS, 2008)
  • John Homer (PhD, 2009. Faculty at Abilene Christian University)
  • Ashok Varikuti (MS, 2009)
  • Robert Christie (Bachelor, Spring 2009)
  • Sakthiyuvaraja Sakthivelmurugan (MS, 2009)
  • Tsung-Hsi Wu (MSE, 2010)
  • Murali Vupputuri (MS, 2011)
  • Nataraj Sundar (MS, 2011)
  • Cory Hardman (Bachelor, Dec 2011)
  • Dustin Seabourn (Bachelor, Spring 2012)
  • Heqing Huang (PhD student 2010-2012)
  • Kui Luo (PhD student 2009-2012)
  • Brian Cain (MS, 2014)
  • Loai Zomlot (PhD, 2014. Principal Software Engineer, ArcSight)
  • Matej Dolezal (Exchange Student from Czech Technical University, 2013-2014)
  • Su Zhang (PhD, 2014. Staff Security Engineer, NIO USA)
  • Ian Unruh (Undergraduate Student, 2012-2014)
  • Gilnei De Pellegrin (Exchange Student from Brazil, 2014)
  • Jordan DeLoach (Undergraduate Student)
  • Jacob Case (Undergraduate Student, 2013-2015)
  • Ali Ali (Undergraduate Student)
  • Alexandru Bardas (PhD, 2016. Assistant Professor, The University of Kansas)
  • Sathya Chandran Sundaramurthy (PhD, 2017. Research Scientist, DataVisor)

Last update: May 25, 2018.