246855 30779 166 19148 764 415576
260419 853996 5970
917 65967 185 37137 24 232241 22473 34 35834

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

188700 620 283732 198 26147 259 200579 5131
<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

182766 132 376487 188 20471 541 74380 1579

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

70380 526 436443 160 5560 435 496467 1382
<div><em>De</em>daub W<em>atc</em>hÐ<em>og</em> Ser<em>vice</em></div> Image

Service

156526 654 167694 268 12523 427 337714 2572

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

133941 549 472318 104 13663 406 513175 2031
<div><em>con</em>tr<em>act</em> Li<em>br</em>ary</div> Image

Service

182317 356 411230 21 28047 207 339416 1127

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