Filipe Casal
Principal security engineer at Trail of Bits. Casal builds open-source audit tooling, including the Amarna static analyzer for Cairo and the weAudit code-review extension for VS Code, and co-authored the 2021 disclosure of Shamir's Secret Sharing bugs in Binance's tss-lib that announced the ZKDocs reference for zero-knowledge proof systems.