20 citations · 69 across the 16 of their papers we have counts for
4 papers · 1 filter
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
Yepeng Ding, Arthur Gervais, Roger Wattenhofer +1
Decentralized finance (DeFi) is revolutionizing the traditional centralized finance paradigm with its attractive features such as high availability, transparency, and tamper-proofi…
Leveraging Self-Sovereign Identity in Decentralized Data Aggregation
Yepeng Ding, Hiroyuki Sato, Maro G. Machizawa
Data aggregation has been widely implemented as an infrastructure of data-driven systems. However, a centralized data aggregation model requires a set of strong trust assumptions t…
Self-Sovereign Identity as a Service: Architecture in Practice
Yepeng Ding, Hiroyuki Sato
Self-sovereign identity (SSI) has gained a large amount of interest. It enables physical entities to retain ownership and control of their digital identities, which naturally forms…
Formalism-Driven Development of Decentralized Systems
Yepeng Ding, Hiroyuki Sato
Decentralized systems have been widely developed and applied to address security and privacy issues in centralized systems, especially since the advancement of distributed ledger t…