Eseguirò reverse engineering di app Android e analisi della sicurezza

Offro analisi professionale della sicurezza delle applicazioni Android e reverse engineering per ricerche autorizzate, test e debugging. Posso analizzare applicazioni di messaggistica sicure per identificare potenziali vulnerabilità di sicurezza in autenticazione, crittografia, gestione delle chiavi, gestione delle sessioni, logica dei protocolli e comunicazione client-server. Il mio lavoro include analisi APK/XAPK, analisi statica e dinamica, ispezione di Java/Kotlin e Smali, revisione di librerie native, strumentazione in runtime e analisi del traffico di rete. Eseguo anche analisi di sicurezza formali usando strumenti come Tamarin Prover e CryptoVerif per studiare proprietà come segretezza, autenticazione, resistenza ai replay, integrità dei messaggi, forward secrecy e sicurezza post-compromissione. A seconda del pacchetto scelto, fornisco risultati tecnici, tracce di attacco dove applicabile, raccomandazioni di sicurezza e un rapporto strutturato e orientato alla ricerca.