Ik voer android app reverse engineering en security analyse uit

Ik bied professionele security analyse en reverse engineering van Android applicaties voor geautoriseerd onderzoek, testen en debugging. Ik kan beveiligde messaging apps analyseren om potentiële security kwetsbaarheden te identificeren in authenticatie, encryptie, sleutelbeheer, sessiebeheer, protocollogica en client-server communicatie. Mijn werk omvat APK/XAPK analyse, statische en dynamische analyse, Java/Kotlin en Smali inspectie, review van native libraries, runtime instrumentatie en netwerkverkeer analyse. Daarnaast voer ik formele security analyse uit met tools zoals Tamarin Prover en CryptoVerif om eigenschappen te bestuderen zoals geheimhouding, authenticatie, replay weerstand, berichtintegriteit, forward secrecy en security na compromittering. Afhankelijk van het gekozen pakket lever ik technische bevindingen, aanvalstracés waar van toepassing, security aanbevelingen en een gestructureerd, onderzoekgericht rapport.