73777 56116 156 19329 607 616971
124593 721532 8209
72 62073 55 39863 12 233552 51692 134 19592

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
Yearn
Perpetual Protocol
$1B

Of funds rescued in white-hat hacks

$5B

Assets directly managed by audited code

100+

Full-protocol Audits

Service

202758 170 554120 161 11061 225 267141 1020
<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

99895 614 445014 35 20664 419 110232 3529

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

22363 581 311547 294 26845 341 476330 4394
<div>W<em>atc</em>hÐ<em>og</em></div> Image

Service

127338 608 845165 52 22580 530 71555 4986

Watcog

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

163107 388 824162 38 27303 300 590472 1774
<div><em>con</em>tr<em>act</em> Li<em>br</em>ary</div> Image

Service

68389 499 820901 205 10747 351 322274 1316

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

19.04.2022

Latent Bugs in Billion-Plus Dollar Code

Attack vectors (and their combinations) over xSushi-like staking, ERC777 tokens

Continue Reading

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

15.04.2022

Mass Disclosure of Griefing Vulnerabilities

Issuing warnings to 100 vulnerable accounts via Etherscan chat

Start Reading


02.04.2022

Rari Capital Vulnerability

Multi-hundred million attack prevented

Start Reading


21.03.2022

Elipmoc: Advanced Decompilation of Ethereum Smart Contracts

Technical paper on the algorithms and techniques employed in the most recent version of our EVM bytecode decompiler/lifter.

Start Reading


Secure your
blockchain
projects