Research
EIP-3074 Impact Study
Pectra’s EIP-3074, and its Impact on Deployed Smart Contracts Introduction Ethereum’s en ...
3 May 2024
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
The Ethereum Foundation commissioned our team to examine the potential impact of Ethereum Improvemen ...
6 July 2023
EIP-4758 and EIP-6780 | Removal of Selfdestruct
Dedaub was commissioned by the Ethereum Foundation to perform an impact study of Ethereum Improvemen ...
30 May 2023
Elipmoc: Advanced Decompilation of Ethereum SmartContracts
NEVILLE GRECH, University of Malta, Malta and Dedaub LtdSIFIS LAGOUVARDOS, University of Athens, Gre ...
1 April 2022
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
YANNIS SMARAGDAKIS, University of Athens, GreeceNEVILLE GRECH, University of Malta, MaltaSIFIS LAGOU ...
1 October 2021
Precise Static Modeling of Ethereum “Memory”
SIFIS LAGOUVARDOS, University of Athens, GreeceNEVILLE GRECH, University of Athens, GreeceILIAS TSAT ...
4 November 2020
MadMax: Analyzing the Out-of-Gas World of Smart Contracts
AbstractEthereum is a distributed blockchain platform, serving as an ecosystem for smart contracts: ...
4 October 2020
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Lexi Brent∗Int’l Computer Science Institute Berkeley, CA, USAlexi@icsi.berkeley.edu Neville GrechUni ...
15 June 2020
