Curated security research, vulnerabilities, advisories and tools for practitioners.

#theorem-proving

Security coverage tagged theorem-proving.

1.

Vulnerability Modeling with Binary Ninja

vulnerability | 2018-04-04 10:50 | blog.trailofbits.com | original ↗ | #vulnerability-research | #binary-analysis | #openssl