Je vais effectuer de l'ingénierie inverse d'applications Android et une analyse de sécurité

Je propose une analyse de sécurité professionnelle des applications Android ainsi que de l'ingénierie inverse pour la recherche autorisée, les tests et le débogage. Je peux analyser des applications de messagerie sécurisée pour identifier d'éventuelles vulnérabilités en matière de sécurité dans l'authentification, le chiffrement, la gestion des clés, la gestion des sessions, la logique des protocoles et la communication client-serveur. Mon travail inclut l'analyse APK/XAPK, l'analyse statique et dynamique, l'inspection Java/Kotlin et Smali, la revue de bibliothèques natives, l'instrumentation en runtime et l'analyse du trafic réseau. Je réalise également une analyse de sécurité formelle à l'aide d'outils tels que Tamarin Prover et CryptoVerif pour étudier des propriétés telles que le secret, l'authentification, la résistance aux rejouements, l'intégrité des messages, la confidentialité future et la sécurité après compromission. Selon le package choisi, je fournis des résultats techniques, des traces d'attaque si applicable, des recommandations de sécurité et un rapport structuré, orienté recherche.