Why does cryptographic software fail? A case study and open problems (2014) [pdf]people.csail.mit.edu2 pointsMrXOR7 years ago