Login / Signup
Takayuki Jimba
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Real World
Evolutionary Algorithm
Asynchronous Circuits
Model Checking
Top Venues
IACR Cryptol. ePrint Arch.
CVCBT
</>
Publications
</>
Ryuya Nakamura
,
Takayuki Jimba
,
Dominik Harz
Refinement and Verification of CBC Casper.
IACR Cryptol. ePrint Arch.
2019 (2019)
Ryuya Nakamura
,
Takayuki Jimba
,
Dominik Harz
Refinement and Verification of CBC Casper.
CVCBT
(2019)