Sign in

Kurt Barry

Guild icon

@kmbarry1

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

Name
Team
Timeline

portfolio

4

15 Mar 2023 - 31 Mar 2023

16 days

View

TWAMM

5

23 Jan 2023 - 08 Feb 2023

16 days

View

Art-Gobblers

+3

8

04 Jul 2022 - 15 Jul 2022

11 days

View

Security portfolio

Name
Description

Solo Audits

Published solo audits.

Read more

Available for hire

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

CompetitionsReviewsGuilds

© 2024 Cantina. All rights reserved.