How it worksCompetitionsReviewsGuildsBountiesBlog
Sign in

Kurt Barry

Guild icon

lsr

@kmbarry1

kmbarry1Kurt_M_Barry
Get a quote

Smart contract safety specialist.

Biography

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

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


The first marketplace for web3 security. We've aggregated the security talent and solutions so you don't have to.

Services

CompetitionsReviewsBountiesGuilds

© 2024 Cantina. All rights reserved.