11 citations · 26 across the 6 of their papers we have counts for
6 papers
Parallelizing quantum simulation with decision diagrams
Shaowen Li, Yusuke Kimura, Hiroyuki Sato +2
Recent technological advancements show promise in leveraging quantum mechanical phenomena for computation. This brings substantial speed-ups to problems that are once considered to…
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…
Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains
Yepeng Ding, Hiroyuki Sato
Blockchain technologies have been boosting the development of data-driven decentralized services in a wide range of fields. However, with the spirit of full transparency, many publ…
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…
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…
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…