Security Researcher
Verification Engineer @rv_inc. Prev PhD @NTUsg, @MakerDAO. Formal verification, smart contracts, DeFi.
High
Total
Medium
Total Earnings
#762 All Time
Payouts
Top 10
Top 25
Top 50
All
Code4rena
Jan '22
2,050.02 USDC • 3 total findings • Code4rena • palina
#11
high
Vaults with non-UST underlying asset vulnerable to flash loan attack on curve pool
medium
no use of safeMint() as safe guard for users
unsponsor, claimYield and withdraw might fail unexpectadly
Nov '21
3,488.78 USDC • 1 total finding • Code4rena • palina
#4
setReserve() can be front-run