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 …
Security threat mitigation for smart contracts: A comprehensive survey
The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …
recording state transitions of smart contracts—decentralized applications that can be …
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 …
Transaction-based classification and detection approach for Ethereum smart contract
Blockchain technology brings innovation to various industries. Ethereum is currently the
second blockchain platform by market capitalization, it's also the largest smart contract …
second blockchain platform by market capitalization, it's also the largest smart contract …
Xblock-eth: Extracting and exploring blockchain data from ethereum
Blockchain-based cryptocurrencies have received extensive attention recently. Massive data
has been stored on permission-less blockchains. The analysis of massive blockchain data …
has been stored on permission-less blockchains. The analysis of massive blockchain data …
DefectChecker: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode
Smart contracts are Turing-complete programs running on the blockchain. They are
immutable and cannot be modified, even when bugs are detected. Therefore, ensuring …
immutable and cannot be modified, even when bugs are detected. Therefore, ensuring …
[PDF][PDF] SODA: A Generic Online Detection Framework for Smart Contracts.
Smart contracts have become lucrative and profitable targets for attackers because they can
hold a great amount of money. Unfortunately, existing offline approaches for discovering the …
hold a great amount of money. Unfortunately, existing offline approaches for discovering the …
Knowledge discovery in cryptocurrency transactions: A survey
Cryptocurrencies gain trust in users by publicly disclosing the full creation and transaction
history. In return, the transaction history faithfully records the whole spectrum of …
history. In return, the transaction history faithfully records the whole spectrum of …
Demystifying defi mev activities in flashbots bundle
Decentralized Finance, mushrooming in permissionless blockchains, has attracted a recent
surge in popularity. Due to the transparency of permissionless blockchains, opportunistic …
surge in popularity. Due to the transparency of permissionless blockchains, opportunistic …
Crypto tokens and token systems
J Schwiderowski, AB Pedersen, R Beck - Information Systems Frontiers, 2024 - Springer
Cyptographic tokens are one of the cornerstones of the new blockchain world but the
knowledge about these digital objects is still limited. In this research, we argue that crypto …
knowledge about these digital objects is still limited. In this research, we argue that crypto …