Jose Tudon

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Automated Theorem Proving

Selection Mechanism

Top Venues

Publications

George Gui, Ali Hortaçsu, Jose Tudon
A Memo on the Proof-of-Stake Mechanism. CoRR (2018)