Results 121 to 130 of about 1,554,184 (382)
CybersecurityWhile Ethereum smart contracts provide users with transfer and transaction services, vulnerabilities in smart contracts are constantly damaging users’ property and user experience.
Chen Yang Lin, Hui Zhao, Jing Han Liu
doaj +1 more source
Testing Smart Contracts Gets Smarter [PDF]
arXiv, 2019 Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockchain, no change is possible on a deployed smart contract or a verified transaction.
arxiv
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts [PDF]
arXiv, 2020 This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and preserves the semantics, ow and resource usage of the original smart contract. This enables properties like gas consumption to be statically verified.
arxiv
iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation [PDF]
arXiv, 2021 Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this field. A promising solution to overcome this issue is to use Model-Driven Engineering (MDE), however, using models ...
arxiv
Advanced Materials, EarlyView.This article summarizes significant technological advancements in materials, photonic devices, and bio‐interfaced systems, which demonstrate successful applications for impacting human healthcare via improved therapies, advanced diagnostics, and on‐skin health monitoring.
Seunghyeb Ban +5 more
wiley +1 more source
AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts [PDF]
arXiv, 2022 In the past few years, several attacks against the vulnerabilities of EOSIO smart contracts have caused severe financial losses to this prevalent blockchain platform. As a lightweight test-generation approach, grey-box fuzzing can open up the possibility of improving the security of EOSIO smart contracts. However, developing a practical grey-box fuzzer
arxiv
Advanced Materials, EarlyView.This review explores the integration of responsive materials and soft robotic actuators with implantable electronics to address key challenges in bioelectronic medicine. By enabling shape actuation, these technologies improve deployment, adaptability, and accuracy in minimally invasive procedures.
Chaoqun Dong, George G. Malliaras
wiley +1 more source
CGGNet: Compiler-Guided Generation Network for Smart Contract Data Augmentation
IEEE AccessThe emergence of blockchain and smart contracts has revolutionized various industries by enabling automated code execution. However, the development of smart contracts, rooted in programming languages, inherits common challenges in traditional software ...
Seon-Jin Hwang +2 more
doaj +1 more source
Išmaniosios sutartys: teisinis reglamentavimas ir jo problematika
Vilnius University Open Series, 2020 This research paper deals with the Institute of Smart Contracts, reveals legal regulation and its problems. In the first part of the work, using the attributes: immutability, specific form and operation without third party mediation, and the basic ...
Emilija Bartkutė, Gabrielė Gumbytė
doaj +1 more source
Harvey: A Greybox Fuzzer for Smart Contracts
, 2019 We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation approach that effectively detects bugs and security vulnerabilities.
Amani Sidney +55 more
core +1 more source