After Heartbleed: A Look at Languages that Support Provability

The open-source SPARK 2014 language can prove that code correctly matches specs. This capability closes off vulnerabilities and illuminates logic errors in code.


June 03, 2014
URL:http://www.drdobbs.com/security/the-twofish-encryption-algorithm/security/after-heartbleed-a-look-at-languages-tha/240168236

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.