Wanning Ding

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Formal Definitions

Remote Attestation

Top Venues

J. Inf. Process. Syst.

USENIX Security Symposium

Publications

Wanning Ding, Yibo Wang, Yuzhe Tang
Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs. CoRR (2024)
Yibo Wang, Yuzhe Tang, Kai Li, Wanning Ding, Zhihua Yang
Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolized Stateful Fuzzing. USENIX Security Symposium (2024)
Jiaqi Chen, Yibo Wang, Yuxuan Zhou, Wanning Ding, Yuzhe Tang, Xiaofeng Wang, Kai Li
Understanding the Security Risks of Decentralized Exchanges by Uncovering Unfair Trades in the Wild. CoRR (2024)
Yibo Wang, Wanning Ding, Kai Li, Yuzhe Tang
Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolic Fuzzing. CoRR (2023)
Jiaqi Chen, Yibo Wang, Yuxuan Zhou, Wanning Ding, Yuzhe Tang, XiaoFeng Wang, Kai Li
Understanding the Security Risks of Decentralized Exchanges by Uncovering Unfair Trades in the Wild. EuroS&P (2023)
Hongqiang Jiao, Wanning Ding, Xinxin Wang
Supply Chain Trust Evaluation Model Based on Improved Chain Iteration Method. J. Inf. Process. Syst. 17 (1) (2021)
Hongqiang Jiao, Xinxin Wang, Wanning Ding
Service Oriented Cloud Computing Trusted Evaluation Model. J. Inf. Process. Syst. 16 (6) (2020)
Hongqiang Jiao, Wanning Ding, Yachao Shi, Na Zhao, Baomin Wang
Supply chain risk assessment model based on cloud model with subjective preference weight allocation algorithm. Intell. Decis. Technol. 14 (2) (2020)