Refinement and Verification of CBC Casper. - Ryuya Nakamura; Takayuki Jimba; Dominik Harz (IACR Cryptol. ePrint Arch., 2019)

Load Balancing for Sharded Blockchains. - Naoya Okanami; Ryuya Nakamura; Takashi Nishide (IACR Cryptol. ePrint Arch., 2020)

Impact of Saving Attacks on Blockchain Consensus. - Kai Otsuki; Ryuya Nakamura; Kazuyuki Shudo (IEEE Access, 2021)

Load Balancing with In-Protocol/Wallet-Level Account Assignment in Sharded Blockchains. - Naoya Okanami; Ryuya Nakamura; Takashi Nishide (IEICE Trans. Inf. Syst., 2022)