3 citations · 4 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018
Using Economic Risk to Model Miner Hash Rate Allocation in Cryptocurrencies
George Bissias, Brian N. Levine, David Thibodeau
Abrupt changes in the miner hash rate applied to a proof-of-work (PoW) blockchain can adversely affect user experience and security. Because different PoW blockchains often share h…
cs.PL2018
Index-Stratified Types (Extended Version)
Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau
We present Tores, a core language for encoding metatheoretic proofs. The novel features we introduce are well-founded Mendler-style (co)recursion over indexed data types and a form…