Follow
Alexandre Braga, PhD
Title
Cited by
Cited by
Year
Tropyc: A pattern language for cryptographic software
A Braga, C Rubira, R Dahab
911999
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
722007
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
312017
Tropyc: A pattern language for cryptographic object-oriented software
A Braga, C Rubira, R Dahab
Chapter, 1998
301998
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
262019
Mining cryptography misuse in online forums
A Braga, R Dahab
2016 IEEE International Conference on Software Quality, Reliability and …, 2016
262016
Tecnologia Blockchain: uma visão geral
JR Formigoni Filho, AM Braga, RLV Leal
Harvard business review 6 (2), 1-4, 2017
232017
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
192017
Portability evaluation of cryptographic libraries on android smartphones
AM Braga, EN Nascimento
Cyberspace Safety and Security: 4th International Symposium, CSS 2012 …, 2012
182012
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
162015
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
152012
A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software
A Braga, R Dahab
SBSeg 2015, 2015
142015
Adding secure deletion to an encrypted file system on Android smartphones
A Braga, A Colito
Proc. SECURWARE, 106-110, 2014
142014
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
132020
Integrated technologies for communication security on mobile devices
A Braga
The Third International Conference on Mobile Services, Resources, and Users …, 2013
112013
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
102017
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
102015
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
92014
Tecnologia Blockchain: uma visão geral. 2017
JR Formigoni Filho, AM Braga, RLV Leal
82017
Tecnologia Blockchain: Fundamentos, Tecnologias de Segurança e Desenvolvimento de Software
AM Braga
https://www.cpqd.com.br/wp-content/uploads/2017/09 …, 2017
82017
The system can't perform the operation now. Try again later.
Articles 1–20