People

Alexandre Melo Braga

Email

Export publications Citations

Export publications BibTeX

Journal Articles

2019

(1 publication)

Braga, A.M. and Dahab, R. and Nuno Antunes and Laranjeiro, N. and Marco Vieira , "Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software", IEEE Transactions on Reliability, 2019 [ DOI ]

Conference Articles

2017

(1 publication)

Braga, A.M. and Dahab, R. and Nuno Antunes and Laranjeiro, N. and Marco Vieira , "Practical Evaluation of Static Code Analysis Tools for Cryptography: Benchmarking Method and Case Study", in The IEEE 28th International Symposium on Software Reliability Engineering (ISSRE 2017), 2017 [ DOI ]