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.
"Inside the War Room That Saved Primitive Finance": the followup operation of our vulnerability disclosure.
Killing a bad bot
A vulnerable bot was controlling some $80K. We killed it, saving the funds of its owner(s).
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.
We can help you deploy smart contracts with confidence.
Set apart by top research, proprietary vulnerability analysis technology, and world-leading software security expertise.
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.