Publication

Reference

@inproceedings{Braga2017a,
  author = "A. Braga and R. Dahab and N. Antunes and N. Laranjeiro and M. Vieira",
  title = "Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study",
  year = 2017,
  journal = "2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)",
  publisher = "IEEE",
  pages = "170-181",
  month = "Oct"
}