Prompt Injection Evolves into Multi-Stage 'Promptware' Attacks

COVERAGE [2]

1. Mastodon — fosstodon.org TIER_1 한국어(KO) · [email protected] · 2026-06-24 20:39

   You Don't Know Jack About Formal Verification This article discusses how AI can significantly reduce the cost of writing proofs, which is the biggest barrier to entry for formal verification, thereby making formal verification applicable not only to safety-critical systems but also to general software development.

   You Don't Know Jack About Formal Verification 이 글은 AI가 형식 검증(formal verification)의 가장 큰 진입 장벽인 증명 작성 비용을 크게 낮추면서, 형식 검증이 안전-critical 시스템뿐 아니라 일반 소프트웨어 개발에도 적용 가능해졌음을 설명합니다. 형식 검증은 코드가 모든 가능한 입력에 대해 명세를 만족함을 수학적으로 보장하며, AI는 자연어 요구사항을 형식 명세로 자동 변환하고 증명 실패 시 반복 개선을 수행해 개발자의 부담을 줄입니다…

2. Mastodon — fosstodon.org TIER_1 한국어(KO) · [email protected] · 2026-06-24 20:38

   The Promptware Kill Chain This paper analyzes the evolution of prompt injection attacks from simple input manipulation to a multi-stage malware delivery mechanism called 'Promptware'. The 7-stage Promptware Kill Chain (Initial Access, Privilege Escalation, Reconnaissance, Persistence, Command and Control, Lateral Movement, Exfiltration).

   The Promptware Kill Chain 이 논문은 프롬프트 인젝션 공격이 단순 입력 조작에서 다단계 악성코드 전달 메커니즘인 '프롬프트웨어'로 진화한 과정을 분석한다. 7단계 프롬프트웨어 킬체인(초기 접근, 권한 상승, 정찰, 지속성, 명령 및 제어, 측면 이동, 목표 수행)을 제시하고, 실제 LLM 시스템에서 발생한 공격 사례들을 통해 위협 모델의 현실성을 입증한다. LLM 기반 시스템 보안을 위해 킬체인 전 단계에 대응하는 다층 방어 전략의 필요성을 강조한다. https:// arxiv…

   LINKS arxiv.org/…/2601.09625