Peixuan Li

Welcome! I am a third-year Ph.D. student in Computer Science at Pennsylvania State University, where I work with my advisor Dr. Danfeng Zhang on the research of Security and Programming Languages. Before joining Penn State, I received my B.E in Software Engineering from Northeastern University, China.

 W368 Westgate Building, University Park, PA, 16802
 pzl129 [AT:]


My research interests lie in the intersection of security and programming language. The goal is to strengthen the security of software applications by using the properties of programming languages. Techniques that commonly involved in my research work include: Security Type SystemsData/Control Flow Analysis,  Formal Proof,  Constraint Solvers,  Compiler and etc.


Peixuan Li and Danfeng Zhang.
A Derivation Framework for Dependent Security Label Inference.     [slides]   [poster]   [code]
Proceedings of the ACM on Programming Languages, Volume 2. OOPSLA, 2018, Article 115.
Peixuan Li and Danfeng Zhang.
Towards a Flow- and Path-Sensitive Information Flow Analysis.      [slides]   [report]
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017, pp. 53-67.


Last update: Oct. 2018.    © Peixuan Li.   

Analytics Made Easy - StatCounter