Refinement and Verification of CBC Casper.

Ryuya Nakamura Takayuki Jimba Dominik Harz

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

model checking
formal verification
face verification
neural network
real world
information systems
evolutionary algorithm
person identification
asynchronous circuits