Publications : Programming Language

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