BF Specifications of CVEs
Irena Bojanova, PI & Lead, NIST Bugs Framework (BF), 2014 – ~~~~ #

The following is a growing repository of unambiguous formal BF specifications of software security vulnerabilities from the Common Vulnerabilities and Exposures (CVE): xxx //to be added//