Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing Eleftherios Kokoris-Kogias, Philipp Jovanovic, Nicolas Gailly, Ismail Khoffi, Linus Gasser, and Bryan Ford EPFL 1.

Source URL: milan2016.scalingbitcoin.org

Verifying Strong Eventual Consistency in Distributed Systems

Source URL: martin.kleppmann.com

Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing Eleftherios Kokoris Kogias, Philipp Jovanovic, Nicolas Gailly, Ismail Khoffi, Linus Gasser, and Bryan Ford, École Polytechnique F

Source URL: www.usenix.org

ByzCoin arXiv:1602.06997v3 [cs.CR] 1 Aug 2016 Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing

Source URL: agora.vote

Warranties for Faster Strong Consistency Jed Liu Tom Magrino Owen Arden

Source URL: www.cs.cornell.edu

’Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman Hongseok Yang

Source URL: software.imdea.org

’Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman Hongseok Yang

Source URL: software.imdea.org

• Metalogic
• Model theory
• Structure
• Consistency model

Bitcoin Meets Strong Consistency Christian Decker Jochen Seidel Roger Wattenhofer Distributed Computing Group, ETH Zurich {cdecker, seidel, wattenhofer}@ethz.ch ABSTRACT

Source URL: www.tik.ee.ethz.ch

• Cryptocurrencies
• Bitcoin
• Blockchain
• Zerocoin
• Mt. Gox
• Mining pool
• Lisk
• Shadow
• Draft:Basics with Bitcoin

Warranties for Faster Strong Consistency Jed Liu Tom Magrino Owen Arden

Source URL: www.cs.cornell.edu

Bitcoin Meets Strong Consistency Christian Decker Jochen Seidel Roger Wattenhofer ETH Zurich – Distributed Computing Group – www.disco.ethz.ch

Source URL: www.tik.ee.ethz.ch