Ryuya NakamuraRyuya Nakamura is listed as Researcher at LayerX / The University of Tokyo in the EDCON 2019 speaker programme.3 talks by Ryuya NakamuraAnalyzing The Security Of Casper by Ryuya Nakamura (Devcon5)Grantee Exposé Lightning Talk 3 - Academic Research on Casper by Ryuya Nakamura (Devcon5)Formal verification and CBC Casper