Ping Yang joined the Department of Computer Science at Binghamton University as an Assistant Professor in 2006. She received her Ph.D in Computer Science from Stony Brook University, M.E. in Computer Science from the Chinese Academy of Sciences, and B.S in Computer Science from Zhongshan (Sun-Yatsen) University.

Research Interests

Security, Verification, Programming Languages, Software Engineering, Program Analysis, and Artificial Intelligence.

Courses taught

• CS558: Introduction to Security
• CS571: Programming Languages

Selected Publications

• Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, and Mikhail I. Gofman, "Efficient Policy Analysis for Administrative Role Based Access Control," 14th ACM Conference on Computer and Communications Security (CCS), ACM press, 2007.
• Zijiang Yang, Shiyong Lu, and Ping Yang, "Runtime Security Verification for Itinerary-Driven Mobile Code", 2nd IEEE Symposium on Dependable Autonomic and Secure Computing (DASC), IEEE Press, 2006.
• Amit Sasturkar, Ping Yang, Scott D. Stoller, and C.R. Ramakrishnan, "Policy Analysis for Administrative Role Based Access Control", 19th IEEE Computer Security Foundations Workshop (CSFW), IEEE Computer Society Press, 2006.
• Ping Yang, Samik Basu, and C.R. Ramakrishnan, "Parameterized Verification of Pi-Calculus Systems", 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 42-57, Lecture Notes in Computer Science, Springer-Verlag, 2006.
• Ping Yang, Yifei Dong, C.R. Ramakrishnan, and Scott A. Smolka, "A Provably Correct Compiler for Efficient Model Checking of Mobile Processes", 7th International Symposium on Practical Aspects of Declarative languages, pages 113-127, Lecture Notes in Computer Science, Springer-Verlag, 2005 (Most Practical Paper Award).
• Ping Yang, C.R. Ramakrishnan, and Scott A. Smolka, "A Logical Encoding of the Pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution", International Journal on Software Tools for Technology Transfer, 6(1), pages 38--66, June 2004, Springer-Verlag.
• Radu Grosu, Xiaowan Huang, Scott A. Smolka and Ping Yang, "Monte Carlo Analysis of Security Protocols: Needham-Schroeder Revisited", DIMACS Workshop on Security Analysis of Protocols, June 2004.