Poster: Refinement and Verification of CBC Casper
Published in IEEE Symposium on Security and Privacy 2019, 2019
This work is published as a full paper The poster is available: pdf.
Ryuya Nakamura
Executive Officer at LayerX Inc. Contact: Twitter DM (@nrryuya) or nrryuya at gmail.com
- Tokyo/Japan
- Github
- Google Scholar