Why does cryptographic software fail?: a case study and open problems
Cryptography Engineering: Design Principles and Practical Applications