Farei engenharia reversa de aplicativos Android e análise de segurança

Ofereço análise de segurança profissional de aplicativos Android e engenharia reversa para pesquisa autorizada, testes e depuração. Posso analisar aplicativos de mensagens seguras para identificar possíveis vulnerabilidades de segurança em autenticação, criptografia, gerenciamento de chaves, manipulação de sessões, lógica de protocolos e comunicação cliente-servidor. Meu trabalho inclui análise de APK/XAPK, análise estática e dinâmica, inspeção de Java/Kotlin e Smali, revisão de bibliotecas nativas, instrumentação em tempo de execução e análise de tráfego de rede. Também realizo análise formal de segurança usando ferramentas como Tamarin Prover e CryptoVerif para estudar propriedades como segredo, autenticação, resistência a replay, integridade de mensagens, segredo forward e segurança pós-comprometimento. Dependendo do pacote escolhido, forneço descobertas técnicas, rastros de ataque quando aplicável, recomendações de segurança e um relatório estruturado e orientado à pesquisa.