악성 바이너리도 에이전트를 속인다: 분석 artifact의 Prompt Injection 방어
바이너리 문자열·심볼·주석·decompiler 및 tool output을 비신뢰 증거로 유지하고, 제어 지시·도구 호출·persistent memory로 승격되지 않게 하는 artifact taint와 promotion gate를 설계한다.
개인적인 일상과 소프트웨어 내용을 포스팅합니다.
바이너리 문자열·심볼·주석·decompiler 및 tool output을 비신뢰 증거로 유지하고, 제어 지시·도구 호출·persistent memory로 승격되지 않게 하는 artifact taint와 promotion gate를 설계한다.
한 finding의 Burp HTTP 관찰, Ghidra 정적 구조, LLDB 런타임 값을 claim-to-evidence graph로 결합하고 충돌·미확정을 보존해 재현 가능한 보안 연구로 승격하는 방법을 정리한다.
읽기 쉬운 의사코드를 복원 성공으로 착각하지 않기 위해 컴파일·ABI·동작·부작용·바이트 유사도·결정적 환경을 분리해 검증하는 방법.
REA 6.5.0의 분석 도구, Evidence 흐름, 정적·런타임 경계와 허가된 평가 실험실을 근거 중심으로 정리한다.
반려동물 기록 앱 꼬리노트를 만들며 정한 무료·광고·인앱결제 실험과 안전·중단 기준.
서울 리전 지원 범위와 운영 모델 비교, 멀티테넌시·배포·SLO·비용 검증 경계를 설계한다.