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
Xiaotian Zhou, Kai Tu, Ali Ranjbar, Yilu Dong, Gang Tan, and Syed Rafiul Hussain