Ziyu Mao, Xiaolin Ma, Lin Huang 0005, Huan Yang, Wu Zhang, Weichao Sun, Yongtao Wang, Jingling Xue, Jingyi Wang
Software Engineering Empirical Research Radar
Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification.
Paper detail page in SEER Radar.
ASE 2025
Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
Abstract / Summary
Summary pending. This page currently provides paper metadata; an abstract or short summary will be added when available.
External Links
Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.