Results 251 to 260 of about 1,358,296 (285)

ManuChain II: Blockchained Smart Contract System as the Digital Twin of Decentralized Autonomous Manufacturing Toward Resilience in Industry 5.0

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2023
In Industry 5.0 vision, machines are empowered with the interaction capability to autonomously make local decisions and coordinate with each other as well as humans. However, how to form a group consensus on the rapid self-organizing of the manufacturing
Jiewu Leng, Xiaofeng Zhu, Zhiqiang Huang, Kailin Xu, Zhihong Liu, Qiang Liu, Xin Chen   +6 more
semanticscholar   +1 more source

Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives

International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, 2023
This paper provides a systematic analysis of the opportunities, challenges, and potential solutions of harnessing Large Language Models (LLMs) such as GPT-4 to dig out vulnerabilities within smart contracts based on our ongoing research.
Sihao Hu, Tiansheng Huang, Fatih Ilhan, S. Tekin, Ling Liu   +4 more
semanticscholar   +1 more source

AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities

International Conference on Software Engineering, 2023
As most smart contracts have a financial nature and handle valuable assets, smart contract developers use access control to protect assets managed by smart contracts from being misused by malicious or unauthorized people.
Asem Ghaleb, Julia Rubin, K. Pattabiraman   +2 more
semanticscholar   +1 more source

Cross-Modality Mutual Learning for Enhancing Smart Contract Vulnerability Detection on Bytecode

The Web Conference, 2023
Over the past couple of years, smart contracts have been plagued by multifarious vulnerabilities, which have led to catastrophic financial losses. Their security issues, therefore, have drawn intense attention.
Peng Qian, Zhenguang Liu, Yifang Yin, Qinming He   +3 more
semanticscholar   +1 more source

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

International Conference on Automated Software Engineering, 2021
Unlike traditional software, smart contracts have the unique organization in which a sequence of transactions shares persistent states. Unfortunately, such a characteristic makes it difficult for existing fuzzers to find out critical transaction ...
Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, S. Cha   +5 more
semanticscholar   +1 more source

Smart Contract Code Repair Recommendation based on Reinforcement Learning and Multi-metric Optimization

ACM Transactions on Software Engineering and Methodology, 2023
A smart contract is a kind of code deployed on the blockchain that executes automatically once an event triggers a clause in the contract. Since smart contracts involve businesses such as asset transfer, they are more vulnerable to attacks, so it is ...
Hanyang Guo, Yingye Chen, Xiangping Chen, Yuan Huang, Zibin Zheng   +4 more
semanticscholar   +1 more source

Smart contracts and over-enforcement: Analytical considerations on Smart Contracts as Legal Contracts [PDF]

2020 1st International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET), 2020
Smart contracts are a common topic in scientific discussions held by computer scientists. Due to the dynamic nature of its applications, smart contracts must be considerably more adaptable, responsive and controllable. Yet the longstanding focus on security issues has affected negatively the development of smart contracts in the transfer of ownership ...
Abdelilah Maach, Abdelhakim Hafid, Mohamed Laarabi   +2 more
openaire   +1 more source

Blockchained smart contract pyramid-driven multi-agent autonomous process control for resilient individualised manufacturing towards Industry 5.0

International Journal of Production Research, 2022
The production control for the mass individualisation paradigm of R&D-stage products is challenging due to the mix-flow and frequently-disturbed environment.
Jiewu Leng, W. Sha, Zisheng Lin, Jianbo Jing, Qiang Liu, Xin Chen   +5 more
semanticscholar   +1 more source

Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications

International Conference on Software Engineering
Smart contracts are decentralized applications built atop blockchains like Ethereum. Recent research has shown that large language models (LLMs) have potential in auditing smart contracts, but the state-of-the-art indicates that even GPT-4 can achieve ...
Wei Ma, Daoyuan Wu, Yuqiang Sun, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu   +7 more
semanticscholar   +1 more source

On Identity, Transaction, and Smart Contract Privacy on Permissioned and Permissionless Blockchain: A Comprehensive Survey

ACM Computing Surveys
Blockchain is a decentralized distributed ledger that combines multiple technologies, including chain data structures, P2P networks, consensus algorithms, cryptography, and smart contracts.
Wei Liang, Yaqin Liu, Ce Yang, Songyou Xie, Kuan Ching Li, Willy Susilo   +5 more
semanticscholar   +1 more source