Ada Reference Manual - Safety and Security
Requirements for systems that are safety critical or have security constraints.
Hacking in the clean and good sense
Ada Lovelace was really hacking into government files.
Packetstormsecurityorg
Secure programming packages
Serpent
Ross Anderson, Eli Biham, and Lars Knudsen have designed the Serpent algorithm as a contribution to the AES contest. Paper, Ada95 implementation.