Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study | IEEE Conference Publication | IEEE Xplore