Pengxiang Ma

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Formal Verification

Service Level Agreements

Enabling Technologies

Top Venues

Publications

Pengxiang Ma, Ningyu He, Yuhua Huang, Haoyu Wang, Xiapu Luo
Abusing the Ethereum Smart Contract Verification Services for Fun and Profit. CoRR (2023)