☰

Xinming Ou, Ph.D.

Affiliations: 
2005 Princeton University, Princeton, NJ 
Area:
Software verification, computer security, programming languages, compilers.
Google:
"Xinming Ou"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Andrew Appel grad student 2005 Princeton
 (A logic -programming approach to network security analysis.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Sundaramurthy SC, Wesch M, Ou X, et al. (2017) Humans Are Dynamic - Our Tools Should Be Too Ieee Internet Computing. 21: 40-46
Homer J, Ou X. (2009) SAT-solving approaches to context-aware enterprise network security management Ieee Journal On Selected Areas in Communications. 27: 315-322
See more...