Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software

Alexandre Melo Braga, Ricardo Dahab, Nuno Antunes, Nuno Laranjeiro, Marco Vieira. Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software. IEEE Transactions on Reliability, 68(4):1384-1403, 2019. [doi]

@article{BragaDALV19,
  title = {Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software},
  author = {Alexandre Melo Braga and Ricardo Dahab and Nuno Antunes and Nuno Laranjeiro and Marco Vieira},
  year = {2019},
  doi = {10.1109/TR.2019.2937214},
  url = {https://doi.org/10.1109/TR.2019.2937214},
  researchr = {https://researchr.org/publication/BragaDALV19},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Reliability},
  volume = {68},
  number = {4},
  pages = {1384-1403},
}