5 citations · 9 across the 5 of their papers we have counts for
7 papers
Pricing Security in Proof-of-Work Systems
George Bissias, Rainer Böhme, David Thibodeau +1
A key component of security in decentralized blockchains is proof of opportunity cost among block producers. In the case of proof-of-work (PoW), currently used by the most prominen…
Greedy but Cautious: Conditions for Miner Convergence to Resource Allocation Equilibrium
George Bissias, Brian N. Levine, David Thibodeau
All public blockchains are secured by a proof of opportunity cost among block producers. For example, the security offered by proof-of-work (PoW) systems, like Bitcoin, is due to s…
Bonded Mining: Difficulty Adjustment by Miner Commitment
George Bissias, David Thibodeau, Brian N. Levine
Proof-of-work blockchains must implement a difficulty adjustment algorithm (DAA) in order to maintain a consistent inter-arrival time between blocks. Conventional DAAs are essentia…
A Type Theory for Defining Logics and Proofs
Brigitte Pientka, David Thibodeau, Andreas Abel +2
We describe a Martin-Löf-style dependent type theory, called Cocon, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOA…
Cocon: Computation in Contextual Type Theory
Brigitte Pientka, Andreas Abel, Francisco Ferreira +2
We describe a Martin-Löf style dependent type theory, called Cocon, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOA…
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…