área de pesquisa
- Addressing human factors in the design of cryptographic solutions : a two-case study in item validation and authentication
- Fabio Rogério Piva
- José Paulo da Silva Lima
- Ricardo Sant'Ana
- SDA-COG - Sistema de Detecção de Ataques para Redes de Rádios Cognitivos
- Verificação formal de protocolos criptográficos de trocas justas utilizando o método de espaços de fitas