Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study.

Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, Nuno Laranjeiro, Marco Vieira

Browse the full ISSRE paper archive.