I. Abraham, D. Malkhi, K. Nayak, L. Ren, and A. Spiegelman, Solidus: An incentive-compatible cryptocurrency based on permissionless byzantine consensus, 2016.

S. Amitanand, L. Aiyer, A. Alvisi, M. Clement, J. Dahlin et al., BAR fault tolerance for cooperative services, Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, pp.45-58, 2005.

Y. Amoussou-guenou, A. D. Pozzo, M. Potop-butucaru, and S. Tuccipiergiovanni, Correctness of tendermint-core blockchains, 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, vol.16, pp.1-16, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01790504

E. Anceaume, A. D. Pozzo, R. Ludinard, M. Potop-butucaru, and S. Tucci-piergiovanni, Blockchain Abstract Data Type, CoRR abs/1802.09877 and Poster at Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.439-440, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01718480

C. Badertscher, J. A. Garay, U. Maurer, D. Tschudi, and V. Zikas, But why does it work? A rational protocol design treatment of bitcoin, Advances in Cryptology-EUROCRYPT 2018-37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp.34-65, 2018.

B. Biais, M. Christophebisì-ere, C. Bouvard, and . Casamatta, The blockchain folk theorem. The Review of Financial Studies, 2019.

D. Blackwell, Discounted dynamic programming, The Annals of Mathematical Statistics, vol.36, issue.1, pp.226-235, 1965.

M. Castro and B. Liskov, Practical byzantine fault tolerance, Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.173-186, 1999.

T. Crain, V. Gramoli, M. Larrea, and M. Raynal, free Byzantine Consensus for Consortium Blockchains, 2017.

B. David, P. Gazi, A. Kiayias, and A. Russell, Ouroboros praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain, Advances in CryptologyEUROCRYPT 2018-37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp.66-98, 2018.

C. Decker, J. Seidel, and R. Wattenhofer, Bitcoin Meets Strong Consistency, Proceedings of the 17th International Conference on Distributed Computing and Networking Conference (ICDCN), 2016.

I. Eyal, A. E. Gencer, E. G. Sirer, and R. Van-renesse, Bitcoin-NG: A Scalable Blockchain Protocol, 13th USENIX Symposium on Networked Systems Design and Implementation, (NSDI), 2016.

I. Eyal-and-emin-gün and . Sirer, Majority is not enough: bitcoin mining is vulnerable, Commun. ACM, issue.7, pp.95-102, 2018.

D. Fudenberg and J. Tirole, Perfect bayesian equilibrium and sequential equilibrium, Journal of Economic Theory, vol.53, issue.2, pp.236-260, 1991.

J. A. Garay, J. Katz, U. Maurer, B. Tackmann, and V. Zikas, Rational protocol design: Cryptography against incentive-driven adversaries, 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS, pp.648-657, 2013.

Y. Gilad, R. Hemo, S. Micali, G. Vlachos, and N. Zeldovich, Algorand: Scaling byzantine agreements for cryptocurrencies, Proceedings of the 26th Symposium on Operating Systems Principles, pp.51-68, 2017.

E. Kokoris-kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser et al., Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing, Proceedings of the 25th USENIX Security Symposium, 2016.

L. Lamport, R. Shostak, and M. Pease, The byzantine generals problem, ACM Transactions on Programming Languages and Systems, vol.4, issue.3, pp.382-401, 1982.

M. Mohammad-hossein-manshaei, A. Jadliwala, M. Maiti, and . Fooladgar, A game-theoretic analysis of shard-based permissionless blockchains, IEEE Access, vol.6, pp.78100-78112, 2018.

A. Miller, Y. Xia, K. Croman, E. Shi, and D. Song, The honey badger of bft protocols, Cryptology ePrint Archive, 2016.

S. Nakamoto, Bitcoin: A Peer-to-Peer Electronic Cash System, 2008.

J. Nash, Non-cooperative games, Annals of Mathematics, vol.54, issue.2, pp.286-295, 1951.

F. Saleh, Blockchain Without Waste: Proof-of-Stake. SSRN Scholarly Paper ID 3183935, Social Science Research Network, 2019.

A. Sapirshtein, Y. Sompolinsky, and A. Zohar, Optimal selfish mining strategies in bitcoin, Financial Cryptography and Data Security-20th International Conference, FC 2016, pp.515-532, 2016.

M. Yin, D. Malkhi, M. Reiter, G. Gueta, and I. Abraham, HotStuff: BFT Consensus in the Lens of Blockchain, 2018.