Wenqiu Ma

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Designated Verifier

Bilinear Pairings

Signature Scheme

Top Venues

Empir. Softw. Eng.

Publications

Wenqiu Ma, Rui Zhang
SR-MuSig2: A Scalable and Reconfigurable Multi-signature Scheme and Its Applications. Inscrypt (2022)
Zhaoxuan Li, Siqi Lu, Rui Zhang, Rui Xue, Wenqiu Ma, Rujin Liang, Ziming Zhao, Sheng Gao
SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts. Empir. Softw. Eng. 27 (7) (2022)