88 48059 196 26170 59 41771 66001 59 35518
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.
Of funds rescued in white-hat hacks
Assets directly managed by audited code
Full-protocol Audits
Contract-library service. Several studies and audits for the Ethereum Foundation.
contract-library.com
Numerous high-profile vulnerabilities in third-party projects discovered and disclosed.
Latest Disclosure
Long-term auditors of multiple top DeFi protocols, managing billions of dollars.
Sample 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.
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.
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.
We collect tech publicity (from us or others writing about our work) in our blog. Subscribe below to be the first to know about new content.
In mid-October, we received a request to work on a project unlike any we've had before.
Technology and research articles, and updates from Dedaub. Subscribe below to be the first to know about new content.
We disclosed a critical vulnerability to Harvest Finance, through Immunefi. The vulnerability concerns a proxy pattern and was discovered via an interesting automated analysis.
A technical paper describing our most recent analysis technology, responsible for 7 major vulnerabilities detected in-the-wild.
We were commissioned by the Ethereum Foundation to study the impact of a new gas cost model, based on Verkle tree access costs.
