Penghui Li
Orcid: 0000-0002-3077-5697Affiliations:
- The Chinese University of Hong Kong, Hong Kong
According to our database1,
Penghui Li
authored at least 12 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
4
5
1
4
2
2
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 33rd USENIX Security Symposium, 2024
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis.
Proceedings of the IEEE Symposium on Security and Privacy, 2024
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
2023
Proc. VLDB Endow., December, 2023
DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing.
Proceedings of the 32nd USENIX Security Symposium, 2023
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023
2022
SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
2021
On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution.
Proceedings of the WWW '21: The Web Conference 2021, 2021
Proceedings of the WWW '21: The Web Conference 2021, 2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021