I will perform android app reverse engineering and security analysis

I provide professional Android application security analysis and reverse engineering for authorized research, testing, and debugging. I can analyze secure messaging applications to identify potential security vulnerabilities in authentication, encryption, key management, session handling, protocol logic, and client-server communication. My work includes APK/XAPK analysis, static and dynamic analysis, Java/Kotlin and Smali inspection, native library review, runtime instrumentation, and network traffic analysis. I also perform formal security analysis using tools such as Tamarin Prover and CryptoVerif to study properties including secrecy, authentication, replay resistance, message integrity, forward secrecy, and post-compromise security. Depending on the selected package, I provide technical findings, attack traces where applicable, security recommendations, and a structured, research-oriented report.