Blockchain-based Smart contracts: Concepts & Challenges and Adoption in Potential Banking Sectors
Nakamoto, Satoshi. "Bitcoin: A Peer-To-Peer Electronic Cash System." (2008)
Maher Alharby, and Aad van Moorsel , “Blockchain-Based Smart contracts : A systematic mapping study”, Taibah University, Medina, KSA, 2017.
YiningHu ,MadhusankaLiyanage, ArunaSeneviratne ,”Blockchain-based Smart Contracts Applications and Challenges“,University of New South Wales,Jun 2019.
C. K. Frantz and M. Nowostawski, “From institutions to code: Towards automated generation of smart contracts," in 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210-215, IEEE, 2016.
Paritosh C. Basu , “ Emerging dimensions of Blockchain technology ”, AIMA Journal of Management & Research, Volume 13 Issue 1/4, ISSN 10974 – 497, February 2019.
N.Szabo, (1994) “Formalizing and securing relationships on public networks”, Available online at: http://szabo.best.vwh.net/smart.contracts.html [Accessed 15/09/2019
Husneara Sheikh, Rahima Meer Azmathullah , FaizaRizwan “Smart Contract Development, Adoption and Challenges: The Powered Blockchain”, University, Wadi Add a wasir, Riyadh, Saudi Arabia 2019
anonymous credit.html ; Wei Dai - Bitcoin Wiki.html
L. Luu, D.-H. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter," in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,CCS '16, pp. 254-269, ACM, 2016
Infosys limited, Bengalurue, India, “Bolckchain adoption in financial institution, “http://blockchainapac.fintecnet.com/uploads/2/4/3/8/24384857/blockchain-adoption-financial-services_whitepaper_v2.pdf,2017
Christopher Frantz, Martin K. Purvis , “nADICO: A Nested Grammar of Institutions”, University of Otago, New Zealand , 2013
Bahga, Arshdeep,andVijay K. Madisetti. ”Blockchain platform for industrial Internet of Things” Journal of Software Engineering and Applications , 2016
Bhabendu Kumar et al., “An Overview of Smart Contract and Use cases in Blockchain Technology “ , IISC, Bengaluru , India , 2018
K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N.Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy, et al., “Formal verification of smart contracts: Short paper," in Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pp. 91-96, ACM, 2016. 
G. Bigi, A. Bracciali, G. Meacci, and E. Tuosto, “Validation of decentralised smart contracts through game theory and formal methods," in Programming Languages with Applications to Biology and Security, pp. 142-161, Springer, 2015. [1
Daejun Park, Yi Zhang, Manasvi Saxena “A Formal Verification Tool for Ethereum VM Bytecode”, University of Illinois at Urbana-Champaign, USA, ESEC/FSE ’18, November 4–9, 2018.
K. Delmolino, M. Arnett, A. Kosba, A. Miller, and E. Shi, “Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab," in International Conference on Financial Cryptography and Data Security, pp. 79-94, Springer, 2016.
F. Idelberger, G. Governatori, R. Riveret, and G. Sartor, “Evaluation of logic-based smart contracts for Blockchain systems," in International Symposium on Rules and Rule Markup Languages for the Semantic Web,167-183, Springer, 2016.
N. Atzei, M. Bartoletti, and T. Cimoli, “A survey of attacks on ethereum smart contracts (sok)," in International Conference on Principles of Security and Trust, pp. 164-186, Springer, 2017.
A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou, “Hawk: The Blockchain model of cryptography and privacy-preserving smart contracts," in 2016 IEEE Symposium on Security and Privacy (SP),839-858, IEEE, 2016.
H. Watanabe, S. Fujimura, A. Nakadaira, Y. Miyazaki, A. Akutsu, and J. J. Kishigami, “Blockchain contract: A complete consensus using Blockchain," in 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), pp. 577-578, IEEE, 2015.
- There are currently no refbacks.
This work is licensed under a Creative Commons Attribution 3.0 License.