pith. sign in

Yepeng Ding

Identifiers

  • name variant Yepeng Ding 0.60 · backfill

Papers (12)

  1. NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network Configuration cs.NI · 2026 · author #2
  2. Chasing price drains liquidity cs.CE · 2025 · author #2
  3. 1-D CNN-Based Online Signature Verification with Federated Learning cs.CR · 2024 · author #3
  4. Model-Driven Security Analysis of Self-Sovereign Identity Systems cs.CR · 2024 · author #1
  5. Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification cs.SE · 2024 · author #1
  6. Leveraging Self-Sovereign Identity in Decentralized Data Aggregation cs.SE · 2023 · author #1
  7. Self-Sovereign Identity as a Service: Architecture in Practice cs.SE · 2022 · author #1
  8. Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains cs.CR · 2021 · author #1
  9. Formalism-Driven Development of Decentralized Systems cs.SE · 2020 · author #1
  10. Transition-Oriented Programming: Developing Provably Correct Systems cs.PL · 2020 · author #1
  11. Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic cs.DC · 2020 · author #1
  12. Extending Concurrent Separation Logic to Enhance Modular Formalization cs.LO · 2020 · author #1

Mentions

  • 2501.12583 #2 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2406.06597 #3 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2406.00620 #1 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2404.10376 #1 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2009.06029 #1 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2303.11641 #1 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2205.08314 #1 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2111.03865 #1 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2012.04185 #1 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2008.08245 #1 · arxiv_oai · confidence 0.70 Yepeng Ding
  • 2007.13685 #1 · arxiv_oai · confidence 0.70 Yepeng Ding

Frequent Coauthors