Publication

Reference

@inproceedings{Braga2015a,
  author = "A. Braga and R. Dahab",
  title = "A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software",
  year = 2015,
  journal = "SBSeg 2015",
  month = "Nov"
}