With a background in security, cryptography, and protocol correctness I’m now working (with muse.dev) to make static analysis more mainstream and accessible.
With a background in security, cryptography, and protocol correctness I’m now working (with muse.dev) to make static analysis more mainstream and accessible.