BF Specifications of CVEs
Irena Bojanova, Inventor, Creator, PI & Lead, 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//