Penghui Li

The paper proposes a novel identity-based public key management framework, IPK-pq, utilizing NIST ML-DSA and random matrix theory to enhance the scalability and efficiency of Public Key Infrastructure (PKI) for large-scale, post-quantum environments.

The paper introduces Neo, an agentic program analysis framework that successfully detects zero-day privilege escalation vulnerabilities in complex, polyglot microservices by combining LLMs with advanced code analysis.

The paper presents Symbolon, a framework that learns and applies context-sensitively diverse code transformations to improve symbolic execution, increasing coverage and reducing costs.