机构作者
Kong, Fangyuan
文献数量：1
Shi, Cheng
文献数量：1
Shinagawa, Kazumasa
文献数量：1
Sun, Ran
文献数量：1
Takeda, Shigeki
文献数量：1
Yoneyama, Kazuki
文献数量：1
机构文献
Constant-round linear-broadcast secure computation with penalties[J]
THEORETICAL COMPUTER SCIENCE
Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts[J]
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES