关注
Alexandre Braga, PhD
Alexandre Braga, PhD
CPqD / UNICAMP
在 ic.unicamp.br 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
712007
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
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
Tecnologia Blockchain: uma visão geral
JR Formigoni Filho, AM Braga, RLV Leal
Harvard business review 6 (2), 1-4, 2017
202017
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
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
152017
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
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
112020
Integrated technologies for communication security on mobile devices
A Braga
The Third International Conference on Mobile Services, Resources, and Users …, 2013
112013
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
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
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
Tecnologia Blockchain: uma visão geral. 2017
JR Formigoni Filho, AM Braga, RLV Leal
72017
系统目前无法执行此操作,请稍后再试。
文章 1–20