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 | |
---|---|---|---|
e evm-contracts | KB R 2 | 30 Oct 2023 - 08 Nov 20239 days | View |
e ethena | KB 0 2 | 16 Oct 2023 - 20 Oct 20235 days | View |
TU Threshold USD | KB AE l 3 | 22 May 2023 - 09 Jun 202319 days | View |
p portfolio | m KB s CM 4 | 15 Mar 2023 - 31 Mar 202316 days | View |
T TWAMM | n m KB CB CP 5 | 23 Jan 2023 - 08 Feb 202316 days | View |
A Art-Gobblers | +3 S PD HB H DB 8 | 04 Jul 2022 - 15 Jul 202211 days | View |
s sense-v1 | KB GP DM m 4 | 05 Jan 2022 - 21 Jan 20211 year | View |
Security portfolio
Name | Description | |
---|---|---|
Solo Audits | Published solo audits. | Read more |