CompetitionsBountiesReviewsGuildsFellowship
Sign in
Sign in

Kurt Barry

Guild icon

lsr

@kmbarry1
kmbarry1Kurt_M_Barry
Get a quote

Smart contract safety specialist.

Biography

Kurt spent four years with MakerDAO as a core protocol dev where he was focused on all aspects of safety and security, from formal verification to incident response. He started doing security reviews of Solidity-based smart contracts in early 2021 and became a full-time security researcher in May of 2023.

Kurt has broad experience with a variety of protocols, techniques, and bugs, and is particularly knowledgeable about:

  • stablecoins
  • DeFi
  • mathematical analysis
  • formal verification
  • best practices for safe smart contract development

Talks:

  • MakerDAO Smart Contract Safety at DeFi Security Summit 2022
  • Can Code Be Trusted? at DeFi Security 101 2023
  • Numerical Analysis for DeFi Audits: A TWAMM Case Study, a Spearbit seminar

Recent engagements

pendle-core-v2

15 May 2024 - 06 Jun 2024

+1

evm-contracts

30 Oct 2023 - 08 Nov 2023

ethena

16 Oct 2023 - 20 Oct 2023

Threshold USD

22 May 2023 - 09 Jun 2023

portfolio

15 Mar 2023 - 31 Mar 2023

+1

TWAMM

23 Jan 2023 - 08 Feb 2023

+2

Art-Gobblers

04 Jul 2022 - 15 Jul 2022

+5

sense-v1

05 Jan 2022 - 21 Jan 2021

+1

Security portfolio

Name
Description

Solo Audits

Published solo audits.

Read more

Worked with

Clients


Security Researchers


Services

CompetitionsReviewsBountiesGuildsFellowship

© 2024 Cantina. All rights reserved.