|
Atlas. Atlas - A Universal Blockchain Platform for The Travel Industry. https://atlas.world/viewer/whitepaper.html, visited at 9 March 2020. |
|
Bhargavan , K., Delignat-Lavaud , A., Fournet , C., Gollamudi , A. Gonthier, G., Kobeissi , N., Kulatova , N., Rastogi , A., Sibut-Pinote , T. & Swamy , N.2016. Formal verification of smart contracts: Short paper. In ACM Workshop on Programming Languages and Analysis for Security, 91–96. |
|
Biswas , K. & Muthukkumarasamy , V.2016. Securing smart cities using blockchain technology. In 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS), 1392–1393. |
|
Bore , N., Karumba , S., Mutahi , J., Darnell , S.S., Wayua , C. & Weldemariam , K.2017. Towards blockchain-enabled school information Hub. In Ninth International Conference on Information and Communication Technologies and Development, 19. |
|
Buterin , V.2019. Ethereum White Paper. , visited at 15 June 2019. |
|
Cachin , C.2019. Architecture of the Hyperledger Blockchain Fabric. https://www.zurich.ibm.com/dccl/papers/cachin_dccl.pdf, visited at 15 June 2019. |
|
Casino , F., Dasaklis , T. K. & Patsakis , C.2019. A systematic literature review of blockchain-based applications: Current status, classification and open issues. Telematics and Informatics36, 55–81. |
|
CBInsights. How Blockchain Could Disrupt Insurance. https://www.cbinsights.com/research/blockchain-insurance-disruption/, visited at 15 June 2019. |
|
Chen , H., Pendleton , M., Njilla , L. & Xu , S.2019. A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses. https://arxiv.org/abs/1908.04507. |
|
Chinchilla , C.2019. A Next-Generation Smart Contract and Decentralized Application Platform (Ethereum White Paper). https://github.com/ethereum/wiki/wiki/White-Paper, 2019, visited at 14 March 2020. |
|
De La Rosa , J. L., El-Fakdi , A., Torres , V. & Amengual , X.2017. Logo recognition by consensus for enabling blockchain implementations. Frontiers in Artificial Intelligence and Applications300, 257–262. |
|
DHLTrend Research . Blockchain in Logistics. https://www.logistics.dhl/content/dam/dhl/global/core/documents/pdf/glo-core-blockchain-trend-report.pdf, visited at 15 June 2019. |
|
Dong , N. & Muller , T.2018. The foul adversary: formal models. In International Conference on Formal Engineering Methods (ICFEM), 37–53. |
|
Ethereum. https://www.ethereum.org/, visited at 14 June 2019. |
|
French , J.2019. BTU Protocol Launches BTU Hotel at CES, Drives Commissions to 0%. https://blocktelegraph.io/btu-protcol-hotel-ces/, January 6, 2019, visited at 9 March 2020. |
|
GOeureka. GOeureka: Next-Gen Solution Shaping the Future of Online Hotel Booking. https://goeureka.io/, visited at 9 March 2020. |
|
Hsiao , J. H., Tso , R., Chen , C. M. & Wu , M. E.2018. Decentralized E-voting systems based on the blockchain technology. In Advances in Computer Science and Ubiquitous Computing, Lecture Notes in Electrical Engineering, 474, 305–309. |
|
IBMCorporation . IBM Sterling Supply Chain. https://www.ibm.com/au-en/supply-chain, visited at 6 March 2020. |
|
Kim , H. M. & Laskowski , M.2016. Towards an Ontology-Driven Blockchain Design for Supply Chain Provenance. http://arxiv.org/abs/1610.02922, submitted 2016, visited at 6 March 2020. |
|
Krietemeyer , M.-L. 2020. Blockchain Technologies Influence on Hotel Bookings. https://pdfs.semanticscholar.org/aa84/35b68db2a6f2081e877925cbf0ef3aeb7598.pdf, visited at 9 March 2020. |
|
Kyriakarakos , G. & Papadakis , G.2018. Microgrids for productive uses of energy in the developing world and blockchain: a promising future. Applied Sciences (Switzerland)8(4), 580. |
|
Lee , J.-H.2018. BIDaaS: blockchain based ID as a service. IEEE Access6, 2274–2278. |
|
Li , L., Dong , N., Pang , N., Sun , J., Bai , G., Liu , Y. & Dong , J.S.2017. A verification framework for stateful security protocols. In International Conference on Formal Engineering Methods (ICFEM), 262–280. |
|
Liang , G., Weller , S. R., Luo , F., Zhao , J. & Dong , Z. Y.2018. Distributed blockchain-based data protection framework for modern power systems against cyber attacks. IEEE Transactions on Smart Grid. 10, 3162–3173. |
|
Lin , Y., Sun , J., Tran , L., Bai , G., Wang , H. & Dong , J.S.2018. Break the dead end of dynamic slicing: localizing data and control omission bug. In 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 509–519. |
|
Lin , Y., Sun , J., Xue , Y., Liu , Y. & Dong , J.S.2017. Feedback-based debugging. In 39th ACM SIGSOFT International Conference on Software Engineering (ICSE), 393–403. |
|
Locktrip. BlockChain Hotels & Rentals Travel Marketplace with 0% Commissions. https://locktrip.com/, visited at 9 March 2020. |
|
Luu , L. Chu, D.-H., Olickel , H., Saxena , P. & Hobor , A.2016. Making smart contracts smarter. In ACM SIGSAC Conference on Computer and Communications Security, 254–269. |
|
Marr , B.2019. How Blockchain Will Transform The Supply Chain And Logistics Industry. https://www.forbes.com/sites/bernardmarr/2018/03/23/how-blockchain-will-transform-the-supply-chain-and-logistics-industry/#50e51e6d5fec, visited at 15 June 2019. |
|
Morris , D. Z.2019. Bitcoin is not just Digital Currency. It’s Napster for finance. http://fortune.com/2014/01/21/bitcoin-is-not-just-digital-currency-its-napster-for-finance/, visited at 15 June 2019. |
|
Modi , R.2019. Introduction to Blockchain, Ethererum and Samrt Contracts. https://medium.com/coinmonks/https-medium-com-ritesh-modi-solidity-chapter1-63dfaff08a11, visited at 14 June 2019. |
|
Nakamoto , S.2019. Bitcoin: A Peer-to-Peer Electronic Cash System. https://bitcoin.org/bitcoin.pdf, visited at 15 June 2019. |
|
Narayanan , A., Bonneau , J., Felten , E., Miller , A. & Goldfeder , S.2016. Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction, Princeton University Press. |
|
Nguyen , D. T., Pham , L. H., Sun , J., Lin , Y. & Tran M. Q. to appear. sFuzz: an efficient adaptive fuzzer for solidity smart contracts. In 42nd International Conference on Software Engineering (ICSE). |
|
Novo , O.2018. Blockchain meets IoT: an architecture for scalable access management in IoT. IEEE Internet of Things Journal5(2), 1184–1195. |
|
PAT. , visited at 15 June 2019. |
|
Patel , V.2018. A framework for secure and decentralized sharing of medical imaging data via blockchain consensus. Health Informatics Journal25(4), 1398–1411. |
|
PatentApplication (Mastercard). Method and System for Travel Itinerary Bidding via Blockchain (Patent US20180157999). https://patents.justia.com/patent/20180157999, visited at 9 March 2020. |
|
Rijmenam , M. V.2019. 5 Ways How Blockchain Will Change the Travel Industry. https://vanrijmenam.nl/how-blockchain-changes-travel-industry/, August 21, 2019, visited at 9 March 2020. |
|
Sarasola . M. R.2019. So Maybe You Figured Out What Blockchain is But What Can You Do With It?https://www.willistowerswatson.com/en-SG/insights/2018/06/emphasis-blockchain-use-in-insurance-from-theory-to-reality, visited at 15 June 2019. |
|
Schwartz , D., Youngs , N. & Britto , A.2014. The Ripple Protocol Consensus Algorithm. Ripple Labs Inc, White Paper 5. |
|
Sun , J., Liu , Y., Dong , J. S. & Chen , C. Q.2009. Integrating Specification and Programs for System Modeling and Verification. In the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 127–135. |
|
Sun , J., Liu , Y., Dong , J. S. & Pang , J.2019. Pat: towards flexible verification under fairness. In International Conference on Computer Aided Verification, 709–714. Springer. |
|
Swan , M.2015. Blockchain: Blueprint for a New Economy. OReilly Media, Inc. |
|
Thin , W. Y. M. M., Dong , N., Bai , G. & Dong , J. S.2018. Formal analysis of a proof-of-stake blockchain. In 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 197–200. |
|
Vo , H. T., Mehedy , L., Mohania , M. & Abebe , E.2017. Blockchain-based data management and analytics for micro-insurance applications. In ACM on Conference on Information and Knowledge Management, 2539–2542. |
|
Wang , X., Sun , J., Chen , Z., Zhang , P., Wang , J. & Lin , Y.2018. Towards optimal concolic testing. In 40th International Conference on Software Engineering (ICSE), 291–302. |
|
Windingtree.com. https://windingtree.com/, visited at 9 March 2020. |
|
Yang , C., Chen , X. & Xiang , Y.2018. Blockchain-based publicly verifiable data deletion scheme for cloud storage. Journal of Network and Computer Applications103, 185–193. |
|
Yang , Z. & Lei , H.2019. Fether: an extensible definitional interpreter for smart-contract verifications in coq. IEEE Access7, 37770–37791. |