Maximal Extractable Value (MEV) represents a pivotal challenge within the Ethereum
ecosystem; it impacts the fairness, security, and efficiency of both Layer 1 (L1) and Layer 2 …

Blockchains add transactions to a distributed shared ledger by arriving at consensus on sets
of transactions contained in blocks. This provides a total ordering on a set of global …

Smart contracts are susceptible to front-running attacks, in which malicious users leverage
prior knowledge of upcoming transactions to execute attack transactions in advance and …

Abstract Price Oracle Manipulation Attacks (POMAs) are increasingly occurring in
blockchain systems, and result in significant financial loss. Prior work on detecting POMAs …

Bugs in smart contracts may have devastating effects as they tend to cause financial loss.
According to a recent study, accounting bugs are the most common kind of bugs in smart …

The blockchain has been the main computing scenario for smart contracts, and the
decentralized infrastructure of the blockchain is effectively implemented in a de-trusted and …

Current blockchains do not provide any security guarantees to the smart contracts and their
users as far as the content of the transactions is concerned. In the spirit of decentralization …

This thesis undertakes a rigorous and systematic analysis of security vulnerabilities in smart
contracts within blockchain technology. Smart contracts are autonomous blockchain platform …

Ethereum 2.0 (ETH2) marks a significant evolution from Ethereum 1.0 (ETHl), playing a
central role in the Web3. 0 infrastructure. At its core, the consensus protocol Gasper greatly …

Context: The importance of blockchain knowledge is becoming more apparent as the
technology continues to grow and expand. With the increasing interest in web3-related …