Gary Thung5 talks by Gary ThungPanel: Source Code VerificationDeFi Security Summit 2023: Day 1, 15 JulySecurity Tools PanelThe Superpower of Code Search for Deployed ContractsSearching the World’s Computer with Ren Cryptofish and Gary Thung