• Harrison Green Harrison Green

Posts

Solana formal verification: a case study

We present a novel framework for formal verification of Solana Anchor programs — and a case study application to the Squads multisig. Harrison Green

Reverse engineering Solana with Binary Ninja

An introduction to our open-source Binary Ninja plugin for blackbox Solana program analysis along with an executive reference to the Solana runtime. Harrison Green