212915 43802 177 22015 760 621201
179457 469958 5515
88 48059 196 26170 59 41771 66001 59 35518

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

244345 531 276126 55 24231 253 494338 3976
<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

238866 181 599097 280 25300 106 552037 2858

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

155937 443 671280 84 30999 434 474608 1027
<div><em>De</em>daub W<em>atc</em>hÐ<em>og</em> Ser<em>vice</em></div> Image

Service

205708 391 655672 127 31976 680 390752 1115

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

155808 563 829118 135 31059 635 465001 3286
<div><em>con</em>tr<em>act</em> Li<em>br</em>ary</div> Image

Service

11101 423 362901 22 19063 517 541464 1362

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