Research

CLEAR
All Posts
News
Research
Tech Deep Dive
Transient Storage in the wild: An impact study on EIP-1153

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
Research

EIP-3074 Impact Study

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

3 May 2024
Ethereum improvement proposal 4788 | EIP-4877 Summary
Research

Ethereum improvement proposal 4788 | EIP-4877 Summary

Dedaub was commissioned by the Ethereum Foundation to perform a security audit of the bytecode of a …

7 October 2023
Ethereum Study – Rlp to Ssz Mpt Commitment Migration
Research

Ethereum Study – Rlp to Ssz Mpt Commitment Migration

The Ethereum Foundation commissioned our team to examine the potential impact of Ethereum …

6 July 2023
EIP-4758 and EIP-6780 | Removal of Selfdestruct
Research

EIP-4758 and EIP-6780 | Removal of Selfdestruct

Dedaub was commissioned by the Ethereum Foundation to perform an impact study of Ethereum …

30 May 2023
Elipmoc: Advanced Decompilation of Ethereum SmartContracts
Research

Elipmoc: Advanced Decompilation of Ethereum SmartContracts

NEVILLE GRECH, University of Malta, Malta and Dedaub Ltd SIFIS LAGOUVARDOS, University of Athens, …

1 April 2022
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Research

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 …

1 October 2021
Precise Static Modeling of Ethereum “Memory”
Research

Precise Static Modeling of Ethereum “Memory”

SIFIS LAGOUVARDOS, University of Athens, Greece NEVILLE GRECH, University of Athens, Greece ILIAS …

4 November 2020
MadMax: Analyzing the Out-of-Gas World of Smart Contracts
Research

MadMax: Analyzing the Out-of-Gas World of Smart Contracts

Abstract Ethereum is a distributed blockchain platform, serving as an ecosystem for smart …

4 October 2020
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Research

Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities

Lexi Brent∗ Int’l Computer Science Institute Berkeley, CA, USA [email protected] Neville Grech …

15 June 2020