Leading decompilation and security analysis service

214446 25491 48 27502 606 652985
142850 475622 7392
652 40938 79 37506 47 79178 26649 107 28143

Is your project
safe from
hackers?

Dedaub offers significant security expertise combined with cutting-edge program analysis technology to secure your projects. Our technology offers most of the practical advantages of formal verification, at a fraction of the human effort, enabling thorough one-time or continual security audits.

Some of the world's leading protocols work with Dedaub.

Book An Audit

Our Clients


Chainlink
Immunefi
ethereum foundation
DeFi Saver
Nexus Mutual
Unslashed
Vesper
Furucombo
$3B

Directly Managed by Audited Code

50+

Full-protocol Audits

Service

16909 652 491266 113 19972 229 422480 5300
<div>S<em>MAR</em>T <em>CO</em>NTRA<em>CT</em> S<em>ECUR</em>ITY <em>AU</em>DIT<em>S</em></div> Image

Service

210733 432 722103 293 14860 653 156338 2061

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.

Book an Audit


Service

65158 252 205507 254 33096 395 358061 4846
<div><em>De</em>daub W<em>atc</em>hÐ<em>og</em> Ser<em>vice</em></div> Image

Service

161218 233 320218 30 20173 382 100986 1935

Dedaub Watcog Service

Combining automated static analysis warnings, realtime blockchain events and continuous audit support to preempt serious hacks weeks in advance. Our launch customers include Nexus Mutual.

Sign up


Service

235340 650 148725 91 5926 136 130604 2705
<div><em>con</em>tr<em>act</em> Li<em>br</em>ary</div> Image

Service

181931 619 175252 124 15668 550 222383 2780

contract Library

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.

Visit App


From Our Blog

Blog

23.11.2021

A Six-Year-Old Solc Riddle

In late October, we received a request to work on a project unlike any we've had before.

Continue Reading

Technology and research articles, and updates from Dedaub. Subscribe below to be the first to know about new content.

12.11.2021

Harvest Finance Vulnerability, $200K Bounty

We disclosed a critical vulnerability to Harvest Finance, through Immunefi. The vulnerability concerns a proxy pattern and was discovered via an interesting automated analysis.

Start Reading


28.10.2021

Symbolic Value-Flow Static Analysis of Ethereum Smart Contracts

A technical paper describing our most recent analysis technology, responsible for 7 major vulnerabilities detected in-the-wild.

Start Reading


10.08.2021

Verkle tree gas metering impact

We were commissioned by the Ethereum Foundation to study the impact of a new gas cost model, based on Verkle tree access costs.

Start Reading


Secure your
blockchain
projects