Tropyc: A pattern language for cryptographic software A Braga, C Rubira, R Dahab | 91 | 1999 |
Mercury toxicity in the Amazon: contrast sensitivity and color discrimination of subjects exposed to mercury AR Rodrigues, CRB Souza, AM Braga, PSS Rodrigues, AT Silveira, ... Brazilian journal of Medical and Biological research 40, 415-424, 2007 | 71 | 2007 |
Tropyc: A pattern language for cryptographic object-oriented software A Braga, C Rubira, R Dahab Chapter, 1998 | 30 | 1998 |
Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study A Braga, R Dahab, N Antunes, N Laranjeiro, M Vieira 2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017 | 29 | 2017 |
Mining cryptography misuse in online forums A Braga, R Dahab 2016 IEEE International Conference on Software Quality, Reliability and …, 2016 | 25 | 2016 |
Understanding how to use static analysis tools for detecting cryptography misuse in software A Braga, R Dahab, N Antunes, N Laranjeiro, M Vieira IEEE Transactions on Reliability 68 (4), 1384-1403, 2019 | 24 | 2019 |
Tecnologia Blockchain: uma visão geral JR Formigoni Filho, AM Braga, RLV Leal Harvard business review 6 (2), 1-4, 2017 | 20 | 2017 |
Portability evaluation of cryptographic libraries on android smartphones AM Braga, EN Nascimento Cyberspace Safety and Security: 4th International Symposium, CSS 2012 …, 2012 | 18 | 2012 |
Introdução à Criptografia para Programadores: Evitando Maus Usos da Criptografia em Sistemas de Software A Braga, R Dahab Caderno de minicursos do XV Simpósio Brasileiro em Segurança da Informação e …, 2015 | 16 | 2015 |
Segurança de Aplicações Blockchain Além das Criptomoedas A Braga, F Marino, R Santos Capítulo 3 do livro de minicursos do XVII Simpósio Brasileiro em Segurança …, 2017 | 15 | 2017 |
Introdução à segurança de dispositivos móveis modernos–um estudo de caso em android AM Braga, EN do Nascimento, LR da Palma, RP Rosa Sociedade Brasileira de Computação, 2012 | 15 | 2012 |
Adding secure deletion to an encrypted file system on Android smartphones A Braga, A Colito Proc. SECURWARE, 106-110, 2014 | 14 | 2014 |
A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software A Braga, R Dahab SBSeg 2015, 2015 | 13 | 2015 |
Using graph embeddings and machine learning to detect cryptography misuse in source code GEP Rodrigues, AM Braga, R Dahab 2020 19th IEEE International Conference on Machine Learning and Applications …, 2020 | 11 | 2020 |
Integrated technologies for communication security on mobile devices A Braga The Third International Conference on Mobile Services, Resources, and Users …, 2013 | 11 | 2013 |
The Use of Acceptance Test-Driven Development in the Construction of Cryptographic Software A Braga, D Schwab, A Vannucci The Ninth International Conference on Emerging Security Information, Systems …, 2015 | 10 | 2015 |
A Longitudinal and Retrospective Study on How Developers Misuse Cryptography in Online Communities A Braga, R Dahab XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas …, 2017 | 9 | 2017 |
Design issues in the construction of a cryptographically secure instant message service for android smartphones A Braga, D Schwab The Eighth International Conference on Emerging Security Information …, 2014 | 9 | 2014 |
Implementation issues in the construction of standard and non-standard cryptography on android devices AM Braga, E Morais The Eighth International Conference on Emerging Security Information …, 2014 | 8 | 2014 |
Tecnologia Blockchain: uma visão geral. 2017 JR Formigoni Filho, AM Braga, RLV Leal | 7 | 2017 |