Research

Transient Storage in the wild: An impact study on EIP-1153
With the recent introduction of transient storage in Ethereum, the landscape of state management within the Ethereum Virtual Machine (EVM) has evolved …
22 October 2024
START READING
Transient Storage in the wild: An impact study on EIP-1153
With the recent introduction of transient storage in Ethereum, the landscape of state management within the Ethereum Virtual Machine (EVM) has evolved …
22 October 2024
START READING
EIP-3074 Impact Study
Pectra’s EIP-3074, and its Impact on Deployed Smart Contracts Introduction Ethereum’s end-user experience (UX) is about …

Ethereum improvement proposal 4788 | EIP-4877 Summary
Dedaub was commissioned by the Ethereum Foundation to perform a security audit of the bytecode of a smart contract that …

Ethereum Study – Rlp to Ssz Mpt Commitment Migration
The Ethereum Foundation commissioned our team to examine the potential impact of Ethereum Improvement Proposals (EIPs) …

EIP-4758 and EIP-6780 | Removal of Selfdestruct
Dedaub was commissioned by the Ethereum Foundation to perform an impact study of Ethereum Improvement Proposals (EIPs) …

Elipmoc: Advanced Decompilation of Ethereum SmartContracts
NEVILLE GRECH, University of Malta, Malta and Dedaub Ltd SIFIS LAGOUVARDOS, University of Athens, Greece and Dedaub Ltd …

Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
YANNIS SMARAGDAKIS, University of Athens, Greece NEVILLE GRECH, University of Malta, Malta SIFIS LAGOUVARDOS, …

Precise Static Modeling of Ethereum “Memory”
SIFIS LAGOUVARDOS, University of Athens, Greece NEVILLE GRECH, University of Athens, Greece ILIAS TSATIRIS, University …

MadMax: Analyzing the Out-of-Gas World of Smart Contracts
Abstract Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts: full-fledged …

Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Lexi Brent∗ Int’l Computer Science Institute Berkeley, CA, USA [email protected] Neville Grech University of …

EIP-3074 Impact Study
Pectra’s EIP-3074, and its Impact on Deployed Smart Contracts Introduction Ethereum’s end-user …

Ethereum improvement proposal 4788 | EIP-4877 Summary
Dedaub was commissioned by the Ethereum Foundation to perform a security audit of the bytecode of a …

Ethereum Study – Rlp to Ssz Mpt Commitment Migration
The Ethereum Foundation commissioned our team to examine the potential impact of Ethereum …

EIP-4758 and EIP-6780 | Removal of Selfdestruct
Dedaub was commissioned by the Ethereum Foundation to perform an impact study of Ethereum …

Elipmoc: Advanced Decompilation of Ethereum SmartContracts
NEVILLE GRECH, University of Malta, Malta and Dedaub Ltd SIFIS LAGOUVARDOS, University of Athens, …

Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
YANNIS SMARAGDAKIS, University of Athens, Greece NEVILLE GRECH, University of Malta, Malta SIFIS …

Precise Static Modeling of Ethereum “Memory”
SIFIS LAGOUVARDOS, University of Athens, Greece NEVILLE GRECH, University of Athens, Greece ILIAS …

MadMax: Analyzing the Out-of-Gas World of Smart Contracts
Abstract Ethereum is a distributed blockchain platform, serving as an ecosystem for smart …

Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Lexi Brent∗ Int’l Computer Science Institute Berkeley, CA, USA [email protected] Neville Grech …