Cover Image

Formal Verification for Blockchain-based Insurance Claims Processing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Neupane, Roshan Lal, Bonnah, Ernest, Bhusal, Bishnu, Neupane, Kiran, Hoque, Khaza Anuarul, Calyam, Prasad
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FlipLLM: Efficient Bit-Flip Attacks on Multimodal LLMs using Reinforcement Learning
by: Khalil, Khurram, et al.
Published: (2025)

Securing Virtual Reality Experiences: Unveiling and Tackling Cybersickness Attacks with Explainable AI
by: Kundu, Ripan Kumar, et al.
Published: (2025)

PrivateXR: Defending Privacy Attacks in Extended Reality Through Explainable AI-Guided Differential Privacy
by: Kundu, Ripan Kumar, et al.
Published: (2025)

Adversarial VR: An Open-Source Testbed for Evaluating Adversarial Robustness of VR Cybersickness Detection and Mitigation
by: Ahmed, Istiak, et al.
Published: (2025)

Blockchain-Integrated Privacy-Preserving Medical Insurance Claim Processing Using Homomorphic Encryption
by: Mamoria, Diya, et al.
Published: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

Utilizing Blockchain and Smart Contracts for Enhanced Fraud Prevention and Minimization in Health Insurance through Multi-Signature Claim Processing
by: Amin, Md Al, et al.
Published: (2024)

An Efficient Anomaly Detection Framework for Wireless Sensor Networks Using Markov Process
by: Mishra, Rahul, et al.
Published: (2025)

Poison Attacks and Adversarial Prompts Against an Informed University Virtual Assistant
by: Fernandez, Ivan A., et al.
Published: (2024)

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
by: Bhusal, Bishnu, et al.
Published: (2025)

InsureConnect: Blockchain and Digital Identity for the Property Insurance Market
by: Travassos, João Eduardo, et al.
Published: (2026)

Filter-then-Verify: A Multiphase GNN and ModernBERT Framework for Social Engineering Detection in Email Networks
by: Khadka, Barsat, et al.
Published: (2026)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

An Attack Method for Medical Insurance Claim Fraud Detection based on Generative Adversarial Network
by: Pang, Yining, et al.
Published: (2025)

Towards a Formal Foundation for Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems
by: Marcelletti, Alessandro, et al.
Published: (2024)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
by: Antón, Anna Lena Duque, et al.
Published: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
by: Prelipcean, Dumitru-Bogdan, et al.
Published: (2025)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
by: Deutschmann, Lucas, et al.
Published: (2023)

Decentralized Firmware Integrity Verification for Cyber-Physical Systems Using Ethereum Blockchain
by: Hossain, S M Mostaq, et al.
Published: (2026)

ShikkhaChain: A Blockchain-Powered Academic Credential Verification System for Bangladesh
by: Farabi, Ahsan, et al.
Published: (2025)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

The Future of Document Verification: Leveraging Blockchain and Self-Sovereign Identity for Enhanced Security and Transparency
by: Radha, Swapna Krishnakumar, et al.
Published: (2024)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

Towards Automating Blockchain Consensus Verification with IsabeLLM
by: Jones, Elliot, et al.
Published: (2026)

Adversarial Patterns: Building Robust Android Malware Classifiers
by: Bhusal, Dipkamal, et al.
Published: (2022)

nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
by: Mishra, Rahul, et al.
Published: (2025)

Privacy-preserving Blockchain-enabled Parametric Insurance via Remote Sensing and IoT
by: Hao, Mingyu, et al.
Published: (2023)

IRSKG: Unified Intrusion Response System Knowledge Graph Ontology for Cyber Defense
by: Panigrahi, Damodar, et al.
Published: (2024)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

Blockchain based Decentralized Petition System
by: Kaur, Jagdeep, et al.
Published: (2024)

Blockchain-Driven AI-Enhanced Post-Quantum Multivariate Identity-based Signature and Privacy-Preserving Data Aggregation Scheme for Fog-enabled Flying Ad-Hoc Networks
by: majmaie, Sufian Al, et al.
Published: (2026)

CONFETTY: A Tool for Enforcement and Data Confidentiality on Blockchain-Based Processes
by: Kryston, Michele, et al.
Published: (2026)

Quantum Cyber-Attack on Blockchain-based VANET
by: Shakib, Kazi Hassan, et al.
Published: (2023)

Blockchain security based on cryptography: a review
by: Zhou, Wenwen, et al.
Published: (2025)

Detecting and Mitigating SQL Injection Vulnerabilities in Web Applications
by: Neupane, Sagar
Published: (2025)

A White-Box Adversarial Attack Against a Digital Twin
by: Patterson, Wilson, et al.
Published: (2022)