Published in 4th Workshop on Trusted Smart Contracts, 2020
A protocol to improve sharded blockchain by reducing the overhead due to cross-shard transactions.
Recommended citation: Naoya Okanami, Ryuya Nakamura and Takashi Nishide. (2020). "Load Balancing for Sharded Blockchains." WTSC 2020.
Published in Financial Cryptography and Data Security 2020, 2020
Propose a mitigation of a liveness attack on Casper FFG.
Recommended citation: Ryuya Nakamura. (2020). "Prevention of Bouncing Attack on Casper FFG." FC 2020.
Published in 2020 Symposium on Cryptography and Information Security, 2020
A blockchain finality gadget with subjective finality.
Recommended citation: Ryuya Nakamura. (2020). "Casper the Subjective Finality Gadget." SCIS 2020. https://www.iwsec.org/scis/2020/index.html
Published in Computer Security Symposium 2019, 2019
Analysis of the bouncing attack on LMD GHOST.
Recommended citation: 中村龍矢. (2019). "ブロックチェーンフォークチョイスルールLMD GHOSTに対する攻撃手法." CSS 2019. https://www.iwsec.org/css/2019/index.html
Published in The 14th International Workshop on Security, 2019
Randomize the reward function of a PoS protocol to improve equitability.
Recommended citation: Dominik Harz and Ryuya Nakamura. (2019). "Random Rewards in Proof-of-Stake Protocols." IWSEC 2019. https://www.iwsec.org/2019/
Published in 2019 Crypto Valley Conference on Blockchain Technology, 2019
Formal verification of CBC Casper in Isabelle/HOL.
Recommended citation: Ryuya Nakamura, Takayuki Jimba and Dominik Harz. (2019). "Refinement and Verification of CBC Casper." CVCBT 2019. https://eprint.iacr.org/2019/415
Published in IEEE Symposium on Security and Privacy 2019, 2019
Formal verification of CBC Casper in Isabelle/HOL.