Our co-founder Neville Grech is on stage at #DSS2026 in Mumbai 𐙚⋆°。⋆♡, 1-2 Nov.
Symbolic Execution of Math-Heavy Code in the Age of AI. See you there.
Neville Grech · DSS 2026
“Symbolic Execution of Math-Heavy Code in the Age of AI”
Explore the talk and save it:
defisecuritysummit.org/2026/…
Tickets: luma.com/9qtxqqxx
2
8
591
Yannis Smaragdakis (@ysmaragdakis) is back at @summit_defi 2026 with some of our latest research.
“Fund-Flow Modeling by Solving Large Linear Algebra Systems”
Replying to @YSmaragdakis
@ysmaragdakis · DSS 2026
“Fund-Flow Modeling by Solving Large Linear Algebra Systems”
Explore the talk and add it to your agenda:
defisecuritysummit.org/2026/…
Tickets: luma.com/9qtxqqxx
6
436
Thanks, @EFDevcon. Dedaub officially supports Devcon 8.
Securing Ethereum takes the whole ecosystem, and Devcon brings it together. See you in Mumbai 𐙚⋆°。⋆♡, November 3-6.
🔐 @dedaub is joining us at Devcon 8 as an official supporter!
From smart contract audits to onchain monitoring & security tools, Dedaub helps devs identify vulnerabilities & build more securely on Ethereum.
Stop by their booth in Mumbai to explore their tools & meet the team!
4
4
422
Yannis Smaragdakis (@ysmaragdakis) will be speaking at @summit_defi 2026.
“Bytecode Back to Source: AI Reconstruction of Unverified Contracts”
See you in Mumbai, November 1-2.
Replying to @YSmaragdakis
@ysmaragdakis · DSS 2026
“Bytecode Back to Source: AI Reconstruction of Unverified Contracts”
Explore the talk and add it to your agenda:
defisecuritysummit.org/2026/…
Tickets: luma.com/9qtxqqxx
1
5
398
We’re excited to see George Loukovitis (@loukovitis) representing Dedaub at @summit_defi 2026.
“Detecting Unsafe ERC-20 Behavior: Deterministic Analysis and LLMs”
Sharing insights on token security with the wider DeFi community.
Join us in Mumbai, November 1–2.
New on the DSS 2026 agenda: @loukovitis
“Detecting Unsafe ERC-20 Behavior: Deterministic Analysis and LLMs”
Explore the talk and add it to My agenda:
defisecuritysummit.org/2026/…
Tickets: luma.com/9qtxqqxx
Proud to see our own Mohamad Mansouri representing Dedaub at @summit_defi 2026.
“Can AI Audit Your Smart Contract? We Tested It on Real Audits.”
Bringing research and practical experience to the conversation on AI in security.
See you in Mumbai, November 1–2.
Mohamad Mansouri is speaking at DSS 2026
“Can AI Audit Your Smart Contract? We Tested It on Real Audits.”
Explore the session and save it to My agenda:
defisecuritysummit.org/2026/…
Tickets: luma.com/9qtxqqxx
1
9
600
Thanks @thedaofund and everyone who contributed to the QF round, and for making us the first spotlight. Public-goods funding for security pays off every time a hack doesn’t happen.
TheDAO’s first Ethereum Security QF Round funded 134 projects.
Over the last few months, we’ve been checking in with grantees to see what happened next, how the funding was used, what changed, and what they’re building now.
Today, we’re sharing the first spotlight: @dedaub.
👇
paragraph.com/@thedao.fund/g…
2
464
Dedaub assesses operational security across the six SEAL framework domains, from multisig and treasury ops to DNS, infrastructure, and account security.
Dedaub conducts the assessment; @_SEAL_Org issues the certification as an onchain attestation.
dedaub.com/operational-secur…
An audit secures the code. Who holds the signing keys, whether the pipeline can be poisoned, and who answers the 3 a.m. alert: usually outside its scope.
Why Web3 security needs operational controls, and how @_SEAL_Org certification closes the gap: dedaub.com/blog/seal-certifi…
Dedaub retweeted
Welcome Markella Gioka to the DSS 2026 Technical Committee.
Thank you for helping shape this year's technical program.
DSS 2026 | Mumbai, India
At Dedaub, we used AI to classify 135 @RektHQ incidents (Jan 2024 to Aug 2026, USD 4.9B reported) by root cause. Stolen keys, phishing, malware and privileged access: 32.6% of incidents, 66.9% of the losses. A third of the cases, two-thirds of the money. go.dedaub.com/opsec-research
In Dedaub Monitoring a bot is a query: write it in a SQL variant, it watches onchain activity and alerts you on Slack, Telegram or email — incrementally, only on what changed.
47 s from the live demo youtube.com/shorts/Ln6Ntb6-Z…
Before you trade a token, simulate it: find a real holder with Security Suite, simulate a transfer in Foundry, check the balances actually match.
George Loukovitis, DSS #04 Buenos Aires youtube.com/shorts/p55tn33xf…
503
tok{In} weekly report
tok{In} analyzed 318,748 tokens in the week of September 7 - September 13, up from 189,082 in the week of August 31 - September 6. BNB Chain 247,727 tokens, up from 126,992; Base 32,583, up from 22,282; Ethereum 3,422, up from 2,949; Robinhood Chain 35,016, down from 36,859.
Tax mechanisms are concentrated on BNB Chain. 228,589 of BNB Chain's 247,727 tokens (92.3%) have a tax mechanism. On Ethereum it is 1,270 of 3,422 tokens (37.1%), on Base 9,507 of 32,583 (29.2%), and on Robinhood Chain 6,848 of 35,016 (19.6%).
Listing still is not liquidity. Across all chains, 135,943 of the 318,748 tokens analyzed (42.6%) are listed on a DEX, while 7,179 (2.3%) have liquidity. On BNB Chain 100,400 of its 247,727 tokens (40.5%) are listed and 838 (0.3%) have liquidity; on Base 15,619 of 32,583 (47.9%) are listed and 4,164 (12.8%) have liquidity; on Ethereum 1,575 of 3,422 (46%) are listed and 323 (9.4%) have liquidity; on Robinhood Chain 18,349 of 35,016 (52.4%) are listed and 1,854 (5.3%) have liquidity.
tokin.dedaub.com/reports/wee… 📊🔗📈🔍
1
1
619
Decompile deployed bytecode, run the analyses on top, 24/7 on many machines. Over the years that found a CVE in Uniswap, two Solidity compiler bugs and a bridge flaw — all reported and fixed at the time.
Neville Grech, Web3 Summit 2025 youtube.com/shorts/bu6Emk9sy…


















