The blockchain consensus layer and BFT, Bulletin of the EATCS, vol.3, issue.123, pp.1-23, 2017. ,
Bitcoin a distributed shared register, Proceedings of the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01522360
Blockchain abstract data type, Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01718480
, Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains, 2018.
Atomic appends: Selling cars and coordinating armies with multiple distributed ledgers, 2018. ,
Formalizing and implementing distributed ledger objects, ACM SIGACT News, vol.49, issue.2, pp.58-76, 2018. ,
Blockchain -From the Anarchy of Cryptocurrencies to the Enterprise (Keynote Abstract), Proc. of the OPODIS International Conference, 2016. ,
Bitcoin Meets Strong Consistency, Proc. of the ICDCN International Conference, 2016. ,
Information propagation in the bitcoin network, 13th IEEE International Conference on Peer-to-Peer Computing, vol.2, pp.1-10, 2013. ,
Bitcoin-NG: A scalable blockchain protocol, Procs of the USENIX NSDI Symposium, 2016. ,
The bitcoin backbone protocol: Analysis and applications, Proc. of the EUROCRYPT International Conference, 2015. ,
Monotonic prefix consistency in distributed systems, International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp.41-57, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01824817
Concurrency and availability as dual properties of replicated atomic data, J. ACM, vol.37, issue.2, pp.257-278, 1990. ,
Blockchains and the logic of accountability: Keynote address, Proc. of the ACM/IEEE LICS Symposium, 2016. ,
Self-stabilization of wait-free shared memory objects, J. Parallel Distrib. Comput, vol.62, issue.5, pp.818-842, 2002. ,
Enhancing bitcoin security and performance with strong consistency via collective signing, Proc. of the USENIX Security Symposium, 2016. ,
On inter-process communications, part I: basic formalism and part II, algorithms. Distributed Computing, vol.1, issue.2, pp.77-101, 1986. ,
Bitcoin: A peer-to-peer electronic cash system, S. Nakamoto, vol.19, 2008. ,
Fruitchains: A fair blockchain, Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, pp.315-324, 2017. ,
Analysis of the blockchain protocol in asynchronous networks, Proc. of the EUROCRYPT International Conference, 2017. ,
Ethereum: A secure decentralised generalised transaction ledger ,