Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Fuzzing: a survey for roadmap
Fuzz testing (fuzzing) has witnessed its prosperity in detecting security flaws recently. It
generates a large number of test cases and monitors the executions for defects. Fuzzing has …
generates a large number of test cases and monitors the executions for defects. Fuzzing has …
A survey of smart contract formal specification and verification
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …
blockchain platform. Given the significance of smart contracts in supporting important …
Blockchain large language models
This paper presents a dynamic, real-time approach to detecting anomalous blockchain
transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain …
transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain …
Sok: Decentralized finance (defi) attacks
Within just four years, the blockchain-based Decentralized Finance (DeFi) ecosystem has
accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in …
accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in …
Rethinking smart contract fuzzing: Fuzzing with invocation ordering and important branch revisiting
Blockchain smart contracts have given rise to a variety of interesting and compelling
applications and emerged as a revolutionary force for the Internet. Smart contracts from …
applications and emerged as a revolutionary force for the Internet. Smart contracts from …
Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses
Unlike traditional software, smart contracts have the unique organization in which a
sequence of transactions shares persistent states. Unfortunately, such a characteristic …
sequence of transactions shares persistent states. Unfortunately, such a characteristic …
[PDF][PDF] Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning.
Ethereum smart contracts are automated decentralized applications on the blockchain that
describe the terms of the agreement between buyers and sellers, reducing the need for …
describe the terms of the agreement between buyers and sellers, reducing the need for …
Demystifying exploitable bugs in smart contracts
Exploitable bugs in smart contracts have caused significant monetary loss. Despite the
substantial advances in smart contract bug finding, exploitable bugs and real-world attacks …
substantial advances in smart contract bug finding, exploitable bugs and real-world attacks …
On the just-in-time discovery of profit-generating transactions in defi protocols
Decentralized Finance (DeFi) is a blockchain-asset-enabled finance ecosystem with millions
of daily USD transaction volume, billions of locked up USD, as well as a plethora of newly …
of daily USD transaction volume, billions of locked up USD, as well as a plethora of newly …
Detection of vulnerabilities of blockchain smart contracts
With the wide application of Internet of Things and blockchain, research on smart contracts
has received increased attention, and security threat detection for smart contracts is one of …
has received increased attention, and security threat detection for smart contracts is one of …