Madeleine B. P. Vega, A. M. Saraiva, M. Simplício, Bruno Albertini, Roberto F. Silva
{"title":"A systematic review of the use of blockchain in Internet of Medical Things","authors":"Madeleine B. P. Vega, A. M. Saraiva, M. Simplício, Bruno Albertini, Roberto F. Silva","doi":"10.1109/iGETblockchain56591.2022.10087115","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087115","url":null,"abstract":"International health organizations advocate for health care with greater quality and safety, reflecting population needs. However, current health services are inefficient, facing problems of inadequate treatment, human resources, infrastructure, and high costs. Digital health technologies play an increasingly important role in healthcare services such as remote care and vital signs monitoring. The Internet of Medical Things (IoMT), which is a customized version of the Internet of Things (IoT), is increasingly important as it interconnects different medical devices, sensors, patients, and doctors, among others. This brings several benefits in improving health services. Nevertheless, in the IoMT environment, there are several challenges to overcome. Blockchain technology, a distributed ledger, with its immutability, transparency, and anonymity features, is being used in IoMT to help overcome these challenges. In this paper, a systematic review was carried out to identify the research topics of blockchain application in IoMT, the challenges in IoMT, how blockchain helps to overcome them, and the maturity stage of those works. The review results allowed us to identify five research topics in which the main ones are authentication and intrusion detection. This review shows an overview of current research on this subject, giving the possibility of directing other research works, or optimizing the existing ones.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122935026","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hanumantha Rao Bokkisam, Iacopo Savelli, Thomas Morstyn, P. Cuffe
{"title":"Towards a Distributed Autonomous Organisation for Financing, Governing and Disbursing Revenues of a Battery Energy Storage System","authors":"Hanumantha Rao Bokkisam, Iacopo Savelli, Thomas Morstyn, P. Cuffe","doi":"10.1109/iGETblockchain56591.2022.10087085","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087085","url":null,"abstract":"This paper presents a framework for a blockchain-based decentralised autonomous organisation that mediates the financing, governance, and revenue dispersal for a battery energy storage system fully controlled by remote token holders. In the proposed framework, the participants can buy a fractional share of an energy storage asset, embodied as a blockchain token, with corresponding rights and privileges enforced by smart contracts. The token holders continually vote to govern the battery’s operation (charge/float/discharge); these votes are autonomously aggregated by the smart contract, which is also empowered to directly dispatch the battery’s mode of operation by issuing physical control signals. Furthermore, the smart contract itself maintains a financial payment channel with the electricity market, transacting stable coins back and forth as it buys and sells energy from the spot market, per the token holders’ consensus wishes. This paper presents a case study simulation of this radical conception of asset ownership and control, whereby token holders vote based on the real-time price of electricity, their particular electricity price forecast, and the current state of charge of the battery.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"244 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121271464","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On coexistence of decentralized system (blockchain) and central management in Internet-of-Things","authors":"Hirosh Watanabe","doi":"10.1109/iGETblockchain56591.2022.10087084","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087084","url":null,"abstract":"Network is composed of logical nodes and edges for communications. Atomistic component of things connected to the network is a memory chip. Accordingly, the unique linkage of a memory chip and a logical node can be a promising to resolve the root-of-trust problem on the Internet-of-Things. For this aim, we propose a protocol of challenge-response using a memory chip.For the central management, a central node controls the entry of electronic appliances with a memory chip into the network, and excludes a fake node (e.g., the spoofing entity) from the network that the central node manages. For the decentralized communications, Merkle’s tree turns out being composed of memory chips to which the logical nodes are uniquely linked, respectively. The root of Merkle turns out being the memory chip that stores the latest record of data transaction. We can register this memory chip as a new block by satisfying the requirement of the proof-of-consensus. After blocks are chained, it gets harder for even the central node to manipulate transaction record among memory chips. By this way, the decentralized system (e.g., blockchain) and the central management can coexist. A new idea of security state is also discussed briefly.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114330837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Verifying Correctness of Smart Contracts with Conditionals","authors":"Fahad F. Alhabardi, B. Lazar, A. Setzer","doi":"10.1109/iGETblockchain56591.2022.10087054","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087054","url":null,"abstract":"In this paper, we specify and verify the correctness of programs written in Bitcoin’s smart contract SCRIPT in the interactive theorem prover Agda. As in the previous article [1], we use weakest preconditions of Hoare logic to specify the security property of access control, and show how to develop human-readable specifications. In this article, we include conditionals into the language. For the operational semantics we use an additional stack, the ifstack, to deal with nested conditionals. This avoids the addition of extra jump instructions, which are usually used for the operational semantics of conditionals in Forth-style stack languages. The ifstack preserves the original nesting of conditionals, and we determine an ifthenselse-theorem which allows to derive verification conditions of conditionals by referring to conditions for the if- and else-case.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115436463","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Oleksandr Antonenko, S. Grybniak, Denis Guzey, Oleksandr Nashyvan, Ruslan Shanin
{"title":"Subnetworks in BlockDAG","authors":"Oleksandr Antonenko, S. Grybniak, Denis Guzey, Oleksandr Nashyvan, Ruslan Shanin","doi":"10.1109/iGETblockchain56591.2022.10087101","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087101","url":null,"abstract":"In the article, we study the horizontal scaling of the Waterfall or similar blockDAG networks by partitioning them into subnetworks by applying hierarchical and graph-based clustering algorithms. It leads to the reducing the network load and, in addition, to the increasing of the potential performance parameters of the underlying protocol. We consider methods of topology construction, propose clustering algorithms, and perform a simulation of a network partitioning into subnetworks.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126988893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
D. Sebastian-Cardenas, Sri Nikhil Gupta Gourisetti, S. Saha, Komal Khan, Leonard C. Tillman, U. Cali, Tamara Hughes
{"title":"Cybersecurity and Privacy Aspects of Smart Contracts in the Energy Domain","authors":"D. Sebastian-Cardenas, Sri Nikhil Gupta Gourisetti, S. Saha, Komal Khan, Leonard C. Tillman, U. Cali, Tamara Hughes","doi":"10.1109/iGETblockchain56591.2022.10087129","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087129","url":null,"abstract":"Smart contracts (SCs) are a set of logical procedures that can be run by individual peers participating within a Distributed Ledger Technology (DLT) network. By design, smart contracts inherit many of the benefits of DLT, including its immutability, scalability and security properties. Nevertheless, they may introduce additional attack vectors, which can lead to cybersecurity explorations that could jeopardize the end-application’s ability to operate as intended or result in data leaks, and privacy violations. In this work an exploration of known problems, and possible attack scenarios will be presented. This is followed by a set of proposed best practices that are intended to assist developers, researchers and other relevant stakeholders to develop secure SC implementations.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121895744","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Razvan Mihai, Omer Faruk Ozkul, Gora Datta, N. Goga, S. Grybniak, Constantin-Viorel Marian
{"title":"Blockchain-Enabled Economic Transactions: Recurring Financial Accruals and Payments","authors":"Razvan Mihai, Omer Faruk Ozkul, Gora Datta, N. Goga, S. Grybniak, Constantin-Viorel Marian","doi":"10.1109/iGETblockchain56591.2022.10087074","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087074","url":null,"abstract":"Economic transactions are based upon implicit or explicit contracts that set out the rights and obligations of the parties to the transactions. Blockchain technology can address fundamental financial, economic, and accounting challenges. We propose a blockchain-based prototype capable of capturing the essence of recurring economic transactions. For this purpose, we have devised an asset rental contract to show how economic transactions are recorded and tracked more effectively, efficiently, and in quasi-real-time, thus changing the traditional way of account keeping and auditing. We use the Ethereum blockchain as the most evolved and widely used smart contract platform. We showcase a significant discovery related to current blockchain technology limitations to making automatic non-custodial recurring payments. We show how the prototype can be extended to a range of recurring transactions.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122786111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Novel Machine Learning-assisted Pairs Trading Approach for Trading Risk Reduction","authors":"Zichao Chen, Cara Wang, Peng Sun","doi":"10.1109/iGETblockchain56591.2022.10087166","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087166","url":null,"abstract":"The cryptocurrency market has been growing rapidly in recent years. The volume of transactions and the number of participants in the cryptocurrency market makes it huge enough that we cannot ignore it. At the same time, the global stock market has also reached a new height in the past two years. However, due to the COVID epidemic and other political and economic-related factors in the last two years, the uncertainty in the capital market remains high, and short-term large fluctuations occur frequently; thus, many investors have suffered substantial losses. Pairs trading, an advanced statistical arbitrage method, is believed to hedge the risk and profit off the market regardless of market condition. Amongst the vast literature on pairs trading, there have been investors trading a pair of cryptocurrencies or a pair of stocks using machine learning or empirical methods. This research probes the boundary of utilizing machine learning methods to do pairs trading with one stock asset and another cryptocurrency. Briefly, we built an assets pool with both stocks and cryptocurrencies to find the best trading pair. In addition, we applied mainstream machine learning models to the trading strategy. We finally evaluated the accuracy of the proposed method in prediction and compared their returns based on the actual U.S. Stock and Cryptocurrency Market data. The test results show that our method outperforms other state-of-the-art methods.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130366779","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ismael M. A. Ávila, José Reynaldo F. Filho, Vasco Varanda Picchi
{"title":"Framework for governance tailoring: case study for a blockchain-based supply chain application","authors":"Ismael M. A. Ávila, José Reynaldo F. Filho, Vasco Varanda Picchi","doi":"10.1109/iGETblockchain56591.2022.10087162","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087162","url":null,"abstract":"Innovative uses of the blockchain technology in existing business models open up new opportunities to improve services and applications with new attributes such as integrity, transparency and auditability. In many cases, however, this involves a collaboration of different companies and entities, and therefore the integration with a blockchain depends on a good relationship between all parties. A key step in that direction is defining a governance both for the consortium that undertakes the service or application and for its wider business ecosystem. Thus, the governance must cover not only management aspects of the network, but also processes that regulate the application and the relationship between participants. This paper discusses the case study of a traceability service for animal protein supply chain, which has strengthened its value proposition by means of a new blockchain layer. A framework to facilitate the tailoring of its governance is proposed and discussed.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"61 s1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116146001","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Dissolving Metaphors in Peer-to-Peer Energy Trading: Towards a More Concrete Understanding of Metering, Legitimacy and Revenue Flows","authors":"A. D. Villiers, P. Cuffe","doi":"10.1109/iGETblockchain56591.2022.10087075","DOIUrl":"https://doi.org/10.1109/iGETblockchain56591.2022.10087075","url":null,"abstract":"Peer-to-peer (P2P) tokenised energy trading has seen much research interest in recent years. Despite this, the concrete physical workings of such marketplaces are rarely explained in the extant literature. This paper discusses notional P2P marketplaces with regard to their real-world implementation. The analysis of the physical/electrical layer and metaphorical token layer are kept distinct. Tokenised energy is conceptualised here as a dynamic license to consume, which serves as a flow of legitimacy for energy consumption in P2P schemes as typically proposed. Ledger structures, including centralised and decentralised/blockchain examples are examined. With the above points in mind, the workings of a notional blockchain-aware smart meter are described. The authors argue that while P2P energy trading may be a useful tool for regulators and for integration into smart token ecosystems, the drawbacks associated with decentralised tokenised energy markets may outweigh the apparent benefits at present.","PeriodicalId":186049,"journal":{"name":"2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain)","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124124871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}