Only a small part of the audits where I was involved was published. This is the current list of public audits:

Arbitrum (2020-2025)

• Reviewed all the major components:

  • Nitro/ArbOS (1, 2, 3, 4)

  • Stylus (1, 2)

  • BoLD (1, 2, 3)

  • Bridge (1, 2, 3, 4)

  • Timeboost (1)

  • Sequencer (1)

  • Security Council: (1)

  • Governance actions: (1, 2, 3, 4)

2025

• ZkVerify

2023

• Nested Finance
• Atlendis
• SmartDex
• Dappos

2022

• Frax
• GSquared

2021

• Liquity V1
• Opyn
• Yearn Vault V2

2020

• Balancer V1 core
• CurveDAO
• Dexter
• ETH2 deposit CLI
• Yield Protocol

2019

• 0x Protocol
• AAVE V1
• Computable
• Set Protocol
• TokenCard

2018

• Basis
• EIP-1283
• Golem