Publications : Programming Language

BPA-X: An Architecture-Agnostic Block-Based Points-to Analysis for Stripped Binaries

Workshop on Binary Analysis Research (BAR'26), co-located with NDSS'26
Bokai Zhang, Monika Santra, Syed Rafiul Hussain and Gang Tan

Workshop Programming Language Software Security

VUPER: Verified ASN.1 UPER Parser

The ACM Conference on Computer and Communications Security (CCS), 2026
Xiaotian Zhou, Kai Tu, Ali Ranjbar, Yilu Dong, Gang Tan, and Syed Rafiul Hussain

Conference Formal Verification Network Security Programming Language Software Security