Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ziyu Mao
conf.researchr.org general profile
ASE 2025 profile
ICSE 2025 profile
Registered user since Mon 22 Jul 2024
Name:
Ziyu Mao
Country:
China
Affiliation:
Zhejiang University
Contributions
2025
ASE
Author of Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification within the Industry Showcase-track
ICSE
Author of LLM-aided Automatic Modeling for Security Protocol Verification within the Research Track-track
Share
x
Tue 28 Oct 03:08