Can you pass the Rekt test?
Fuzzing on-chain contracts with Echidna
Evaluating blockchain security maturity
What we told the CFTC about blockchain threats
What should governments consider when getting involved with blockchain?
Codex (and GPT-4) can’t beat humans on smart contract audits
Circomspect has more passes!
Reusable properties for Ethereum contracts
Porting the Solana eBPF JIT compiler to ARM64
Working on blockchains as a Trail of Bits intern