44489 30438 119 27883 361 630795
151480 806305 3941
36 51109 142 12046 50 152925 2478 66 24272

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
Ledger
Vesper
Perpetual Protocol
$500M

Of funds rescued in white-hat hacks

$3B

Assets directly managed by audited code

50+

Full-protocol Audits

Service

18947 594 279744 42 29066 219 549834 3882
<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

233900 153 425520 297 32150 594 458630 3955

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

11019 143 366119 284 12231 535 478076 2512
<div><em>De</em>daub W<em>atc</em>hÐ<em>og</em> Ser<em>vice</em></div> Image

Service

84715 138 170480 65 32940 171 518474 1373

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.

Book a Demo


Service

158241 600 478218 88 9635 153 365363 3090
<div><em>con</em>tr<em>act</em> Li<em>br</em>ary</div> Image

Service

142815 484 127110 165 31567 538 343859 4427

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.

Learn More


From Our Blog

Blog

05.12.2021

A Six-Year-Old Solc Mystery

In mid-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