11 citations · 26 across the 6 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.SE2020
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…
cs.DC2020
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
Yepeng Ding, Hiroyuki Sato
Decentralized techniques are becoming crucial and ubiquitous with the rapid advancement of distributed ledger technologies such as the blockchain. Numerous decentralized systems ha…
cs.LO2020★ 1 cited
Extending Concurrent Separation Logic to Enhance Modular Formalization
Yepeng Ding, Hiroyuki Sato
Nowadays, numerous services based on large-scale distributed systems have been developed to boost the convenience of human life. On the other side, it becomes a significant challen…