Is your project safe from hackers?

Dedaub offers significant security expertise, combined with leading  program analysis technology to secure your blockchain projects. Our technology offers most of the practical advantages of formal verification, without many of its burdens, enabling more thorough security audits.



Jan 2021

DeFi Saver Bounty

Reported critical vulnerability to DeFi Saver team which would have allowed hackers to steal over $3.5m. Vulnerability was originally flagged by one of our tools.

Jul 2020

Major update of EVM decompiler, showcased at

Decompiler v.2

Dec 2019

Increasing our focus on technology- and infrastructure-building.

Technology Focus

Oct 2019

Ethereum Foundation Bounty

Received 37 ETH from the Ethereum Foundation for our analysis of the gas impact of EIP-1884, documented in our Medium article and in the security considerations discussions summary.


Our Services


Smart Contract Security Audits

We can help you deploy smart contracts with confidence.
Set apart by top research, proprietary vulnerability analysis technology, and world-leading software security expertise.

Contract Library is our ongoing free service and technology demo: the most thorough decompiler for contracts on the Ethereum blockchain, coupled with automated scans for common vulnerabilities.


Blockchain Development Consulting

Consulting services for smart contract development, with emphasis on evolution, recovery, and remediation support. Let us enhance your contract with forward-looking functionality.


©2021 by Dedaub.