Seguir
Alexandre Braga, PhD
Título
Citado por
Citado por
Ano
Tropyc: A pattern language for cryptographic software
A Braga, C Rubira, R Dahab
921999
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
Tropyc: A pattern language for cryptographic object-oriented software
A Braga, C Rubira, R Dahab
Chapter, 1998
311998
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
292017
Mining cryptography misuse in online forums
A Braga, R Dahab
2016 IEEE International Conference on Software Quality, Reliability and …, 2016
252016
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
242019
Portability evaluation of cryptographic libraries on android smartphones
AM Braga, EN Nascimento
Cyberspace Safety and Security: 4th International Symposium, CSS 2012 …, 2012
182012
Tecnologia Blockchain: uma visão geral
JR Formigoni Filho, AM Braga, RLV Leal
Harvard business review 6 (2), 1-4, 2017
172017
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
162017
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
Adding secure deletion to an encrypted file system on android smartphones
A Braga, A Colito
Proc. SECURWARE, 106-110, 2014
142014
A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software
A Braga, R Dahab
SBSeg 2015, 2015
132015
Integrated technologies for communication security on mobile devices
A Braga
The Third International Conference on Mobile Services, Resources, and Users …, 2013
122013
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
102020
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
92017
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
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
82014
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20