Toward Privacy-Assured Health Insurance Claims

He, Xinchi; Alqahtani, Sarra; Gamble, Rose F.

doi:10.1109/cybermatics_2018.2018.00273

Cited by 20 publications

(12 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Also, there is a lack of transparency and privacy [106]. Consequently, a cryptographically protected blockchain ensures patient privacy while providing an industry-wide, coordinated warehouse of healthcare data, bringing the industry billions in finances a year [105,107]. In this line, [107] and [18] proposed, designed, and implemented a blockchain prototype to ensure verifiability, privacy, and integrity of transactions in a health insurance claim.…”

Section: ) Vehicle Insurancementioning

confidence: 99%

Blockchain in Insurance: Exploratory Analysis of Prospects and Threats

Amponsah¹,

Adekoya²,

Weyori³

2021

IJACSA

View full text Add to dashboard Cite

Ever since the first generation of blockchain technology became very successful and the FinTech enormously benefited from it with the advent of cryptocurrency, the second and third generations championed by Ethereum and Hyperledger have explored the extension of blockchain in other domains like IoT, supply chain management, healthcare, business, privacy, and data management. A field as huge as the insurance industry has been underrepresented in literature. Therefore, this paper presents how investments in blockchain technology can profit the insurance industry. We discuss the basics of blockchain technology, popular platforms in use today, and provide a simple theoretical explanation of the insurance sub-processes which blockchain can mutate positively. We also discuss hurdles to be crossed to fully implement blockchain solutions in the insurance domain.

show abstract

Section: ) Vehicle Insurancementioning

confidence: 99%

Blockchain in Insurance: Exploratory Analysis of Prospects and Threats

Amponsah¹,

Adekoya²,

Weyori³

2021

IJACSA

View full text Add to dashboard Cite

show abstract

“…When a specific bytecode is executed, all nodes in the Ethereum network execute the same bytecode respectively to verify the transaction. At this time, if zero-knowledge proof technology that can perform general operation verification is applied to the virtual machine, even if the virtual machine does not execute the transaction, it is possible to know whether the corresponding transaction is the correct transaction by performing verification on the zero-knowledge evidence [21]. In order to modify the virtual machine, it is necessary to understand the structure.…”

Section: Design Of Zero-knowledge Circuitmentioning

confidence: 99%

A study of universal zero-knowledge proof circuit-based virtual machines that validate general operations & reduce transaction validation

Jeong¹,

Ahn

2021

COMSIS J

View full text Add to dashboard Cite

Recently, blockchain technology accumulates and stores all transactions. Therefore, in order to verify the contents of all transactions, the data itself is compressed, but the scalability is limited. In addition, since a separate verification algorithm is used for each type of transaction, the verification burden increases as the size of the transaction increases. Existing blockchain cannot participate in the network because it does not become a block sink by using a server with a low specification. Due to this problem, as the time passes, the data size of the blockchain network becomes larger and it becomes impossible to participate in the network except for users with abundant resources. Therefore, in this paper, we studied the zero knowledge proof algorithm for general operation verification. In this system, the design of zero-knowledge circuit generator capable of general operation verification and optimization of verifier and prover were also conducted. Also, we developed an algorithm for optimizing key generation. Based on all of these, the zero-knowledge proof algorithm was applied to and tested on the virtual machine so that it can be used universally on all blockchains.

show abstract

“…Hyperledger Fabric is an open-source permissioned blockchain framework from the Linux Foundation. We inherit the blockchain network architecture from our previous work [20,21], which have more details about the implementation and performance of the proposed architecutre applied in other applications. Each smart contract is defined with a set of typed variables and a set of functions.…”

Section: Model Checking Using Nusmvmentioning

confidence: 99%

“…Since the verification is performed offline, we did not investigate the performance of our approach. As mentioned before, the performance evaluation for the implemented architecture has been already published in our previous work [20,21] for different applications including Healthcare systems and IoT firmware updates.…”

Section: Model Checking Using Nusmvmentioning

confidence: 99%

Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems

Alqahtani

Gamble

et al. 2020

Proceedings of the Annual Hawaii International Conference on System Sciences

Self Cite

View full text Add to dashboard Cite

The smart contract technology has increasingly attracted the attention of different industries. However, a significant number of smart contracts deployed in practice suffer from several bugs, which enable malicious users to cause damage. The research community has shifted their focus to verifying the correctness of smart contracts using model checkers and formal verification methods. The majority of the research investigates the correctness of systems built on one smart contract. This paper proposes a verification approach for systems composed of interacting smart contracts developed and controlled by different entities. We use the NuSMV model checker and the Behavioral Interaction Priority tool to model the behaviors of smart contracts and their interactions with the aim of verifying their compliance with the systems' functional requirements. These requirements are formalized by Linear Temporal Logic propositions. The applicability of our approach is illustrated using a case study from The American Petroleum Institute and implemented using Hyperledger Fabric.

show abstract

Toward Privacy-Assured Health Insurance Claims

Cited by 20 publications

References 8 publications

Blockchain in Insurance: Exploratory Analysis of Prospects and Threats

Blockchain in Insurance: Exploratory Analysis of Prospects and Threats

A study of universal zero-knowledge proof circuit-based virtual machines that validate general operations & reduce transaction validation

Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems

Contact Info

Product

Resources

About