Prowadzę pracę od początku do końca: model danych i jego poprawność, środowisko, które go przenosi, oraz warstwa, której ludzie naprawdę dotykają. Poniższa lista opisuje, co mogę wziąć na siebie, a nie dla kogo to było.
Księgi, w których pojedyncza jednostka minor nie może się rozjechać: zapisy dwustronne, kwoty całkowite, klucze idempotencji i zatwierdzanie maker-checker. Uzgodnienie jest zaplanowanym zadaniem z dowodami, a nie ręcznym rytuałem.
Modularne monolity z wydzielonymi kontekstami, izolacją najemców wymuszaną w bazie danych i konfiguracją fail-closed. Outbox, saga, obsługa dead-letter i wybór lidera utrzymują poprawność pracy asynchronicznej przy ponowieniach.
Wieloźródłowy ingest, kompozycja, kodowanie i pakowanie z deterministycznymi znacznikami czasu. Rdzeń mediów łączy się z forkowanymi bibliotekami w procesie, zamiast uruchamiać osobny proces na strumień.
Passkeys, drugie składniki, rotacja kluczy i zapieczętowane poświadczenia. Dostęp maszynowy i sesje ludzkie pozostają rozdzielone, a zaufanie wynika z gniazda, nie z przekazanego nagłówka.
Wielousługowe platformy agentowe z orkiestracją narzędzi, trwałą pamięcią na magazynach wektorowych i grafowych oraz serwerami MCP jako interfejsem pierwszej klasy. Warstwy routingu i szyfrowane parowanie local-first, w którym środowisko zostaje na twojej maszynie.
Natywny SwiftUI na iOS i macOS: narzędzia w pasku menu, onboarding uprawnień, sekrety oparte na Keychain, przechwytywanie mowy i dźwięku oraz dystrybucja, która przechodzi weryfikację.
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.
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.
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.
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.
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.
Bezgłowa automatyzacja, która wydobywa realną strukturę, odtwarza ją deterministycznie i dowodzi wyniku porównaniem pikseli, zamiast twierdzić, że się udało.
Część pracy objęta jest poufnością, dlatego nazwy, zakresy i wyniki celowo pominięto. To, co poniżej, to kompetencje.