From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++. Rahaman, S., Cai, H., Chowdhury, O., & Yao, D. IEEE Transactions on Dependable and Secure Computing (TDSC), 2019. (impact factor 6.4; in press)
From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++ [pdf]Pdf  bibtex   

Downloads: 0