Results 81 to 90 of about 1,554,184 (382)
On the Practicality of a Smart Contract PKI [PDF]
Public key infrastructures (PKIs) are one of the main building blocks for securing communications over the Internet. Currently, PKIs are under the control of centralized authorities, which is problematic as evidenced by numerous incidents where they have been compromised.
Mema Roussopoulos+3 more
openaire +4 more sources
Aroc: An Automatic Repair Framework for On-Chain Smart Contracts
Ongoing smart contract attack events have seriously impeded the practical application of blockchain. Although lots of researches have been conducted, they mostly focus on off-chain vulnerability detection. However, smart contracts cannot be modified once
Hai Jin+5 more
semanticscholar +1 more source
Smart contracts are self-executing digital transactions using decentralized cryptographic mechanisms for enforcement. They were theorized more than twenty years ago, but the recent development of Bitcoin and blockchain technologies has rekindled ...
Kevin Werbach, Nicolas Cornell
core +1 more source
A Semantic Framework for the Security Analysis of Ethereum smart contracts
Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for any trusted ...
A Biryukov+6 more
core +2 more sources
Contracting in the Age of Smart Contracts [PDF]
Smart contracts lie at the heart of blockchain technology. There are two principal problems, however, with existing smart contracts: first, the enforceability of smart contracts remains ambiguous.
Ghodoosi, Farshad
core +1 more source
Verification of smart contracts: A survey
Abstract To achieve trust and continuity in the smart contracts-based business process execution, the verification of such smart contracts is mandatory. A blockchain-based smart contract should work as intended before using it. Due to the immutable nature of blockchain, any bugs or errors will become permanent once published and could lead to huge ...
Abed Ellatif Samhat+4 more
openaire +5 more sources
Direct Ink Writing of Conductive Hydrogels
This review examines the use of direct ink writing (DIW) for fabricating conductive hydrogels with customizable 3D structures. It outlines the rheological requirements for successful DIW, followed by an exploration of the materials and ink formulations used to impart electronic and/or ionic conductivity to hydrogels while maintaining printability ...
Monica Ho+6 more
wiley +1 more source
PDFS: Practical Data Feed Service for Smart Contracts
Smart contracts are a new paradigm that emerged with the rise of the blockchain technology. They allow untrusting parties to arrange agreements. These agreements are encoded as a programming language code and deployed on a blockchain platform, where all ...
D Bayer+6 more
core +1 more source
This study introduces a scalable and colored low‐emissivity (low‐e) paint achieved by spraying an ultrathin n‐doped poly(benzodifurandione) (n‐PBDF) coating onto various colored substrates. The low‐e paint enhances thermal regulation by reducing mid‐infrared thermal emissivity to 0.19, thereby stabilizing indoor temperatures across diverse climates ...
Xiaojie Liu+13 more
wiley +1 more source
Blockchain Enabled Smart Contract Based Applications: Deficiencies with the Software Development Life Cycle Models [PDF]
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 contracts are stored, causes conflicts with the traditional Software Development Life Cycle (SDLC) models usually ...
arxiv