Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques-Reference-Cited by-同舟云学术

Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques

Author:

Ami Amit Seal¹,Cooper Nathan¹,Kafle Kaushal¹,Moran Kevin²,Poshyvanyk Denys¹,Nadkarni Adwait¹

Affiliation:

1. William & Mary,Williamsburg,VA,USA

2. George Mason University,Fairfax,VA,USA

Publisher

IEEE

Link

Reference96 articles.

1. encryption-machine/asymencrpmachine.java at mrdrivingduck/encryption-machine,2019

2. pdf-service/md5util.java at elainrd/pdfservic,2019

3. codeql/Encryption.qll at github/codeql,2018

4. Enable multidex for apps with over 64K methods — android developers;developers,2020

5. jeesuite-libs/DES.java at vakinge/jeesuite-libs,2017

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. Runtime Verification of Crypto APIs: An Empirical Study;IEEE Transactions on Software Engineering;2023-10-01