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

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]

Authors

Alexandre Melo Braga

This author has not been identified. Look up 'Alexandre Melo Braga' in Google

Ricardo Dahab

This author has not been identified. Look up 'Ricardo Dahab' in Google

Nuno Antunes

This author has not been identified. Look up 'Nuno Antunes' in Google

Nuno Laranjeiro

This author has not been identified. Look up 'Nuno Laranjeiro' in Google

Marco Vieira

This author has not been identified. Look up 'Marco Vieira' in Google