Is your project safe from hackers?

Dedaub offers significant security expertise, combined with leading  program analysis technology to secure your blockchain projects. Our technology offers most of the practical advantages of formal verification, without many of its burdens, enabling more thorough security audits.

News

Mar 2021

R bounty

Proud to receive the generous, first-ever R bounty / Founders bounty "for disclosing a vulnerability worth over $1M".

Feb 2021

Primitive Finance Vulnerability

Reported a critical vulnerability to Primitive Finance, through Immunefi, saving users over $1.2m (and potentially even more than $10m). More stories about that soon...

Feb 2021

Killing a bad bot

A vulnerable bot was controlling some $80K. We killed it, saving the funds of its owner(s).

Feb 2021

DeFlast Vulnerability

Reported critical vulnerability to Dinngo/DeFlast team leading to their rescue of all threatened funds

Jan 2021

DeFi Saver Bounty

Reported critical vulnerability to DeFi Saver team which would have allowed hackers to steal over $3.5m. Vulnerability was originally flagged by one of our tools.

Oct 2019

Ethereum Foundation Bounty

Received 37 ETH from the Ethereum Foundation for our analysis of the gas impact of EIP-1884, documented in our Medium article and in the security considerations discussions summary.

Our Services

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.

Contract-Library.com

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.

Blockchain Development Consulting

Consulting services for smart contract development, with emphasis on evolution, recovery, and remediation support. Let us enhance your contract with forward-looking functionality.