https://miscreants.github.io/blog.trailofbits.com/authors/tarun-bansal/Recent content in Tarun Bansal on The Trail of Bits BlogHugoen-usFri, 22 Mar 2024 09:00:28 -0400https://miscreants.github.io/blog.trailofbits.com/2024/03/22/why-fuzzing-over-formal-verification/Fri, 22 Mar 2024 09:00:28 -0400https://miscreants.github.io/blog.trailofbits.com/2024/03/22/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 […]