English
Related papers

Related papers: Towards Secure and Trusted-by-Design Smart Contrac…

200 papers

Due to their immutable log of information, blockchains can be considered as a transparency-enhancing technology. The immutability, however, also introduces threats and challenges with respect to privacy laws and illegal content. Introducing…

Cryptography and Security · Computer Science 2021-07-01 Erik Daniel , Florian Tschorsch

Blockchain technology provides a private, secure, transparent decentralized exchange of data. Also, blockchain is not limited to a particular area, but it has a wide range of applications and can be integrated into a variety of Internet…

Cryptography and Security · Computer Science 2021-12-17 M. Sipek , M. Zagar , B. Mihaljevic

The Bitcoin white paper introduced blockchain technology, enabling trustful transactions without intermediaries. Smart contracts emerged with Ethereum and blockchains expanded beyond cryptocurrency, applying to auctions, crowdfunding and…

Cryptography and Security · Computer Science 2025-01-08 Aldenio Burgos , Eduardo Alchieri

Smart contracts are a special type of programs running inside a blockchain. Immutable and transparent, they provide means to implement fault-tolerant and censorship-resistant services. Unfortunately, its immutability causes a serious…

Logic in Computer Science · Computer Science 2018-12-04 Evgeniy Shishkin

In the given technology-driven era, smart cities are the next frontier of technology, aiming at improving the quality of people's lives. Many research works focus on future smart cities with a holistic approach towards smart city…

Cryptography and Security · Computer Science 2021-07-22 S. Valli Sanghami , John J. Lee , Qin Hu

Recent advances in blockchain technologies have provided exciting opportunities for decentralized applications. Specifically, blockchain-based smart contracts enable credible transactions without authorized third parties. The attractive…

Cryptography and Security · Computer Science 2018-03-19 Jiayu Zhou , Fengyi Tang , He Zhu , Ning Nan , Ziheng Zhou

Blockchain is a decentralized ledger used to securely exchange digital currency, perform deals and transactions efficient manner, each user of the network has access to the least copy of the encrypted ledger so that they can validate a new…

Cryptography and Security · Computer Science 2022-01-03 Bosubabu Sambana

Blockchain technologies, such as smart contracts, present a unique interface for machine-to-machine communication that provides a secure, append-only record that can be shared without trust and without a central administrator. We study the…

Computers and Society · Computer Science 2019-01-09 Yuichi Hanada , Luke Hsiao , Philip Levis

Healthcare insurance provides financial support to access medical services for patients while ensuring timely and guaranteed payment for providers. Insurance fraud poses a significant challenge to insurance companies and policyholders,…

Cryptography and Security · Computer Science 2024-07-26 Md Al Amin , Rushabh Shah , Hemanth Tummala , Indrajit Ray

Blockchains and smart contracts are an emerging, promising technology, that has received considerable attention. We use the blockchain technology, and in particular Ethereum, to implement a large-scale event-based Internet of Things (IoT)…

Cryptography and Security · Computer Science 2019-07-10 Nikos Fotiou , Iakovos Pittaras , Vasilios A. Siris , Spyros Voulgaris , George C. Polyzos

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a…

Computers and Society · Computer Science 2017-03-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

Smart contracts are self-executing programs on a blockchain to ensure immutable and transparent agreements without the involvement of intermediaries. Despite the growing popularity of smart contracts for many blockchain platforms like…

Software Engineering · Computer Science 2023-03-27 Taeyoung Kim , Yunhee Jang , Chanjong Lee , Hyungjoon Koo , Hyoungshick Kim

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

This study presents a blockchain-based voting system aimed at enhancing election security, transparency, and integrity. Traditional voting methods face growing risks of tampering, making it crucial to explore innovative solutions. Our…

Cryptography and Security · Computer Science 2025-02-25 Suniti Chouhan , Gajanand Sharma

Raziel combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains. Effectively solving DAO and Gyges attacks, this paper describes an…

Cryptography and Security · Computer Science 2020-02-17 David Cerezo Sánchez

There is an ongoing competition among blockchain technologies and the existence of one ultimate blockchain is impossible for many reasons. On the other hand, such variety can create difficulties in adoption, especially for the governments…

Cryptography and Security · Computer Science 2020-07-24 Oleksii Konashevych

Blockchain technology is an interlinked systematic chain of blocks that contains transaction history and other user data. It works under the principle of decentralized distributed digital ledger. This technology enables cryptographically…

Cryptography and Security · Computer Science 2020-12-25 AKM Bahalul Haque , Mahbubur Rahman

With the recent popularity of Blockchain and other Distributed Ledger Technologies (DLT), blockchain enabled smart contract applications has attracted increased research focus. However, the immutability of the blocks, where the smart…

Computers and Society · Computer Science 2020-01-30 Mahdi H. Miraz , Maaruf Ali

Smart contracts are autonomous and immutable pieces of code that are deployed on blockchain networks and run by miners. They were first introduced by Ethereum in 2014 and have since been used for various applications such as security…

Software Engineering · Computer Science 2024-07-08 Mahdi Fooladgar , Fathiyeh Faghih

Technology has evolved over the years, making our lives easier. It has impacted the healthcare sector, increasing the average life expectancy of human beings. Still, there are gaps that remain unaddressed. There is a lack of transparency in…

Cryptography and Security · Computer Science 2022-09-27 Debendranath Das