I am a Ph.D student at Stony Brook University. My advisor is Prof. Scott D. Stoller.
My primary research interest includes security policy design and analysis, role based access control system analysis, role engineering using data mining technique and model checking.
Stony Brook University Fall 2009 till present, Ph.D in Computer Science
Peking University, Beijing, China. MS 2009 and BS 2006 in Computer Science
Introduction to the theory of Computation (Fall 2009)
CSE 373 Analysis of Algorithms (Fall 2009 & Spring 2010)
Zhongyuan Xu and Scott
D. Stoller. "Mining Parameterized Role-Based Policies."
In Proceedings of the
Third ACM Conference on Data and
Application Security and Privacy (CODASPY).
© ACM Press, 2013.
Zhongyuan Xu and Scott D. Stoller. "Algorithms for Mining Meaningful Roles."
In Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT). © ACM Press, 2012.
Puneet Gupta, Scott D. Stoller, and Zhongyuan Xu. "Abductive Analysis of Administrative Policies in Rule-based Access Control." In Proceedings of the Seventh International Conference on Information Systems Security (ICISS 2011), volume 7093 of Lecture Notes in Computer Science, pages 116-130. © Springer-Verlag, 2011.
Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu. "A new model for model checking: cycle-weighted Kripke structure."
Frontiers of Computer Science in China 4(1) page: 78-88 2010
Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao. "On Model Checking Boolean BI." page: 302-316 CSL 2009
Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu. "A New Temporal Logic CTL[k-QDDC] and Its Verification." page: 235-238 COMPSAC 2008
6/2010-Present Role mining and Attribute based Rule Mining , Design and Analysis Research Lab, Stony Brook University
2/2010-5/2010 Compiler for E-- language, Stony Brook University
9/2009-12/2009 Music Fan Club Knowledge Base, Stony Brook University
06/2012-08/2012 Internship, Facebook Inc, CA
02/2009-06/2009 Internship, Supertool Internet Technology Company, Beijing, China
02/2005-10/2005 Microprocessors Research Center, Peking University, Beijing, China
Most familiar languages: C++, Java, C
ZOJ: an online judgement system