Dedaub announced that Neville Grech is building a live monitoring alert on stage for the DSS 2025 talk on security agents using a DedaubQL query that fires on every large Ethereum transfer written starting from a single transaction hash.

Dedaub secures smart contracts and onchain protocols through security audits, real-time monitoring, and threat intelligence. Founded in 2021 by program-analysis researchers Dr. Neville Grech and Prof. Yannis Smaragdakis, Dedaub combines deep manual review with proprietary static analysis technology that delivers most of the practical advantages of formal verification at a fraction of the effort. 300+ audits completed for protocols including the Ethereum Foundation, Chainlink, EigenLayer, Lido, LayerZero, Pendle, and GMX. Products: - Security Suite: contract analysis over 29M+ indexed contracts and 25B+ transactions - White Glove Monitoring: expert-written DedaubQL detection agents, protocol-specific and multi-chain - tok{In}: real-time malicious token detection API - Firewall: onchain transaction blocking - Decompiler API: bytecode decompilation with 99.98% EVM coverage Dedaub is a SEAL founding collaborator, ZKSync security council member, Chainlink BUILD partner, and security advisor to the Arbitrum DAO. Request an audit: https://dedaub.com/form/request-an-audit Docs: https://docs.dedaub.com | Research: https://dedaub.com/blog