Dedaub provides end-to-end security solutions to the world's leading Web3 protocols. Our products embody the best security practices available, leveraging a powerful combination of cutting-edge program analysis, rigorous theorem proving, advanced AI and analytics, and human expertise.
Funds rescued in white-hat hacks
Assets managed by audited code
Full-protocol Audits
Our technology is complemented with high impact research by our team, showcased at top CS conferences & journals
Contract LibraryEvidenced by high profile 0-day vulnerabilities disclosed in unrelated 3rd party projects: e.g., Uniswap, Multichain, DeFi Saver, etc.
Recent DisclosureLong-term security providers of mainstream Web3 projects, which manage tens of billions of dollars in TVL.
Sample AuditsWe can help you deploy smart contracts with confidence. Set apart by top research, proprietary vulnerability analysis technology, and world-leading software security expertise.
The world's most advanced Web3 security platform - combining automated static analysis warnings, realtime blockchain events and continuous audit support to preempt serious hacks.
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.
We were commissioned by the Ethereum Foundation to perform an impact study of Ethereum Improvement Proposals (EIPs) 4758 and 6780 on existing contracts.