Security audits for high-assurance digital infrastructure: smart contracts, cryptography, protocols, and key management. Clear findings, open to talk.