Results 61 to 70 of about 360,545 (248)

Smart Contract Security: A Software Lifecycle Perspective

IEEE Access, 2019
Smart contract security is an emerging research area that deals with security issues arising from the execution of smart contracts in a blockchain system. Generally, a smart contract is a piece of executable code that automatically runs on the blockchain
Yongfeng Huang, Yiyang Bian, Renpu Li, J. Leon Zhao, Peizhong Shi   +4 more
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, Bartoletti Massimo, Bhargavan Karthikeyan, Brent Lexi, Böhme Marcel, Böhme Marcel, Cadar Cristian, Cadar Cristian, Cadar Cristian, Cha Sang Kil, Cha Sang Kil, Chen Peng, Chen Ting, Chipounov Vitaly, Choi Jaeseung, Feist Josselin, Fraser Gordon, Fu Zhoulai, Ganesh Vijay, Garg Pranav, Geldenhuys Jaco, Godefroid Patrice, Godefroid Patrice, Hajdu Ákos, Haller István, He Jingxuan, Inkumsah Kobi, Jiang Bo, Kalra Sukrit, Klees George, Krupp Johannes, Lakhotia Kiran, Lakhotia Kiran, Luu Loi, Mossberg Mark, Pacheco Carlos, Pham Van-Thuan, Raval Siraj, Rawat Sanjay, Rebert Alexandre, Sen Koushik, Siegmund Janet, Souza Matheus, Sparks Sherri, Stephens Nick, Swan Melanie, Tapscott Don, Thummalapenta Suresh, Tillmann Nikolai, Tonella Paolo, Tsankov Petar, Wang Yuepeng, Woo Maverick, Wood Gavin, Xie Tao, Zhang Sai   +55 more
core   +1 more source

Thermo‐Mechanically Recyclable Smart Textiles from Circularly Knitted Liquid Crystal Elastomer Fibers

Advanced Functional Materials, EarlyView.
Reprogrammable multi‐material smart textiles knitted from liquid crystal elastomer fibers undergo 2D and 3D deformation under thermal and photo stimuli. Circularly knitted tubular structures reversibly contract in radial and axial directions, enabling autonomous climbing, liquid release, and micro pumping.
Xue Wan, Tongxiang Deng, Linda Plaude, Bo Gao, Siyao Chen, Fabien Sorin, Kaspar M. B. Jansen, Kun Zhou, Albert P. H. J. Schenning   +8 more
wiley   +1 more source

Voltage‐Gated Dedoping of n‐Doped Poly(benzodifurandione) as an Interfacial Protective Mechanism in Electrochromic Devices

Advanced Functional Materials, EarlyView.
Electrochromic polymer stability under overpotential is improved by inserting an ultrathin, transparent n‐doped poly(benzodifurandione) interlayer between indium tin oxide and a poly(3,4‐propylenedioxythiophene)‐based electrochromic polymer. The interlayer supports rapid switching at operating bias, then becomes resistive near +0.8 V to suppress excess
Priyanka Rout, Palak Mehra, Won‐June Lee, Liyan You, Jianguo Mei   +4 more
wiley   +1 more source

Contract text markup language: A regularization method for extracting legal elements towards smart contracts

工程科学学报
The importance of smart contracts at the legal level is increasing. However, the contract is written in natural language, and the computers cannot process it directly.
Yuqing FAN, Di WANG, Hongjie LIN, E CHEN, Xiao HE, Yan ZHU   +5 more
doaj   +1 more source

Automated Generation of Test Cases for Smart Contract Security Analyzers

IEEE Access, 2020
We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper.
Ki Byung Kim, Jonghyup Lee
doaj   +1 more source

The Legality of Smart Contract in the Perspectives of Indonesian Law and Islamic Law

Al-Istinbath: Jurnal Hukum Islam, 2022
This study aims to determine the legal status of smart contracts from the perspective of Indonesian law and Islamic law through a comprehensive literature review.
Munawar Munawar
doaj   +1 more source

Speckle‐Engineered Upconversion Amplification in Nanoemulsion‐Templated Hydrogel Microdomes

Advanced Functional Materials, EarlyView.
Nanoemulsion‐confined PEGDA microdomes generate speckle‐like excitation fields that strongly amplify upconversion luminescence upon dehydration, enabling filter‐free visible readout with reversible on–off switching. DMD‐based lithography yields scalable, shape‐programmable arrays for moisture‐responsive displays and optical encryption.
Chaeyeong Ryu, Byungcheon Yoo, Seunghun Lee, Hyungyo Jeong, Sanggyun Jeong, Heesu Cho, Jongwon Oh, Dahye Baek, Jongkyu Kim, Yubin Lee, Eunsu Gu, Dong‐Hwan Kim, Jung‐Hoon Park, Jiseok Lee   +13 more
wiley   +1 more source

Auxeticity‐by‐Assembly: Interlocking Modular Auxetic Metamaterials with Selectively Activatable AgNW–Graphene Oxide‐EGaIn Composite Interconnects for Scalable Freeform Photovoltaic Modules

Advanced Functional Materials, EarlyView.
Auxeticity‑by‑Assembly converts freeform photovoltaics from cut‑defined layouts to assembly‑defined systems. Standardized interlocking units generate negative‑Poisson‑ratio, reconfigurable architectures, while hinge regions are wired by selectively activatable AgNW–GO@EGaIn composite interconnects and a folding‑enabled interconnector layer. A decimeter‑
Seok Joon Hwang, Jiwon Ryu, Dae‐Hee Cho, YoungHoi Cho, Yewon Hwang, Haram Lee, Dong Hoe Kim, Byeong‐Kwon Ju, Seok Chung, Deokjae Choi, Gee Yeong Kim, Heesuk Jung, Taehee Kim, Hyeonggeun Yu, Gabseok Seo, Phillip Lee   +15 more
wiley   +1 more source

Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems

Advanced Functional Materials, EarlyView.
MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley   +1 more source