In an off-line conversation, Holger suggested I put up a pointer to the
undergraduate course in "Secure Programming" I offered this past spring
in the School of Computer Science at CMU:
https://www.securecoding.cert.org/confluence/display/sci/15392+Secure+Programming
This course probably overlap
In case anyone hasn't yet heard, the State of California ordered a review of
the electronic voting machines they use. Part of the review was a code
review and they just published thier results.
http://www.sos.ca.gov/elections/elections_vsr.htm
Ouch.
Sean T Murray
_