Results 81 to 90 of about 1,636,081 (333)

A Survey on Security Verification of Blockchain Smart Contracts

IEEE Access, 2019
A smart contract is an agreement between two or more parties, which is executed by the computer code. The code does the execution without giving either party the ability to back out, so it ensures the trustless execution. The smart contract is one of the
Jing Liu, Zhentian Liu
doaj   +1 more source

A Semantic Framework for the Security Analysis of Ethereum smart contracts

, 2018
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, B Notheisen, C Hammer, G Snelting, N Atzei, P McCorry, Y Hirai   +6 more
core   +2 more sources

Charge‐Induced Morphing Gels for Bioinspired Actuation

Advanced Functional Materials, EarlyView.
This study introduces a novel electroactive actuation mechanism that enables the gel material to generate substantial and reversible shape‐changing while preserving topological and isochoric (volumetric) equivalence. The resultant morphing behaviors can mimic the movements of muscle‐driven organelles in nature, including cilia‐like beating and ...
Ciqun Xu, Saba Firouznia, Charl F. J. Faul, Majid Taghavi, Jonathan Rossiter   +4 more
wiley   +1 more source

LEGAL NATURE OF A SMART-CONTRACT AND ISSUES OF ITS APPLICATION IN THE FIELD OF DIGITAL ASSETS

Економіка та право
The article looks into the concept and legal nature of smart contracts, as well as the issues that arise during the use of smart contracts in the field of digital assets. The technical and legal aspects of the concept of a smart contract are considered.
К.Г. Некіт
doaj   +1 more source

WASMOD: Detecting vulnerabilities in Wasm smart contracts

IET Blockchain, 2023
Over the past few years, blockchain platforms supporting WebAssembly (Wasm) smart contracts are gaining popularity. However, Wasm smart contracts are often compiled from memory‐unsafe languages (e.g. C and C++).
Jianfei Zhou, Ting Chen
doaj   +1 more source

Towards Smart Hybrid Fuzzing for Smart Contracts [PDF]

, 2020
Smart contracts are Turing-complete programs that are executed across a blockchain network. Unlike traditional programs, once deployed they cannot be modified.
Gervais, Arthur, Iannillo, Antonio Ken, State, Radu, Torres, Christof Ferreira   +3 more
core   +2 more sources

Unusual Swelling Behavior of Hydrogels Modified with Spiropyran as Appendage or Crosslinker

Advanced Functional Materials, EarlyView.
Not so innocent after all—spiropyran crosslinkers in methylenebisacrylamide‐crosslinked poly(acrylamide‐co‐acrylic acid) hydrogels increase crosslinking density, but also, counterintuitively, increase swelling. Charge complexation, cooperative chemo‐mechanical effects, and aggregation may explain these observations.
Michael M. Lerch, Ankita Shastri, Thomas B. H. Schroeder, Amos Meeks, Shucong Li, Anna V. Shneidman, Michael Aizenberg, Joanna Aizenberg   +7 more
wiley   +1 more source

LEGAL ISSUES FACED BY SMART CONTRACTS FROM THE PERSPECTIVE OF CONVENTIONAL CONTRACTS

UUM Journal of Legal Studies
In the realm of law, technology is utilized to cope with the influx of smart contracts to replace traditional contracts that govern contractual dynamics.
Ghassan Adhab Atiyah, Nazura Abdul Manap, Ahmed Ismael Ibrahim   +2 more
doaj   +1 more source

PDFS: Practical Data Feed Service for Smart Contracts

, 2019
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, G Wood, GO Karame, MT Goodrich, RC Merkle, S Haber, V Costan   +6 more
core   +1 more source

SABPP: Privacy-Preserving Data Exchange in The Big Data Market Using The Smart Contract Approach [PDF]

, 2023
Suman Madan
openalex   +1 more source