Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, Nuno Laranjeiro, Marco Vieira. Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study. In 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017. pages 170-181, IEEE Computer Society, 2017. [doi]
Abstract is missing.