Kurt Barry
Smart contract safety specialist.
@kmbarry1
lsr
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
Private reviews
View allEngagement | Project title | Timeframe | Researchers |
|---|---|---|---|
Sense | sense-v1 | Jan 2022 - Jan 2022 | +1 |
Paradigm | Art-Gobblers | Jul 2022 - Jul 2022 | +5 |
 Cron Finance | TWAMM | Jan 2023 - Feb 2023 | +2 |
Threshold | Threshold USD | May 2023 - Jun 2023 | |
 Primitive | DeFi Portfolio Protocol Audit for Primitive | Mar 2023 - Mar 2023 | +1 |
Security portfolio
Title | Description |
|---|---|
| Solo Audits | Published solo audits. |