72 62073 55 39863 12 233552 51692 134 19592
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.
Attack vectors (and their combinations) over xSushi-like staking, ERC777 tokens
Technology and research articles, and updates from Dedaub. Subscribe below to be the first to know about new content.
Issuing warnings to 100 vulnerable accounts via Etherscan chat
Multi-hundred million attack prevented
Technical paper on the algorithms and techniques employed in the most recent version of our EVM bytecode decompiler/lifter.
