Wenqiu Ma

According to our database, Wenqiu Ma authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts.

Zhaoxuan Li, Siqi Lu, Rui Zhang, Rui Xue, Wenqiu Ma, Rujin Liang, Ziming Zhao, Sheng Gao

Empir. Softw. Eng., 2022

SR-MuSig2: A Scalable and Reconfigurable Multi-signature Scheme and Its Applications.

Wenqiu Ma, Rui Zhang

Proceedings of the Information Security and Cryptology - 18th International Conference, 2022