نتائج البحث

Automatic Conversion of Smart Contracts for Non-Blocking Verification

• Authors : Parekh, Nishant, 1993; Ahrendt, Wolfgang, 1967; Fabian, Martin, 1960

Subjects: security; non-blocking; smart contracts

• Source: 17th IFAC Workshop on Discrete Event Systems, WODES 2024, Rio de Janeiro, Brazil IFAC-PapersOnLine. 58(1):282-287

تفاصيل العنوان

JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts

• Authors : Wang, Wansen; Zhang, Pu; Ji, Renjie

Subjects: Computer Science - Machine Learning; Computer Science - Cryptography and Security

تفاصيل العنوان

Connecting Large Language Models with Blockchain: Advancing the Evolution of Smart Contracts from Automation to Intelligence

• Authors : Xian, Youquan; Zeng, Xueying; Xuan, Duancheng

Subjects: Computer Science - Distributed, Parallel, and Cluster Computing; Computer Science - Artificial Intelligence

تفاصيل العنوان

Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis

• Authors : Tehrani, Masoud Jamshidiyan; Hashemi, Sattar

Subjects: Computer Science - Cryptography and Security; Computer Science - Software Engineering

تفاصيل العنوان

Definition and Detection of Centralization Defects in Smart Contracts

• Authors : Lin, Zewei; Chen, Jiachi; Wu, Jiajing

Subjects: Computer Science - Software Engineering

تفاصيل العنوان

SoliDiffy: AST Differencing for Solidity Smart Contracts

• Authors : Eshghie, Mojtaba; Åryd, Viktor; Artho, Cyrille

Subjects: Computer Science - Software Engineering; Computer Science - Programming Languages

تفاصيل العنوان

COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts

• Authors : Li, Wenkai; Li, Xiaoqi; Li, Zongwei

Subjects: Computer Science - Cryptography and Security

تفاصيل العنوان

Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms

• Authors : Oss, Tommaso; Budde, Carlos E.

Subjects: Computer Science - Cryptography and Security; Computer Science - Computational Engineering, Finance, and Science; Computer Science - Software Engineering

تفاصيل العنوان

Generating Move Smart Contracts based on Concepts

• Authors : Karanjai, Rabimba; Blackshear, Sam; Xu, Lei

Subjects: Computer Science - Software Engineering

تفاصيل العنوان

Scam Detection for Ethereum Smart Contracts: Leveraging Graph Representation Learning for Secure Blockchain

• Authors : Jin, Yihong; Yang, Ze

Subjects: Computer Science - Machine Learning; Computer Science - Artificial Intelligence; Computer Science - Cryptography and Security

تفاصيل العنوان