{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T04:12:26Z","timestamp":1776139946574,"version":"3.50.1"},"publisher-location":"Cham","reference-count":105,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030253110","type":"print"},{"value":"9783030253127","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25312-7_17","type":"book-chapter","created":{"date-parts":[[2019,11,9]],"date-time":"2019-11-09T03:03:09Z","timestamp":1573268589000},"page":"471-495","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies"],"prefix":"10.1007","author":[{"given":"Nicholas","family":"Stifter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aljosha","family":"Judmayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edgar","family":"Weippl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,10]]},"reference":[{"key":"17_CR1","unstructured":"Abraham, I., Gueta, G., & Malkhi, D. (2018). Hot-stuff the linear, optimal-resilience, one-message bft devil. arXiv:1803.05069. https:\/\/arxiv.org\/pdf\/1803.05069.pdf"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Aiyer, A. S., Alvisi, L., Clement, A., Dahlin, M., Martin, J.-P., & Porth, C. (2005). Bar fault tolerance for cooperative services. In ACM SIGOPS Operating Systems Review (Vol. 39, pp. 45\u201358). New York, NY: ACM. http:\/\/www.dcc.fc.up.pt\/~Ines\/aulas\/1314\/SDM\/papers\/BAR%20Fault%20Tolerance%20for%20Cooperative%20Services%20-%20UIUC.pdf","DOI":"10.1145\/1095810.1095816"},{"key":"17_CR3","unstructured":"Androulaki, E., Capkun, S., & Karame, G. O. (2012). Two bitcoins at the price of one? Double-spending attacks on fast payments in bitcoin. In CCS. http:\/\/eprint.iacr.org\/2012\/248.pdf"},{"key":"17_CR4","volume-title":"Exposing Computationally-Challenged Byzantine Impostors","author":"J Aspnes","year":"2005","unstructured":"Aspnes, J., Jackson, C., & Krishnamurthy, A. (2005). Exposing Computationally-Challenged Byzantine Impostors. Department of Computer Science, Yale University, New Haven, CT, Tech. Rep. http:\/\/www.cs.yale.edu\/homes\/aspnes\/papers\/tr1332.pdf"},{"key":"17_CR5","volume-title":"Hashcash-a denial of service counter-measure","author":"A Back","year":"2002","unstructured":"Back, A. (2002). Hashcash-a denial of service counter-measure. Retrieved March 9, 2016, from http:\/\/www.hashcash.org\/papers\/hashcash.pdf"},{"key":"17_CR6","first-page":"1","volume-title":"2013 IEEE Thirteenth International Conference on IEEE Peer-to-Peer Computing (P2P)","author":"T Bamert","year":"2013","unstructured":"Bamert, T., Decker, C., Elsen, L., Wattenhofer, R., & Welten, S. (2013). Have a snack, pay with bitcoins. In 2013 IEEE Thirteenth International Conference on IEEE Peer-to-Peer Computing (P2P) (pp. 1\u20135). Piscataway, NJ: IEEE. http:\/\/www.bheesty.com\/cracker\/1450709524_17035424cb\/p2p2013_093.pdf"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/800221.806707","volume-title":"Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing","author":"M Ben-Or","year":"1983","unstructured":"Ben-Or, M. (1983). Another advantage of free choice (extended abstract): Completely asynchronous agreement protocols. In Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing (pp. 27\u201330). New York, NY: ACM. http:\/\/homepage.cs.uiowa.edu\/~ghosh\/BenOr.pdf"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1109\/SP.2014.36","volume-title":"2014 IEEE Symposium on Security and Privacy (SP)","author":"E Ben Sasson","year":"2014","unstructured":"Ben Sasson, E., Chiesa, A., Garman, C., Green, M., Miers, I., Tromer, E., et al. (2014). Zerocash: Decentralized anonymous payments from bitcoin. In 2014 IEEE Symposium on Security and Privacy (SP) (pp. 459\u2013474). Piscataway, NJ: IEEE. http:\/\/zerocash-project.org\/media\/pdf\/zerocash-extended-20140518.pdf"},{"issue":"3","key":"17_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/2695533.2695545","volume":"42","author":"I Bentov","year":"2014","unstructured":"Bentov, I., Lee, C., Mizrahi, A., & Rosenfeld, M. (2014). Proof of activity: Extending bitcoin\u2019s proof of work via proof of stake [extended abstract] y. ACM SIGMETRICS Performance Evaluation Review, 42(3), 34\u201337. http:\/\/eprint.iacr.org\/2014\/452.pdf","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"17_CR10","volume-title":"Snow white: Provably secure proofs of stake","author":"I Bentov","year":"2016","unstructured":"Bentov, I., Pass, R., & Shi, E. (2016). Snow white: Provably secure proofs of stake. Retrieved November 11, 2016, from https:\/\/eprint.iacr.org\/2016\/919.pdf"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Bonneau, J., Miller, A., Clark, J., Narayanan, A., Kroll, J. A., & Felten, E. W. (2015). Sok: Research perspectives and challenges for bitcoin and cryptocurrencies. In IEEE Symposium on Security and Privacy. http:\/\/www.ieee-security.org\/TC\/SP2015\/papers-archived\/6949a104.pdf","DOI":"10.1109\/SP.2015.14"},{"key":"17_CR12","volume-title":"Ethereum: A next-generation smart contract and decentralized application platform","author":"V Buterin","year":"2014","unstructured":"Buterin, V. (2014a). Ethereum: A next-generation smart contract and decentralized application platform. Retrieved August 22, 2016, from https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper"},{"key":"17_CR13","volume-title":"Slasher: A punitive proof-of-stake algorithm","author":"V Buterin","year":"2014","unstructured":"Buterin, V. (2014b). Slasher: A punitive proof-of-stake algorithm. Retrieved March 24, 2017, from https:\/\/blog.ethereum.org\/2014\/01\/15\/slasher-a-punitive-proof-of-stake-algorithm\/"},{"key":"17_CR14","volume-title":"Chain interoperability","author":"V Buterin","year":"2016","unstructured":"Buterin, V. (2016). Chain interoperability. Retrieved March 25, 2017, from https:\/\/static1.squarespace.com\/static\/55f73743e4b051cfcc0b02cf\/t\/5886800ecd0f68de303349b1\/1485209617040\/Chain+Interoperability.pdf"},{"key":"17_CR15","unstructured":"Buterin, V., & Griffith, V. (2017). Casper the friendly finality gadget. arXiv:1710.09437. Retrieved November 6, 2017, from https:\/\/arxiv.org\/pdf\/1710.09437.pdf"},{"key":"17_CR16","volume-title":"Architecture of the hyperledger blockchain fabric","author":"C Cachin","year":"2016","unstructured":"Cachin, C. (2016). Architecture of the hyperledger blockchain fabric. Retrieved August 10, 2016, from https:\/\/www.zurich.ibm.com\/dccl\/papers\/cachin_dccl.pdf"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/343477.343531","volume-title":"Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing","author":"C Cachin","year":"2000","unstructured":"Cachin, C., Kursawe, K., & Shoup, V. (2000). Random oracles in constantinople: Practical asynchronous byzantine agreement using cryptography. In Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing (pp. 123\u2013132). New York, NY: ACM. https:\/\/www.zurich.ibm.com\/~cca\/papers\/abba.pdf"},{"key":"17_CR18","unstructured":"Cachin, C., & Vukoli\u0107, M. (2017). Blockchain consensus protocols in the wild. In 31 International Symposium on Distributed Computing. arXiv preprint arXiv:1707.01873"},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/571637.571640","volume":"20","author":"M Castro","year":"2002","unstructured":"Castro, M., & Liskov, B. (2002). Practical byzantine fault tolerance and proactive recovery. ACM Transactions on Computer Systems, 20, 398\u2013461.","journal-title":"ACM Transactions on Computer Systems"},{"key":"17_CR20","unstructured":"Castro, M., Liskov, B. (1999). Practical byzantine fault tolerance. In OSDI (Vol. 99, pp. 173\u2013186). http:\/\/pmg.csail.mit.edu\/papers\/osdi99.pdf"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/1281100.1281103","volume-title":"Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing","author":"T D Chandra","year":"2007","unstructured":"Chandra, T. D., Griesemer, R., & Redstone, J. (2007). Paxos made live: An engineering perspective. In Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing (pp. 398\u2013407). New York, NY: ACM. https:\/\/www.kth.se\/polopoly_fs\/1.116933!\/Menu\/general\/column-content\/attachment\/paxoslive.pdf"},{"key":"17_CR22","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-1-4757-0602-4_18","volume-title":"Advances in cryptology","author":"D Chaum","year":"1983","unstructured":"Chaum, D. (1983). Blind signatures for untraceable payments. In Advances in cryptology (pp. 199\u2013203). Berlin: Springer. http:\/\/blog.koehntopp.de\/uploads\/Chaum.BlindSigForPayment.1982.PDF"},{"issue":"4","key":"17_CR23","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/503112.503113","volume":"33","author":"G V Chockler","year":"2001","unstructured":"Chockler, G. V., Keidar, I., & Vitenberg, R. (2001). Group communication specifications: a comprehensive study. ACM Computing Surveys, 33(4), 427\u2013469.","journal-title":"ACM Computing Surveys"},{"key":"17_CR24","unstructured":"Clement, A., Marchetti, M., Wong, E., Alvisi, L., & Dahlin, M. (2008). BFT: the time is now. In Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware (p. 13). New York, NY: ACM."},{"key":"17_CR25","unstructured":"Clement, A., Wong, E. L., Alvisi, L., Dahlin, M., & Marchetti, M. (2009). Making byzantine fault tolerant systems tolerate byzantine faults. In NSDI (Vol. 9, pp. 153\u2013168). http:\/\/static.usenix.org\/events\/nsdi09\/tech\/full_papers\/clement\/clement.pdf"},{"key":"17_CR26","volume-title":"Counterfactual: Generalized state channels [online]","author":"J Coleman","year":"2018","unstructured":"Coleman, J., Horne, L., & Xuanji, L. (2018). Counterfactual: Generalized state channels [online]. Retrieved May 18, 2019, from https:\/\/l4.ventures\/papers\/statechannels.pdf"},{"issue":"86","key":"17_CR27","first-page":"1","volume":"2016","author":"V Costan","year":"2016","unstructured":"Costan, V., & Devadas, S. (2016). Intel sgx explained. IACR Cryptology ePrint Archive, 2016(86), 1\u2013118.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Croman, K., Decker, C., Eyal, I., Gencer, A. E., Juels, A., Kosba, A., et al. (2016). On scaling decentralized blockchains. In 3rd Workshop on Bitcoin and Blockchain Research, Financial Cryptography 16. http:\/\/www.tik.ee.ethz.ch\/file\/74bc987e6ab4a8478c04950616612f69\/main.pdf","DOI":"10.1007\/978-3-662-53357-4_8"},{"key":"17_CR29","unstructured":"Dai, W. (1998). bmoney. Retrieved April 4, 2016, from http:\/\/www.weidai.com\/bmoney.txt"},{"key":"17_CR30","volume-title":"The invisible politics of bitcoin: governance crisis of a decentralised infrastructure","author":"P Filippi De","year":"2016","unstructured":"De Filippi, P., & Loveluck, B. (2016). The invisible politics of bitcoin: governance crisis of a decentralised infrastructure. Retrieved October 18, 2017, from https:\/\/halshs.archives-ouvertes.fr\/halshs-01380617\/document"},{"key":"17_CR31","first-page":"1","volume-title":"2013 IEEE Thirteenth International Conference on Peer-to-Peer Computing (P2P)","author":"C Decker","year":"2013","unstructured":"Decker, C., & Wattenhofer, R. (2013). Information propagation in the bitcoin network. In 2013 IEEE Thirteenth International Conference on Peer-to-Peer Computing (P2P) (pp. 1\u201310). Piscataway, NJ: IEEE. http:\/\/diyhpl.us\/~bryan\/papers2\/bitcoin\/Information%20propagation%20in%20the%20Bitcoin%20network.pdf"},{"key":"17_CR32","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1145\/3035918.3064033","volume-title":"Proceedings of the 2017 ACM International Conference on Management of Data","author":"T T A Dinh","year":"2017","unstructured":"Dinh, T. T. A., Wang, J., Chen, G., Liu, R., Ooi, B. C., & Tan, K.-L. (2017). Blockbench: A framework for analyzing private blockchains. In Proceedings of the 2017 ACM International Conference on Management of Data (pp. 1085\u20131100). New York, NY: ACM."},{"key":"17_CR33","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-45748-8_24","volume-title":"International Workshop on Peer-to-Peer Systems","author":"J R Douceur","year":"2002","unstructured":"Douceur, J. R. (2002). The sybil attack. In International Workshop on Peer-to-Peer Systems (pp. 251\u2013260). Berlin: Springer. http:\/\/www.cs.cornell.edu\/people\/egs\/cs6460-spring10\/sybil.pdf"},{"key":"17_CR34","first-page":"24","volume-title":"International Conference on Reliable Software Technologies","author":"A Doudou","year":"2002","unstructured":"Doudou, A., Garbinato, B., & Guerraoui, R. (2002). Encapsulating failure detection: From crash to byzantine failures. In International Conference on Reliable Software Technologies (pp. 24\u201350). Berlin: Springer."},{"key":"17_CR35","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1109\/SECPRI.2002.1004373","volume-title":"Proceedings of the 2002 IEEE Symposium on Security and Privacy","author":"B Dutertre","year":"2002","unstructured":"Dutertre, B., Crettaz, V., & Stavridou, V. (2002). Intrusion-tolerant enclaves. In Proceedings of the 2002 IEEE Symposium on Security and Privacy (pp. 216\u2013224). Piscataway, NJ: IEEE."},{"key":"17_CR36","first-page":"139","volume-title":"Annual International Cryptology Conference","author":"C Dwork","year":"1992","unstructured":"Dwork, C., & Naor, M. (1992). Pricing via processing or combatting junk mail. In Annual International Cryptology Conference (pp. 139\u2013147). Berlin: Springer. https:\/\/web.cs.dal.ca\/~abrodsky\/7301\/readings\/DwNa93.pdf"},{"key":"17_CR37","unstructured":"Dziembowski, S., Eckey, L., Faust, S., & Malinowski, D. (2017). Perun: Virtual Payment Channels Over Cryptographic Currencies. Cryptology ePrint Archive, Report 2017\/635. Retrieved November 20, 2017, from https:\/\/eprint.iacr.org\/2017\/635.pdf"},{"key":"17_CR38","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/PRDC.2017.21","volume-title":"2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC)","author":"P Esteves-Verissimo","year":"2017","unstructured":"Esteves-Verissimo, P., V\u00f6lp, M., Decouchant, J., Rahli, V., & Rocha, F. (2017). Meeting the challenges of critical and extreme dependability and security. In 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) (pp. 92\u201397). Piscataway, NJ: IEEE."},{"key":"17_CR39","unstructured":"Eyal, I., Gencer, A. E., Sirer, E. G., & van Renesse, R. (2016). Bitcoin-ng: A scalable blockchain protocol. In 13th USENIX Security Symposium on Networked Systems Design and Implementation (NSDI\u201916). Berkeley, CA: USENIX Association. http:\/\/www.usenix.org\/system\/files\/conference\/nsdi16\/nsdi16-paper-eyal.pdf"},{"key":"17_CR40","doi-asserted-by":"crossref","unstructured":"F. Reid, M. H. (2011). An analysis of anonymity in the bitcoin system. In 2011 IEEE International Conference on Privacy, Security, Risk, and Trust, and IEEE International Conference on Social Computing. http:\/\/arxiv.org\/pdf\/1107.4524","DOI":"10.1109\/PASSAT\/SocialCom.2011.79"},{"key":"17_CR41","volume-title":"Reusable proofs of work (RPOW)","author":"H Finney","year":"2004","unstructured":"Finney, H. (2004). Reusable proofs of work (RPOW). Retrieved April 31, 2016, from http:\/\/web.archive.org\/web\/20071222072154\/http:\/\/rpow.net\/"},{"key":"17_CR42","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M J Fischer","year":"1985","unstructured":"Fischer, M. J., Lynch, N. A., & Paterson, M. S. (1985). Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32, 374\u2013382. http:\/\/macs.citadel.edu\/rudolphg\/csci604\/ImpossibilityofConsensus.pdf","journal-title":"Journal of the ACM"},{"key":"17_CR43","unstructured":"Garay, J., & Kiayias, A. (2018). Sok: A Consensus Taxonomy in the Blockchain Era. Cryptology ePrint Archive, Report 2018\/754. https:\/\/eprint.iacr.org\/2018\/754.pdf"},{"key":"17_CR44","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-662-46803-6_10","volume-title":"Advances in Cryptology-EUROCRYPT 2015","author":"J Garay","year":"2015","unstructured":"Garay, J., Kiayias, A., & Leonardos, N. (2015). The bitcoin backbone protocol: Analysis and applications. In Advances in Cryptology-EUROCRYPT 2015 (pp. 281\u2013310). Berlin: Springer. http:\/\/courses.cs.washington.edu\/courses\/cse454\/15wi\/papers\/bitcoin-765.pdf"},{"key":"17_CR45","first-page":"291","volume-title":"Annual International Cryptology Conference","author":"J Garay","year":"2017","unstructured":"Garay, J., Kiayias, A., & Leonardos, N. (2017). The bitcoin backbone protocol with chains of variable difficulty. In Annual International Cryptology Conference (pp. 291\u2013323). Berlin: Springer."},{"key":"17_CR46","first-page":"3","volume-title":"Proceedings of the 2016 ACM SIGSAC","author":"A Gervais","year":"2016","unstructured":"Gervais, A., Karame, G. O., W\u00fcst, K., Glykantzis, V., Ritzdorf, H., & Capkun, S. (2016). On the security and performance of proof of work blockchains. In Proceedings of the 2016 ACM SIGSAC (pp. 3\u201316). New York, NY: ACM."},{"key":"17_CR47","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/3132747.3132757","volume-title":"Proceedings of the 26th Symposium on Operating Systems Principles pp","author":"Y Gilad","year":"2017","unstructured":"Gilad, Y., Hemo, R., Micali, S., Vlachos, G., & Zeldovich, N. (2017). Algorand: Scaling byzantine agreements for cryptocurrencies. In Proceedings of the 26th Symposium on Operating Systems Principles pp. 51\u201368. New York, NY: ACM."},{"key":"17_CR48","unstructured":"Gipp, B., Meuschke, N., & Gernandt, A. (2015). Decentralized trusted timestamping using the crypto currency bitcoin. preprint arXiv:1502.04015."},{"key":"17_CR49","first-page":"561","volume-title":"Byzantine agreement with a rational adversary","author":"A Groce","year":"2012","unstructured":"Groce, A., Katz, J., Thiruvengadam, A., & Zikas, V. (2012). Byzantine agreement with a rational adversary (pp. 561\u2013572). Berlin: Springer. http:\/\/cs.ucla.edu\/~vzikas\/pubs\/GKTZ12.pdf"},{"key":"17_CR50","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1755913.1755950","volume-title":"Proceedings of the 5th European Conference on Computer Systems","author":"R Guerraoui","year":"2010","unstructured":"Guerraoui, R., Kne\u017eevi\u0107, N., Qu\u00e9ma, V., & Vukoli\u0107, M. (2010). The next 700 bft protocols. In Proceedings of the 5th European Conference on Computer Systems (pp. 363\u2013376). New York, NY: ACM. https:\/\/infoscience.epfl.ch\/record\/121590\/files\/TR-700-2009.pdf"},{"key":"17_CR51","first-page":"379","volume-title":"Conference on the Theory and Application of Cryptographic Techniques","author":"M P Herlihy","year":"1987","unstructured":"Herlihy, M. P., & Tygar, J. D. (1987). How to make replicated data secure. In Conference on the Theory and Application of Cryptographic Techniques (pp. 379\u2013391). Berlin: Springer."},{"key":"17_CR52","first-page":"152","volume-title":"Security Protocols Workshop","author":"J-H Hoepman","year":"2007","unstructured":"Hoepman, J.-H. (2007). Distributed double spending prevention. In Security Protocols Workshop (pp. 152\u2013165). Berlin: Springer. http:\/\/www.cs.kun.nl\/~jhh\/publications\/double-spending.pdf"},{"key":"17_CR53","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-0-387-35568-9_18","volume-title":"Secure information networks","author":"M Jakobsson","year":"1999","unstructured":"Jakobsson, M., & Juels, A. (1999). Proofs of work and bread pudding protocols. In Secure information networks (pp. 258\u2013272). Berlin: Springer. https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35568-9_18.pdf"},{"key":"17_CR54","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-63594-7_77","volume-title":"Financial cryptography","author":"S Jarecki","year":"1997","unstructured":"Jarecki, S., & Odlyzko, A. (1997). An efficient micropayment system based on probabilistic polling. In Financial cryptography (pp. 173\u2013191). Berlin: Springer. https:\/\/www.researchgate.net\/profile\/Stanislaw_Jarecki\/publication\/220797099_An_Efficient_Micropayment_System_Based_on_Probabilistic_Polling\/links\/0f31753c7f02552a9d000000.pdf"},{"key":"17_CR55","unstructured":"Judmayer, A., Zamyatin, A., Stifter, N., Voyiatzis, A. G., & Weippl, E. (2017). Merged mining: Curse or cure? In Proceedings of the International Workshop on Cryptocurrencies and Blockchain Technology, CBT\u201917. https:\/\/eprint.iacr.org\/2017\/791.pdf"},{"key":"17_CR56","unstructured":"Kallahalla, M., Riedel, E., Swaminathan, R., Wang, Q., & Fu, K. (2003). Plutus: scalable secure file sharing on untrusted storage. In Proceedings of the 2nd USENIX Conference on File and Storage Technologies (pp. 3). Berkeley, CA: USENIX Association"},{"key":"17_CR57","volume-title":"A provably secure proof-of-stake blockchain protocol","author":"A Kiayias","year":"2016","unstructured":"Kiayias, A., Konstantinou, I., Russell, A., David, B., & Oliynykov, R. (2016). A provably secure proof-of-stake blockchain protocol. Retrieved November 9, 2016, from http:\/\/eprint.iacr.org\/2016\/889.pdf"},{"key":"17_CR58","volume-title":"Speed-security tradeoff s in blockchain protocols","author":"A Kiayias","year":"2015","unstructured":"Kiayias, A., & Panagiotakos, G. (2015). Speed-security tradeoff s in blockchain protocols. Retrieved October 17, 2016, from https:\/\/eprint.iacr.org\/2015\/1019.pdf"},{"key":"17_CR59","first-page":"357","volume-title":"Annual International Cryptology Conference","author":"A Kiayias","year":"2017","unstructured":"Kiayias, A., Russell, A., David, B., & Oliynykov, R. (2017). Ouroboros: A provably secure proof-of-stake blockchain protocol. In Annual International Cryptology Conference (pp. 357\u2013388). Berlin: Springer."},{"key":"17_CR60","unstructured":"Kihlstrom, K. P., Moser, L. E., & Melliar-Smith, P. M. (1998). The securering protocols for securing group communication. In Proceedings of the Thirty-First Hawaii International Conference on System Sciences (Vol. 3, pp. 317\u2013326). Piscataway, NJ: IEEE."},{"key":"17_CR61","volume-title":"Ppcoin: Peer-to-peer crypto-currency with proof-of-stake","author":"S King","year":"2012","unstructured":"King, S., & Nadal, S. (2012). Ppcoin: Peer-to-peer crypto-currency with proof-of-stake. Retrieved January 7, 2017, from https:\/\/peercoin.net\/assets\/paper\/peercoin-paper.pdf"},{"key":"17_CR62","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1145\/2993.2994","volume":"6","author":"L Lamport","year":"1984","unstructured":"Lamport, L. (1984). Using time instead of timeout for fault-tolerant distributed systems. ACM Transactions on Programming Languages and Systems, 6, 254\u2013280. http:\/\/131.107.65.14\/en-us\/um\/people\/lamport\/pubs\/using-time.pdf","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR63","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L Lamport","year":"1998","unstructured":"Lamport, L. (1998). The part-time parliament. ACM Transactions on Computer Systems, 16, 133\u2013169. https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2016\/12\/The-Part-Time-Parliament.pdf","journal-title":"ACM Transactions on Computer Systems"},{"key":"17_CR64","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., & Pease, M. (1982). The byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4, 382\u2013401. http:\/\/people.cs.uchicago.edu\/~shanlu\/teaching\/33100_wi15\/papers\/byz.pdf","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR65","first-page":"191","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation","author":"H C Li","year":"2006","unstructured":"Li, H. C., Clement, A., Wong, E. L., Napper, J., Roy, I., Alvisi, L., & Dahlin, M. (2006). Bar gossip. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (pp. 191\u2013204). Berkeley, CA: USENIX Association. http:\/\/www.cs.utexas.edu\/users\/dahlin\/papers\/bar-gossip-apr-2006.pdf"},{"key":"17_CR66","unstructured":"Litecoin.org. (n.d.). Retrieved May 18, 2019, from https:\/\/litecoin.org\/"},{"key":"17_CR67","unstructured":"Liu, S., Viotti, P., Cachin, C., Qu\u00e9ma, V., & Vukoli\u0107, M. (2016). XFT: Practical fault tolerance beyond crashes. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) (pp. 485\u2013500)."},{"key":"17_CR68","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/2976749.2978389","volume-title":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","author":"L Luu","year":"2016","unstructured":"Luu, L., Narayanan, V., Zheng, C., Baweja, K., Gilbert, S., & Saxena, P. (2016). A secure sharding protocol for open blockchains. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (pp. 17\u201330). New York, NY: ACM. https:\/\/www.comp.nus.edu.sg\/~prateeks\/papers\/Elastico.pdf"},{"key":"17_CR69","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-319-59665-5_15","volume-title":"IFIP International Conference on Distributed Applications and Interoperable Systems","author":"D D F Maesa","year":"2017","unstructured":"Maesa, D. D. F., Mori, P., & Ricci, L. (2017). Blockchain based access control. In IFIP International Conference on Distributed Applications and Interoperable Systems (pp. 206\u2013220). Berlin: Springer."},{"key":"17_CR70","unstructured":"McKeen, F., Alexandrovich, I., Anati, I., Caspi, D., Johnson, S., Leslie-Hurd, R., et al. (2016). Intel\u00ae software guard extensions (intel\u00ae sgx) support for dynamic memory management inside an enclave. In Proceedings of the Hardware and Architectural Support for Security and Privacy 2016 (p. 10). New York, NY: ACM."},{"key":"17_CR71","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/2504730.2504747","volume-title":"Proceedings of the 2013 Conference on Internet Measurement Conference","author":"S Meiklejohn","year":"2013","unstructured":"Meiklejohn, S., Pomarole, M., Jordan, G., Levchenko, K., McCoy, D., Voelker, G. M., & Savage, S. (2013). A fistful of bitcoins: Characterizing payments among men with no names. In Proceedings of the 2013 Conference on Internet Measurement Conference (pp. 127\u2013140). New York, NY: ACM. https:\/\/cseweb.ucsd.edu\/~smeiklejohn\/files\/imc13.pdf"},{"key":"17_CR72","first-page":"2017","volume":"9","author":"S Micali","year":"2016","unstructured":"Micali, S. (2016). Algorand: The efficient and democratic ledger. Retrieved Febraury 9, 2017, from https:\/\/arxiv.org\/pdf\/1607.01341.pdf","journal-title":"Retrieved Febraury"},{"key":"17_CR73","volume-title":"Anonymous byzantine consensus from moderately-hard puzzles: A model for bitcoin","author":"A Miller","year":"2014","unstructured":"Miller, A., & LaViola, J. J. (2014). Anonymous byzantine consensus from moderately-hard puzzles: A model for bitcoin. Retrieved March 9, 2016, from https:\/\/socrates1024.s3.amazonaws.com\/consensus.pdf"},{"key":"17_CR74","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/2976749.2978399","volume-title":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","author":"A Miller","year":"2016","unstructured":"Miller, A., Xia, Y., Croman, K., Shi, E., & Song, D. (2016). The honey badger of bft protocols. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (pp. 31\u201342). New York, NY: ACM. https:\/\/eprint.iacr.org\/2016\/199.pdf"},{"key":"17_CR75","volume-title":"Bitcoin: A peer-to-peer electronic cash system","author":"S Nakamoto","year":"2008","unstructured":"Nakamoto, S. (2008). Bitcoin: A peer-to-peer electronic cash system. Retrieved July 1, 2015, from https:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"17_CR76","volume-title":"Bitcoin and cryptocurrency technologies","author":"A Narayanan","year":"2016","unstructured":"Narayanan, A., Bonneau, J., Felten, E., Miller, A., Miller, A., & Goldfeder, S. (2016). Bitcoin and cryptocurrency technologies. Retrieved March 29, 2016, from https:\/\/d28rh4a8wq0iu5.cloudfront.net\/bitcointech\/readings\/princeton_bitcoin_book.pdf"},{"key":"17_CR77","unstructured":"Paillisse, J., Subira, J., Lopez, A., Rodriguez-Natal, A., Ermagan, V., Maino, F., & Cabellos, A. (2019). Distributed access control with blockchain. preprint arXiv:1901.03568."},{"key":"17_CR78","unstructured":"Palmer, J., Nakamoto S., \/u\/PowerLemons, Ricks, C. (n.d.). Dogecoin.com [online]. Retrieved May 18, 2019, from https:\/\/dogecoin.com\/"},{"key":"17_CR79","first-page":"643","volume-title":"Annual International Conference on the Theory and Applications of Cryptographic Techniques","author":"R Pass","year":"2017","unstructured":"Pass, R., Seeman, L., & Shelat, A. (2017). Analysis of the blockchain protocol in asynchronous networks. In Annual International Conference on the Theory and Applications of Cryptographic Techniques (pp. 643\u2013673). Berlin: Springer."},{"key":"17_CR80","unstructured":"Pass, R., & Shi, E. (2017a). Hybrid consensus: Efficient consensus in the permissionless model. In 31st International Symposium on Distributed Computing (DISC 2017) Merzig-Wadern: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"17_CR81","first-page":"380","volume-title":"International Conference on the Theory and Application of Cryptology and Information Security","author":"R Pass","year":"2017","unstructured":"Pass, R., & Shi, E. (2017b). The sleepy model of consensus. In International Conference on the Theory and Application of Cryptology and Information Security (pp. 380\u2013409). Berlin: Springer."},{"key":"17_CR82","first-page":"3","volume-title":"Annual International Conference on the Theory and Applications of Cryptographic Techniques","author":"R Pass","year":"2018","unstructured":"Pass, R., & Shi, E. (2018). Thunderella: Blockchains with optimistic instant confirmation. In Annual International Conference on the Theory and Applications of Cryptographic Techniques (pp. 3\u201333). Berlin: Springer."},{"key":"17_CR83","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M Pease","year":"1980","unstructured":"Pease, M., Shostak, R., & Lamport, L. (1980). Reaching agreement in the presence of faults. Journal of the ACM, 27, 228\u2013234. https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2016\/12\/Reaching-Agreement-in-the-Presence-of-Faults.pdf","journal-title":"Journal of the ACM"},{"key":"17_CR84","volume-title":"Requiem of a bright idea [online]","author":"J Pitta","year":"1999","unstructured":"Pitta, J. (1999). Requiem of a bright idea [online]. Retrieved May 18, 2019, from http:\/\/www.forbes.com\/forbes\/1999\/1101\/6411390a.html"},{"key":"17_CR85","volume-title":"The bitcoin lightning network","author":"J Poon","year":"2016","unstructured":"Poon, J., & Dryja, T. (2016). The bitcoin lightning network. Retrieved July 7, 2016, from https:\/\/lightning.network\/lightning-network-paper.pdf"},{"key":"17_CR86","first-page":"403","volume-title":"24th Annual Symposium on Foundations of Computer Science","author":"M O Rabin","year":"1983","unstructured":"Rabin, M. O. (1983). Randomized byzantine generals. In 24th Annual Symposium on Foundations of Computer Science (pp. 403\u2013409). Piscataway, NJ: IEEE. https:\/\/www.cs.princeton.edu\/courses\/archive\/fall05\/cos521\/byzantin.pdf"},{"key":"17_CR87","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-39884-1_2","volume-title":"International Conference on Financial Cryptography and Data Security","author":"D Ron","year":"2013","unstructured":"Ron, D., & Shamir, A. (2013). Quantitative analysis of the full bitcoin transaction graph. In International Conference on Financial Cryptography and Data Security (pp. 6\u201324). Berlin: Springer."},{"key":"17_CR88","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F B Schneider","year":"1990","unstructured":"Schneider, F. B. (1990). Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22, 299\u2013319. http:\/\/www-users.cselabs.umn.edu\/classes\/Spring-2014\/csci8980-sds\/Papers\/ProcessReplication\/p299-schneider.pdf","journal-title":"ACM Computing Surveys"},{"key":"17_CR89","volume-title":"The ripple protocol consensus algorithm","author":"D Schwartz","year":"2014","unstructured":"Schwartz, D., Youngs, N., & Britto, A. (2014). The ripple protocol consensus algorithm. Retrieved August 8, 2016, from https:\/\/ripple.com\/files\/ripple_consensus_whitepaper.pdf"},{"key":"17_CR90","unstructured":"Schwarz, A. (2011) Squaring the triangle: Secure, decentralized, human-readable names. Retrieved November 12, 2014, from http:\/\/www.aaronsw.com\/weblog\/squarezooko"},{"key":"17_CR91","unstructured":"Sompolinsky, Y., & Zohar, A. (2013). Accelerating bitcoin\u2019s transaction processing. Fast money grows on trees, not chains. http:\/\/eprint.iacr.org\/2013\/881.pdf"},{"key":"17_CR92","unstructured":"Stifter, N., Judmayer, A., Schindler, P., Zamyatin, A., & Weippl, E. (2018). Agreement with Satoshi\u2014on the Formalization of Nakamoto Consensus. Cryptology ePrint Archive, Report 2018\/400. https:\/\/eprint.iacr.org\/2018\/400.pdf"},{"key":"17_CR93","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/1103780.1103793","volume-title":"Proceedings of the 2005 ACM workshop on Storage Security and Survivability","author":"A Subbiah","year":"2005","unstructured":"Subbiah, A., & Blough, D. M. (2005). An approach for fault tolerant and secure data storage in collaborative work environments. In Proceedings of the 2005 ACM workshop on Storage Security and Survivability (pp. 84\u201393). New York, NY: ACM."},{"key":"17_CR94","volume-title":"Bit gold","author":"N Szabo","year":"2005","unstructured":"Szabo, N. (2005). Bit gold. Retrieved April 4, 2016, from http:\/\/unenumerated.blogspot.co.at\/2005\/12\/bit-gold.html"},{"key":"17_CR95","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/CVCBT.2018.00018","volume-title":"2018 Crypto Valley Conference on Blockchain Technology (CVCBT)","author":"P Szalachowski","year":"2018","unstructured":"Szalachowski, P. (2018). (short paper) towards more reliable bitcoin timestamps. In 2018 Crypto Valley Conference on Blockchain Technology (CVCBT) (pp. 101\u2013104). Piscataway, NJ: IEEE."},{"key":"17_CR96","unstructured":"Taylor, M. B. (2013). Bitcoin and the age of bespoke silicon. In Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (p. 16). Piscataway, NJ: IEEE Press. https:\/\/cseweb.ucsd.edu\/~mbtaylor\/papers\/bitcoin_taylor_cases_2013.pdf"},{"key":"17_CR97","unstructured":"Veronese, G. S., Correia, M., Bessani, A. N., & Lung, L. C. (2009). Highly-resilient services for critical infrastructures. In Proceedings of the Embedded Systems and Communications Security Workshop."},{"key":"17_CR98","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/TC.2011.221","volume":"62","author":"G S Veronese","year":"2013","unstructured":"Veronese, G. S., Correia, M., Bessani, A. N., Lung, L. C., & Verissimo, P. (2013). Efficient byzantine fault-tolerance. IEEE Transactions on Computers, 62, 16\u201330. https:\/\/www.researchgate.net\/profile\/Miguel_Correia3\/publication\/260585535_Efficient_Byzantine_Fault-Tolerance\/links\/5419615d0cf25ebee9885215.pdf","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"17_CR99","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1855118.1855137","volume":"41","author":"M Vukoli\u0107","year":"2010","unstructured":"Vukoli\u0107, M. (2010). The byzantine empire in the intercloud. ACM Sigact News, 41(3), 105\u2013111.","journal-title":"ACM Sigact News"},{"key":"17_CR100","first-page":"112","volume-title":"International Workshop on Open Problems in Network Security","author":"M Vukoli\u0107","year":"2015","unstructured":"Vukoli\u0107, M. (2015). The quest for scalable blockchain fabric: Proof-of-work vs. bft replication. In International Workshop on Open Problems in Network Security (pp. 112\u2013125). Berlin: Springer. http:\/\/vukolic.com\/iNetSec_2015.pdf"},{"key":"17_CR101","volume-title":"Eventually returning to strong consistency","author":"M Vukolic","year":"2016","unstructured":"Vukolic, M. (2016). Eventually returning to strong consistency. Retrieved August 10, 2016, from https:\/\/pdfs.semanticscholar.org\/a6a1\/b70305b27c556aac779fb65429db9c2e1ef2.pdf"},{"issue":"1","key":"17_CR102","doi-asserted-by":"publisher","first-page":"67","DOI":"10.15302\/J-FEM-2017006","volume":"4","author":"J Wang","year":"2017","unstructured":"Wang, J., Wu, P., Wang, X., & Shou, W. (2017). The outlook of blockchain technology for construction engineering management. Frontiers of Engineering Management, 4(1), 67\u201375.","journal-title":"Frontiers of Engineering Management"},{"key":"17_CR103","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-662-58820-8_11","volume-title":"International Conference on Financial Cryptography and Data Security","author":"Z Wang","year":"2019","unstructured":"Wang, Z., Lin, J., Cai, Q., Wang, Q., Jing, J., & Zha, D. (2019). Blockchain-based certificate transparency and revocation transparency. In International Conference on Financial Cryptography and Data Security (pp 144\u2013162). Berlin: Springer."},{"issue":"10","key":"17_CR104","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.1109\/PROC.1978.11114","volume":"66","author":"J H Wensley","year":"1978","unstructured":"Wensley, J. H., Lamport, L., Goldberg, J., Green, M. W., Levitt, K. N., Melliar-Smith, P. M., et al. (1978). Sift: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10), 1240\u20131255.","journal-title":"Proceedings of the IEEE"},{"key":"17_CR105","doi-asserted-by":"crossref","unstructured":"Zhao, W., & Babi, M. (2013). Byzantine fault tolerant collaborative editing. In IET International Conference on Information and Communications Technologies (IETICT 2013) (pp. 233\u2013240). IET.","DOI":"10.1049\/cp.2013.0057"}],"container-title":["Security and Quality in Cyber-Physical Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25312-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,28]],"date-time":"2021-01-28T19:59:18Z","timestamp":1611863958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25312-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030253110","9783030253127"],"references-count":105,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25312-7_17","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"10 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}