Refinement and Verification of CBC Casper

Ryuya Nakamura, Takayuki Jimba, Dominik Harz. Refinement and Verification of CBC Casper. IACR Cryptology ePrint Archive, 2019:415, 2019. [doi]

Authors

Ryuya Nakamura

This author has not been identified. Look up 'Ryuya Nakamura' in Google

Takayuki Jimba

This author has not been identified. Look up 'Takayuki Jimba' in Google

Dominik Harz

This author has not been identified. Look up 'Dominik Harz' in Google