Penghui Li
 |
Penghui Li |
About Me
I am a third-year Ph.D. candidate at Department of Computer Science and Engineering, The Chinese University of Hong Kong. I am very fortunate to work with my advisor Prof. Wei Meng and other members in SecLab.
Currently, I am also a visiting student in Tsinghua University advised by Prof. Chao Zhang.
I received my bachelor's degree from University of Chinese Academy of Sciences in 2019, where I had fruitful research experience with Prof. Kai Chen working on my thesis project. I was born in Changsha, Hunan Province, China.
I am on the job market for 2023 fall intake. If you have any openings related to software security, I would love to get in contact!
Research Interests
Software security and program analysis.
Fuzz testing, symbolic execution, and their co-design.
Publications
SEDiff: Scope-Aware Differential Fuzzing to Test Internal Function Models in Symbolic Execution
Penghui Li, Wei Meng, Kangjie Lu
In Proceedings of The 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Research Track, November 2022
Tchecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications
Changhua Luo, Penghui Li, Wei Meng
In Proceedings of The 29th ACM Conference on Computer and Communications Security (CCS), Web Security Track, November 2022
Understanding and Detecting Performance Bugs in Markdown Compilers
Penghui Li, Yinxi Liu, Wei Meng
In Proceedings of The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), Research Track, November 2021
LChecker: Detecting Loose Comparison Bugs in PHP
Penghui Li, Wei Meng
In Proceedings of The Web Conference 2021 (WWW), Security Track, April 2021
On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution
Penghui Li, Wei Meng, Kangjie Lu, Changhua Luo
In Proceedings of The Web Conference 2021 (WWW), Security Track, April 2021