3 papers
cs.CR2026
CPyGraph: A Version-Aware Static Analysis Framework for Native CPython Bytecode
Baihong Chen, Wen Li
Static analysis of Python packages must recover both program structure and object flow across first-class functions, dynamic dispatch, implicit protocol calls, exceptions, closures…
cs.CR2026
Beyond Source: An Empirical Study of Python Bytecode Security Risks
Baihong Chen, Tian Xie, Wen Li
Python package security is largely source-centric, yet Python runtimes can execute bytecode directly through .pyc files, compiled-only modules, and marshalled code objects, creatin…
cs.CR2025
CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications
Ke Xie, Xingyi Zhao, Min-Yue Chen +7
The complexity, interdependence, and rapid evolution of 3GPP specifications present fundamental challenges for ensuring the security of modern cellular networks. Manual reviews and…