다요소 인증(MFA)의 암호학적 보안 속성 분석
다요소 인증(MFA) 시스템의 암호학적 보안 속성을 분석하여 재전송 공격을 방지하는 전략을 제시한다. 재전송 공격을 방지하기 위한 구체적인 보안 메커니즘을 제안한다.
이 연구는 재전송 공격을 방지하기 위한 MFA 시스템의 설계 원칙을 실무에 적용할 수 있다.
다요소 인증MFA암호학적 보안재전송 공격 방지
RESEARCH
연구·리포트 참고 자료
유전자 기초 모델의 동형 추론 가능성
유전자 기초 모델을 동형 암호화를 사용하여 평가하는 방법을 제안하고, 암호화된 상태에서 정확한 추론이 가능한지 실험적으로 검증했다. 클라이언트 지원 방식으로 전체 트랜스포머 블록을 처리했으며, 9,839 MiB 메모리와 6,683초 소요되었다.
암호화된 유전자 데이터를 처리하는 동형 추론 기술이 실현 가능성을 보여주어, 민감한 생체정보 보호에 기여할 수 있다.
동형 암호화유전자 모델암호화 추론생체정보 보호
대형 언어 모델의 순열 기반 스테고말웨어(Permutation-Based Stegomalware): 위협과 대응책
대형 언어 모델에서 스테고말웨어를 중화하고 공격하는 순열 대칭성 기법을 제안하고, 이 기법의 방어 효과와 공격 가능성 모두를 실험적으로 보인다. 순열을 적용했을 때 모델 성능 저하가 최소임을 수치로 확인했다.
대형 언어 모델의 스테고말웨어 공격에 대비한 방어 기법으로 순열 대칭성을 활용할 수 있으며, 공격 가능성도 염두에 두어야 한다.
대형 언어 모델스테고말웨어순열 대칭성보안
도구 통합 LLM 에이전트에 대한 적대적 공격 방어 방안
도구 통합 대규모 언어 모델(LLM) 에이전트의 적대적 공격 방어 전략을 탐구하고, 공격 성공률을 0%까지 낮추는 방식을 제시한다. 4개 오픈소스 LLM과 3개 프로퍼티어리 LLM에서 공격 성공률(ASR)을 0%까지 낮추며 원래 작업 성공률을 유지하거나 향상시켰다.
도구 통합 LLM 에이전트의 보안 강화를 위해 다층적 방어 전략을 채택할 수 있다.
LLM 에이전트적대적 공격방어 전략공격 성공률
가리레오 SAS 인증 시간 솔루션 최초 제시
가리레오의 신호 인증 서비스(SAS)를 활용한 시간 동기화 방법을 제안하고, 실제 신호 데이터를 기반으로 소프트웨어 수신기를 구현해 검증했다. 인증된 의사거리에서 수신기 시계 편차를 계산해 시간 솔루션을 도출했다.
GNSS 수신기의 시간 동기화 보안을 강화하기 위해 인증된 신호를 활용한 방법이 실증되었다.
GNSSSAS시간 동기화인증
RAPID: 텍스트-이미지 서비스에 대한 비인가 디스틸레이션 방어
RAPID는 텍스트-이미지 생성 모델의 비인가 디스틸레이션 공격을 방어하기 위해 VAE 디코더에 방어적 펄티urbation을 통합하는 실시간 방어 기법이다. 실험 결과 RAPID는 대체 모델의 생성 품질을 저하시키면서도 서비스 시각적 정확도를 유지한다.
이 결과는 텍스트-이미지 생성 서비스의 모델 지적 재산권 보호를 위해 실시간 방어 기법을 설계할 때 참고할 수 있다.
AI 보안모델 디스틸레이션텍스트-이미지 생성VAE 디코더
월드 모델의 뒷문 공격(Backdoor Attacks)
사전 학습된 월드 모델(latent world models)에 뒷문 공격을 적용하여, 공격자가 체크포인트만 제어하여 하위 컨트롤러를 해킹할 수 있음을 보인다. 공격은 100%의 트리거 스텝에서 공격자의 목표 행동으로 조종되며, 정상 데이터 진단은 75% 이상 성공한다.
이 연구는 월드 모델을 재사용하는 경우 공격자가 체크포인트를 조작하여 하위 컨트롤러를 조종할 수 있음을 시사하여, 모델 체크포인트의 보안 검증이 필요하다.
월드 모델뒷문 공격latent world modelscontrol
HYDRA: LEO 위성 네트워크의 링크 플러딩 공격에 대한 봇넷 임계값 측정
HYDRA는 LEO 위성 네트워크에 대한 링크 플러딩 공격(LFA)의 효과성을 분석하기 위해 봇넷 최소화 문제로 공격 변형을 모델링한 최적화 프레임워크이다. HYDRA는 표적 지역 간 통신을 방해하기 위해 필요한 최소 봇 수와 대응하는 트래픽 할당을 측정하여, ICARUS와 동일한 표적 방해를 달성하면서 34% 적은 봇과 23% 적은 공격 트래픽을 사용한다.
HYDRA를 통해 LEO 위성 네트워크의 링크 플러딩 공격에 대한 취약성을 이해하고, 라우팅 다각화, 인그레스 폴리싱, 거리 기반 트래픽 제약, 소스 제한, 봇넷 감소 전략을 통해 네트워크 회복력을 향상시킬 수 있다.
LEO 위성 네트워크링크 플러딩 공격HYDRA봇넷 최소화
CiteShade: 다중 출처 RAG에서의 인용 세탁 공격과 그에 대한 반사적 방어
CiteShade는 RAG 시스템에서 인용 채널을 공격하는 새로운 방법으로, 공격자가 단일 출처를 조작하여 신뢰할 수 있는 출처에 잘못된 답변을 연결시킨다. 공격은 최적화 문제로 정의되어 다중 출처 질문 응답에서 오답률을 0.01에서 0.68로 높인다.
RAG 시스템의 인용 채널 보안을 강화하기 위해 인용 출처의 실제 영향을 검증하는 방어 기법을 도입해야 한다.
RAG인용 세탁 공격CiteShadeAI 보안
Aeneas, Rust, Lean을 활용한 암호화 소프트웨어 검증 확장
암호화 소프트웨어 검증 방법론을 제시하고 Rust와 Lean을 활용해 SymCrypt의 SHA-3, ML-KEM 등을 검증했다. 16.7KLOC의 Rust 코드에 대해 안전성, 패닉 방지, 기능적 정확성을 237KLOC의 Lean 개발로 입증했다.
암호화 라이브러리의 안전성과 유지보수성을 높이기 위해 Rust와 Lean 기반 검증 방법론을 도입할 수 있다.
암호화소프트웨어 검증RustLean
네트워크 환경에서 고급 지속적 위협(APT)에 대항하는 실행 가능한 방어
논문은 고급 지속적 위협(APT)에 대응하는 네트워크 방어를 위해 불리언 역동 시스템 이론을 활용한 휴리스틱 가치 함수를 제안한다. 휴리스틱이 상태 추정 분포의 엔트로피 최대화 가정 하에 정확한 계산에 기반한다는 것을 증명하고, 수치적으로 휴리스틱의 품질을 평가한다.
이 연구는 네트워크 방어 전략을 수립할 때 고려할 수 있는 새로운 휴리스틱 방법을 제시하여, APT 대응의 효율성을 높이는 데 기여할 수 있다.
APT 방어불리언 역동 시스템휴리스틱 가치 함수엔트로피 최대화
LLM 답변 출판에서의 승인 무결성 및 복구
Lightcap의 출판 강제 메커니즘에서 정확한 콘텐츠 바인딩, 권한 신선도, 체크포인트 복구를 분석하였다. 14B 모델 기반의 응답-액션 체커는 302개 중 291개의 미지원 라벨 응답을 수용했으며, 직접 기준선은 41개를 수용하였다.
이 연구는 LLM 답변 시스템의 승인 무결성과 복구 메커니즘의 효과성을 실무에서 평가하는 데 도움을 줄 수 있다.
LLM승인 무결성복구권한 신선도
공격 그래프 자동 생성을 위한 에이전트 침투 테스트 연구
LLM 기반 에이전트의 공격 경로 추론을 보완하기 위해, 스캐너 출력을 기반으로 논리 공격 그래프를 생성하는 반자동 파이프라인을 제안한다. 54개 웹 CTF 과제에서 평균 53.7%의 취약점 커버리지를 달성했으며, 평균 노이즈 경로 비율은 83.9%였다.
LLM 에이전트와 기호적 추론을 결합한 공격 그래프 생성 파이프라인을 통해 침투 테스트 자동화가 가능해진다.
LLM공격 그래프침투 테스트MulVAL
사기성 이력서로 플래너를 기만하는 등록 시점 주입 공격 (Registration-Time Injection in Centralized Multi-Agent Systems)
중앙집중식 멀티에이전트 시스템(MAS)에서 등록된 워커 에이전트의 설명을 조작해 플래너를 기만하는 등록 시점 주입 공격을 분석하고, 8가지 공격 전략을 제시한다. GAIA 평가에서 조작된 설명 하나로 작업 성공률을 84.31%에서 37.25%로 낮추거나 토큰 소비나 실행 시간을 111% 이상 증가시킬 수 있음을 보인다.
이 연구는 실제 시스템에서 워커 설명을 신중히 검증할 필요성을 강조하며, 등록 시점 보안 검증을 강화하는 방안을 제시한다.
LLM멀티에이전트 시스템등록 시점 주입보안
위성 시스템에 사용되는 오픈소스 소프트웨어의 실증적 보안 분석
위성 시스템에 사용되는 오픈소스 소프트웨어의 보안 취약점을 실증적으로 분석하였다. 126개 공개 저장소를 대상으로 보안 분석 파이프라인을 통해 2,827건의 취약점을 발견했으며, 중간 이상의 심각도를 가진 취약점이 72%를 차지한다.
위성 시스템 개발자는 오픈소스 소프트웨어의 보안 취약점을 정기적으로 점검하고, 특히 메모리 안전성과 코드 품질, 입력 검증을 우선적으로 관리해야 한다.
위성 시스템오픈소스 소프트ware보안 취약점실증적 분석
분할, 상담, 정복: 정렬된 LLM을 통한 능력 세탁(Capability Laundering)
저자는 약한 비정렬 모델이 해로운 작업을 무해해 보이는 하위 문제로 분할하고, 강력한 정렬 모델을 각각 독립적으로 상담한 후 로컬에서 답변을 결합하는 새로운 공격 기법인 'capability laundering'를 제안한다. CyBench, BountyBench, 해로운 CBRN 요청에서 실험한 결과, Gemma-4-31B는 GPT-5.5와 Opus를 사용할 때 각각 8/14, 7/9 후보를 회복했으며, CBRN 공격 체인에서 평균 점수를 62.3에서 83.1로 높였다.
이 연구는 정렬된 LLM이 개별적으로 허용된 상호작용을 통해 해로운 능력을 전달하고 구성될 수 있음을 보여주어, 현재 방어 체계의 한계를 드러내며, 실무에서는 LLM 상호작용의 집합적 위험을 평가하는 새로운 접근이 필요하다.
LLM 보안capability laundering정렬된 모델악성 작업 분할
대규모 유니버스 서브셋 예측 암호화 및 IND-CCA 보안
연구팀은 대규모 유니버스에서 서브셋 예측 암호화(SPE)의 새로운 구조를 제안하고, 기존 SPE 구조의 한계를 극복한 IND-CCA 보안을 달성한 새로운 구현을 제시한다. 새로운 구조는 상수 크기의 암호문과 비밀 키를 가지며, 표준 subgroup decision 문제 하에서 선택적 보안을 달성한다.
이 연구는 대규모 유니버스에서의 서브셋 예측 암호화 구조를 개선하여 보안성을 향상시키며, 실무에서 암호화 기반 접근 제어 시스템의 설계에 참고가 될 수 있다.
서브셋 예측 암호화IND-CCA 보안암호문 크기비밀 키
Tor 릴레이 거부 정책의 사회기술적 측면
Tor 릴레이 거부 정책의 사회기술적 영향을 조사하고, 릴레이 운영자의 인식과 정책의 보안 효과를 분석했다. 거부된 릴레이 중 소수만 전체 보안의 50% 이상을 차지하는 것으로 나타났다.
Tor 릴레이 거부 정책은 네트워크 유지보수에 유리하지만, 릴레이 운영자와 사용자 간의 이해 차이를 고려해야 한다.
Tor릴레이 거부보안 메트릭익명 통신
CounterPersona: 추가만 허용되는 환경에서 비인가 인격 기술 증류 방어
AI 시스템이 개인의 행동을 복제하는 인격 기술 증류(Persona skill distillation)에 대한 새로운 방어 기법인 CounterPersona를 제안한다. CounterPersona는 표어적 반박 증거를 구성하고 행동 상태를 병합하여 일관성을 강화함으로써 강력하고 일관된 효과성을 보인다.
CounterPersona는 수집된 데이터를 수정할 수 없는 환경에서 개인의 프라이버시와 노동 자율성을 보호하는 데 실무적으로 활용될 수 있다.
인공지능 보안프라이버시 보호인격 기술 증류CounterPersona
SpliTEE: 신뢰할 수 있는 하드웨어에서의 LLM 추론을 위한 차등 사설 GPU 아웃소싱
LLM 추론 시 사용자 프롬프트의 민감 정보를 보호하기 위해 TEE와 GPU를 분할하여 차등 사설을 적용한 새로운 아키텍처를 제안한다. TDX에서의 구현 결과, 전체 CPU 기반 추론보다 약 2배 빠르고, 암호화 기반 Slalom보다 5-15초 빠르며 정확도가 더 높다.
이 연구는 민감한 사용자 데이터를 보호하면서도 LLM 추론 성능을 향상시키는 실용적인 방법을 제시하여, 클라우드 환경에서의 보안 LLM 서비스 개발에 참고가 될 수 있다.
LLM 추론신뢰할 수 있는 실행 환경차등 사설GPU 아웃소싱
zkVM 검증과 버그 탐지를 위한 효율적인 분기-경계 테스트 (ZEBRA)
zkVM(zero-knowledge virtual machines)의 실행 추적을 대수적 제약으로 변환하여 검증하는 방식에서 발생하는 버그를 자동으로 탐지하는 ZEBRA 프레임워크를 제안한다. ZEBRA는 기존 SMT 기반 검증 대비 51.5배 빠르고, 16.5% 더 많은 인스턴스를 검증하며, 범위 검증에서 최대 63배의 효율 향상을 보인다.
ZEBRA는 zkVM의 검증 효율성을 크게 향상시키며, 실무에서 제로데이 취약점을 신속히 발견할 수 있는 도구로 활용될 수 있다.
zkVM검증버그 탐지분기-경계
본 페이지의 연구 요약은 공개된 초록을 AI가 한국어로 정리한 것으로, 원문과 차이가 있을 수 있습니다. 정확한 내용은 반드시 원문을 확인하십시오. 본문과 PDF는 제공하지 않으며, 모든 저작권은 각 저자와 발행처에 있습니다.