Kurt Barry

Smart contract security researcher in the Spearbit guild on Cantina, focused on stablecoins, DeFi and formal verification. Barry spent four years as a core protocol developer at MakerDAO working on safety and security, from formal verification to incident response, and has reviewed Solidity code for protocols including Pendle Finance, Royco and Ethena since 2021.

9 talks by Kurt Barry