Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study. - Braga, Alexandre Melo; Dahab, Ricardo; Antunes, Nuno; Laranjeiro, Nuno; Vieira, Marco (2017)