98487 65593 153 15417 434 356013
221026 505079 4494
2013 26803 60 31864 63 134079 47974 134 23831

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

210744 658 550504 125 17309 512 475607 4910
<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

12807 593 760173 181 33113 116 602870 3780

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

148573 295 162635 136 9463 550 310744 3056
<div>W<em>atc</em>hÐ<em>og</em></div> Image

Service

81690 571 830094 116 29811 528 360985 3090

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

20307 145 719382 92 27910 642 345332 1774
<div><em>con</em>tr<em>act</em> Li<em>br</em>ary</div> Image

Service

203354 477 367209 82 16847 282 535737 2907

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