Examples of in-depth security work that goes beyond source-code audits.
Creation of a risk scoring framework for selected real-world assets, plus assessment reports spanning smart contract security, operational security, and financial risk across five liquid stablecoins and gold-backed tokens.
An exploratory engagement to determine whether a backdoored Solidity compiler could be detected from deployed bytecode alone, using exhaustive entrycode mapping, branch-condition investigation, and legitimacy scoring.