Bezpieczeństwo mobilne i inżynieria wsteczna

Bezpieczeństwo mobilne to miejsce, w którym spotykają się dwie połowy tej pracy: rozbieranie kompilacji Androida lub iOS za pomocą Frida i Ghidra oraz pisanie kontroli czasu działania, które muszą przetrwać tę samą obróbkę. Poniższe sekcje obejmują inżynierię wsteczną, mechanizmy ochrony i analizę malware'u.

Co potrafię

Mechanizmy ochrony mobilnej

Druga strona tej samej pracy: kontrole czasu działania w stylu RASP, wykrywanie roota i jailbreaka, wykrywanie hooków i manipulacji, weryfikacja integralności i podpisu oraz obfuskacja i anti-debug, które czynią ich usunięcie kosztownym. Kontrole po stronie klienta spowalniają atakującego, a nie zatrzymują go — i tak są projektowane.

  • RASP
  • Anti-tamper
  • Integrity
  • Obfuscation

Inżynieria wsteczna aplikacji mobilnych

Zamiana artefaktu z powrotem w zachowanie: z jednej strony APK, Dex i Smali, z drugiej Mach-O. Analiza statyczna, by znaleźć istotną kontrolę, instrumentacja dynamiczna, by ją potwierdzić, oraz pisemny wynik, który inny inżynier odtworzy z tych samych dowodów.

  • Mach-O
  • Dex
  • Smali
  • Static analysis

Analiza malware'u i oszustw mobilnych

Czytanie tego, co próbka robi, a nie tego, co deklaruje: droppery i loadery, nadużycia overlay i dostępności oraz oparte na nich przepływy oszustw. Wynikiem jest detekcja lub zmiana utwardzająca, a nie raport kończący się przymiotnikami.

  • Droppers
  • Overlay abuse
  • Fraud flows
  • Detections

Instrumentacja i obchodzenie zabezpieczeń

Harnessy i skrypty Frida podłączające się do działającej aplikacji, przechodzące przez pinning certyfikatów i bramki po stronie klienta, tak by test obserwował rzeczywiste zachowanie na urządzeniu z rootem lub jailbreakiem, zamiast zgadywać z disassembly.

  • Frida
  • Pinning bypass
  • Tracing
  • Lab devices

Systemy niskopoziomowe i bezpieczeństwo

Inżynieria na poziomie jądra i sieci z eBPF, stosami TUN i surowymi gniazdami, a także autoryzowana ocena: modelowanie zagrożeń, inżynieria wsteczna i raporty niosące powtarzalne dowody zamiast przymiotników.

  • eBPF
  • Rust
  • C
  • Frida

Narzędzia

Analiza statyczna

Czytanie artefaktu, gdy brak źródeł: dekompilacja, odwołania krzyżowe i przepływ sterowania w Mach-O oraz Dex.

  • Ghidra
  • IDA
  • jadx
  • radare2 / rizin

Analiza dynamiczna i instrumentacja

Obserwacja i zmiana zachowania w czasie działania: hookowanie, śledzenie, podłączanie debuggera i przechodzenie kontroli po stronie klienta na urządzeniu z rootem lub jailbreakiem.

  • Frida
  • objection
  • LLDB
  • Xposed / LSPosed

Ruch sieciowy

Przechwytywanie tego, co aplikacja faktycznie wysyła, i analiza na poziomie pakietów, wraz z zachowaniem pod TLS pinningiem.

  • mitmproxy
  • Burp Suite
  • Wireshark
  • tcpdump

Umiejętności

Bezpieczeństwo i Inżynieria Wsteczna

Metody statyczne i dynamiczne służące znalezieniu tego, czemu klient ufa, udowodnieniu tego i zamknięciu.

  • Threat Modeling
  • Tamper Detection
  • Instrumentation
  • Malware Analysis
  • Static Analysis
  • RASP

Bezpieczeństwo Mobilne i Frontend

Klienty mobilne oraz instrumentacja służąca do ich analizy.

  • Frida
  • Reverse Engineering
  • React Native
  • Swift
  • Kotlin
  • TypeScript
  • React

Kontakt

Otwarty na współpracę w zakresie architektur backendowych, dedykowanych aplikacji webowych i mobilnych, bezpieczeństwa mobilnego i inżynierii wstecznej oraz systemów agentów AI.

[email protected]