English
Related papers

Related papers: Proxy Re-encryption based Fair Trade Protocol for …

200 papers

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and…

Software Engineering · Computer Science 2024-07-01 Adele Veschetti , Richard Bubel , Reiner Hähnle

In the 21st century, transitioning to renewable energy sources is imperative, with fossil fuel reserves depleting rapidly and recognizing critical environmental issues such as climate change, air pollution, water pollution, and habitat…

Systems and Control · Electrical Eng. & Systems 2026-01-14 Wei-Jen Liu , Wei-Yu Chiu , Weiqi Hua

In this letter we propose Meta-key, a data-sharing mechanism that enables users share their encrypted data under a blockchain-based decentralized storage architecture. All the data-encryption keys are encrypted by the owner's public key and…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-26 Dagang Li , Rong Du , Man Ho Au , Yue Fu

Cross-Blockchain communication has gained traction due to the increasing fragmentation of blockchain networks and scalability solutions such as side-chaining and sharding. With SmartSync, we propose a novel concept for cross-blockchain…

Cryptography and Security · Computer Science 2022-09-01 Martin Westerkamp , Axel Küpper

The rise of smart contract systems such as Ethereum has resulted in a proliferation of blockchain-based decentralized applications including applications that store and manage a wide range of data. Current smart contracts are designed to be…

Cryptography and Security · Computer Science 2019-02-26 Chao Li , Balaji Palanisamy , Runhua Xu

Blockchain technology has evolved from being an immutable ledger of transactions for cryptocurrencies to a programmable interactive the environment for building distributed reliable applications. Although, blockchain technology has been…

Cryptography and Security · Computer Science 2017-09-29 Aravind Ramachandran , Dr. Murat Kantarcioglu

This paper proposes SilentDelivery, a secure, scalable and cost-efficient protocol for implementing timed information delivery service in a decentralized blockchain network. SilentDelivery employs a novel combination of threshold secret…

Cryptography and Security · Computer Science 2021-07-20 Chao Li , Balaji Palanisamy

Blockchain technology provides a secure and decentralized platform for storing and transferring sensitive medical data, which can be utilized to enable remote medical consultations. This paper proposes a theoretical framework for creating a…

Cryptography and Security · Computer Science 2023-10-31 Syed Sarosh Mahdi , Zaib Ullah , Gopi Battineni , Muneer Gohar Babar , Umer Daood

Recently, a number of existing blockchain systems have witnessed major bugs and vulnerabilities within smart contracts. Although the literature features a number of proposals for securing smart contracts, these proposals mostly focus on…

Cryptography and Security · Computer Science 2018-12-17 Michael Rodler , Wenting Li , Ghassan O. Karame , Lucas Davi

Randomness plays a pivotal role in modern online gaming, but disputes have arisen over the accuracy of stated winning chances, resulting in legal issues and financial setbacks for gaming companies. Fortunately, blockchain-based games offer…

Cryptography and Security · Computer Science 2023-10-30 Eason Chen , Justa Liang , Ray Huang , Pierce Hung , Damien Chen , Ashley Hsu , Konstantinos Chalkias , Stefanos Pleros

Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs…

Cryptography and Security · Computer Science 2021-05-21 Noama Fatima Samreen , Manar H. Alalfi

We propose and develop a framework for validating smart contracts derived from e-contracts. The goal is to ensure the generated smart contracts fulfil all the conditions outlined in their corresponding e-contracts. By confirming alignment…

Software Engineering · Computer Science 2025-04-29 Sangharatna Godboley , P. Radha Krishna , Sunkara Sri Harika , Pooja Varnam

The blockchain-based smart contract lacks privacy since the contract state and instruction code are exposed to the public. Combining smart-contract execution with Trusted Execution Environments (TEEs) provides an efficient solution, called…

Cryptography and Security · Computer Science 2022-04-21 Rujia Li , Qin Wang , Qi Wang , David Galindo , Mark Ryan

A smart contract on a blockchain cannot keep a secret because its data is replicated on all nodes in a network. To remedy this problem, it has been suggested to combine blockchains with trusted execution environments (TEEs), such as Intel…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-23 Marcus Brandenburger , Christian Cachin , Rüdiger Kapitza , Alessandro Sorniotti

Corruption is a major global financial problem with billions of dollars rendered lost or unaccountable annually. Corruption through contract fraud is often conducted by withholding and/or altering financial information. When such scandals…

Computers and Society · Computer Science 2020-02-18 Jørgen Svennevik Notland , Jakob Svennevik Notland , Donn Morrison

The proposed system highlights a novel approach of exclusive verification process using gain protocol for ensuring security among both the parties (client-service provider) in m-commerce application with cloud enabled service. The proposed…

Networking and Internet Architecture · Computer Science 2012-01-23 Chitra Kiran N. , G. Narendra Kumar

A major problem in blockchain-based supply chain management is the potential unreliability of digital twins when considering digital representations of physical goods. Indeed, the use of blockchain technology to trace goods is obviously…

Cryptography and Security · Computer Science 2023-09-06 Vincenzo Botta , Laura Fusco , Attilio Mondelli , Ivan Visconti

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

Logic in Computer Science · Computer Science 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

The registration, transfer, clearing and settlement of equities represents a significant part of economic activity currently underserved by modern technological innovation. In addition, recent events have revealed problems of transparency,…

Cryptography and Security · Computer Science 2016-12-22 Brent Kievit-Kylar , Chris Horlacher , Marc Godard , Christian Saucier

Wibson is a blockchain-based, decentralized data marketplace that provides individuals a way to securely and anonymously sell information in a trusted environment. The combination of the Wibson token and blockchain-enabled smart contracts…

Cryptography and Security · Computer Science 2020-02-04 Daniel Fernandez , Ariel Futoransky , Gustavo Ajzenman , Matias Travizano , Carlos Sarraute