11 citations · 15 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
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…
cs.SE2023★ 11 cited
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…