Suivre
Alexandre Braga, PhD
Titre
Citée par
Citée par
Année
Tropyc: A pattern language for cryptographic software
A Braga, C Rubira, R Dahab
921999
Tropyc: A pattern language for cryptographic software
A Braga, C Rubira, R Dahab
861999
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
301998
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
262017
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
232019
Portability evaluation of cryptographic libraries on android smartphones
AM Braga, EN Nascimento
Cyberspace Safety and Security: 4th International Symposium, CSS 2012 …, 2012
182012
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
Tecnologia Blockchain: uma visão geral
JR Formigoni Filho, AM Braga, RLV Leal
Harvard business review 6 (2), 1-4, 2017
152017
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
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
132012
Integrated technologies for communication security on mobile devices
A Braga
The Third International Conference on Mobile Services, Resources, and Users …, 2013
122013
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
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
92020
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20