More Information
The following links are to additional information that is useful to students in CSC 495/693 (Software Foundations)
First Class – Rapid-fire Tour of Concepts
The problem – software is unreliable – all in one year:
- Security-critical bug in Apple core crypto (Feb 2014)
- Security-critical bug in Linux GnuTLS crypto (Mar 2014)
- Security-critical bug in Server-side OpenSSL crypto (April 2014)
- Security-critical bug in GnuTLS crypto - again (June 2014)
- Security-critical bug in Microsoft crypt (Nov 2014)
The big picture: Certified Software (access from UNCG computers or with an ACM account)
Directly related to this class:
- Verfied Software Toolchain
- Verified Correctness and Security of OpenSSL HMAC
- A little "Software Foundations" fanboyism: Coq Programming with Subsets