Braga, Alexandre, and Ricardo Dahab.
"A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software." <em>Anais do XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Florianópolis, 2015</em>. SBC, 2015,  
pp.30-43.