Realizaré ingeniería inversa de aplicaciones Android y análisis de seguridad

Ofrezco análisis de seguridad y ingeniería inversa profesional de aplicaciones Android para investigaciones autorizadas, pruebas y depuración. Puedo analizar aplicaciones de mensajería segura para identificar posibles vulnerabilidades en autenticación, cifrado, gestión de claves, manejo de sesiones, lógica de protocolos y comunicación cliente-servidor. Mi trabajo incluye análisis de APK/XAPK, análisis estático y dinámico, inspección de Java/Kotlin y Smali, revisión de librerías nativas, instrumentación en tiempo de ejecución y análisis de tráfico de red. También realizo análisis de seguridad formal usando herramientas como Tamarin Prover y CryptoVerif para estudiar propiedades como secreto, autenticación, resistencia a replays, integridad de mensajes, secreto hacia adelante y seguridad post-compromiso. Según el paquete seleccionado, proporciono hallazgos técnicos, rastros de ataques cuando sea aplicable, recomendaciones de seguridad y un informe estructurado y orientado a la investigación.