Publications
After Binance, check what your signing systems can approve
Four steps to strengthen wallet security after Binance: restrict signing access, control delegation, limit losses, and detect changes in wallet authority.
Why fuzzing over formal verification?
We recently introduced our new offering, invariant development as a service. A recurring question that we are asked is, “Why fuzzing instead of formal verification?” And the answer is, “It’s complicated.” We use fuzzing for most of our audits but have used formal verification methods in the […]