David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich. Why does cryptographic software fail?: a case study and open problems. In Asia-Pacific Workshop on Systems, APSys'14, Beijing, China, June 25-26, 2014. pages 7, ACM, 2014. [doi]
Abstract is missing.