Login / Signup
UTXOs as a Proof of Membership for Byzantine Agreement Based Cryptocurrencies.
Emmanuelle Anceaume
Antoine Guellier
Romaric Ludinard
Published in:
iThings/GreenCom/CPSCom/SmartData (2018)
Keyphrases
</>
fault tolerant
linear logic
theorem prover
information retrieval
genetic algorithm
metadata
theorem proving