@conference{853401, author = {Irena Bojanova and Paul Black and Yaacov Yesha}, title = {Cryptography Classes in Bugs Framework (BF): Encryption Bugs (ENC), Verification Bugs (VRF), and Key Management Bugs (KMN)}, year = {2017}, month = {2017-12-25 05:12:00}, publisher = {2017 IEEE 28th Annual Software Technology Conference (STC), Gaithersburg, MD, US}, url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=923663}, doi = {https://doi.org/10.1109/STC.2017.8234453}, language = {en}, }