LLVM을 위한 타입 지향적 보안 구조 enclave 분할
신뢰할 수 있는 실행 환경(TEE)에서 정보 흐름 보안을 강제하는 새로운 방법을 제안한다. SPLITR을 구현하여 OpenSSL과 같은 실제 애플리케이션에서 성능 평가를 수행하였다.
이 연구는 LLVM 기반 애플리케이션에서 수동 enclave 분할의 필요성을 줄이고 보안성을 향상시킬 수 있는 실용적 접근법을 제시한다.
보안TEELLVMenclave
RESEARCH
연구·리포트 참고 자료
C$^2$T-OpenMax: Center Constrained 학습과 Confidence-Guided Tail Modeling을 통한 새로운 오픈세트 WiFi RF 지문 인식 방법
WiFi RF 지문 인식(RFF)의 장치 인증 문제를 해결하기 위해 OpenMax 프레임워크를 개선한 C$^2$T-OpenMax 방법을 제안한다. 공개 WiFi CSI 데이터셋에서 테스트한 결과, 8개 위치 그룹 중 7개에서 가장 높은 오픈세트 정확도를 달성했으며, AUROC 0.0887, OSCR 0.0856 증가 등 기존 기법 대비 성능 향상이 입증된다.
이 연구는 WiFi 장치 인증 시 환경 변화에 대한 일반화 능력을 향상시키는 새로운 RFF 기법을 제시하여, 무선 네트워크 보안 분야에서 실용적 적용 가능성을 제시한다.
RF 지문 인식OpenMax장치 인증WiFi 보안
JENGA: 카운터 기반 RowHammer 대응책을 악용한 실시간 예측성 파괴
RowHammer 보안 취약점 대응책이 실시간 시스템의 타이밍 행동에 미치는 영향을 분석하고, 공격자가 이 대응책 메커니즘을 조작해 실시간 작업의 실행 시간을 예상 WCET를 초과하게 만드는 JENGA 공격을 제안한다. 시뮬레이션 평가 결과, 이 공격으로 작업이 최대 200%의 WCET 지연을 겪는다는 것을 보인다.
실시간 시스템에서 RowHammer 대응책이 시간 안전성을 위협할 수 있으므로, 보안 대응책 설계 시 실시간 예측성까지 고려해야 한다.
RowHammer실시간 시스템JENGAWCET
로깅 프레임워크가 BIND9에 미치는 영향
기존 호스트 기반 IPS가 로그 처리 속도의 한계로 악성 트래픽을 감지하지 못하는 문제를 분석하고, 고성능 로깅 프레임워크 FIPS를 제안한다. FIPS는 기존 syslog 대비 악성 클라이언트 차단 속도를 2.5배 향상시키며 100만 요청/초를 처리한다.
고속 네트워크 환경에서 IPS의 로그 처리 성능 한계를 극복하기 위해 FIPS와 같은 고성능 로깅 프레임워크를 도입할 필요가 있다.
IPS로깅BIND9FIPS
CI/CD 파이프라인 통합을 통한 정적 코드 분석 자동화
소프트웨어 개발 과정에서 보안 취약점을 조기에 식별하고 수정하기 위해 정적 애플리케이션 보안 테스트(SAST) 도구의 출력을 개발자들이 익숙한 이슈 추적 소프트웨어에 통합하는 자동화된 프로세스를 제안한다. SonarQube SAST 도구를 GitLab 기반 개발 환경에서 성공적으로 구현했으며, 개발자들이 구조화된 구현, 실시간 피드백, 프로액티브 취약점 관리를 긍정적으로 평가했다.
이 연구는 CI/CD 파이프라인에 SAST 도구를 통합함으로써 개발 과정에서 보안 취약점을 효율적으로 관리할 수 있는 방법을 제시한다.
정적 코드 분석SASTCI/CD보안 취약점
디지털 회로 분석을 위한 버전 스페이스 접근법
버전 스페이스 접근법을 회로 분석 문제에 적용하여 정확한 후보 수를 계산하는 방법을 제안한다. 2002년 제안된 문제를 해결하고, TrustHub 오버플레이션 문제에서 키 수를 계산하여 광고된 키 길이보다 낮은 엔트로피를 보인다.
이 연구는 디지털 회로 분석에서 후보 수를 효율적으로 계산하는 방법을 제공하여, 회로 보안 평가에 활용될 수 있다.
버전 스페이스디지털 회로 분석논리 잠금엔트로피 계산
GlitchLab: 물리적 결함 주입을 위한 하드웨어-인-더-루프 최적화 플랫폼
GlitchLab은 물리적 결함 주입 공격을 효율적으로 탐색하기 위해 하드웨어-인-더-루프 최적화 플랫폼을 제안한다. AES, 비밀번호, 제어 흐름 캠페인에서 기존 기준보다 2-85배 적은 시도와 26-1,237배 적은 시간을 요구한다.
GlitchLab은 물리적 결함 주입 공격의 효율적인 탐색을 가능하게 하여, 보안 평가 및 방어 전략 개선에 기여할 수 있다.
하드웨어-인-더-루프물리적 결함 주입보안 평가강화 학습
코드 신뢰하지 말고 효과 검증하라: 적대적 생성자에 대응하는 재생성 시스템 코드의 런타임 정제
시스템 코드를 생성하는 대형 언어 모델이 적대적일 수 있는 상황에서, 생성된 코드가 직접 실행하는 대신 신뢰할 수 있는 중개자(mediator)가 효과를 수행하도록 하는 방식을 제안한다. 중개자의 보장은 코드 재생성에도 생존하며, 효과 검증을 위한 6가지 조건을 제시한다.
시스템 코드 생성 시 적대적 생성자를 대비해 실행 권한을 중개자에게 위임하는 방식을 도입할 수 있다.
시스템 코드런타임 정제적대적 생성자중개자
로봇 능력 마켓플레이스를 위한 연방 신뢰(Federated Trust) 모델
로봇 능력 마켓플레이스에서 기존의 중앙집중식 PKI 대신 연방 신뢰 아키텍처를 제안하고, 이 모델을 런타임 거버넌스 계층에 구현하여 100%의 악의적 출판자 공격을 차단하는 것을 보였다. 5000회 적대적 시도에서 100%의 악의적 출판자, 변조, 위조, 취소된 서명자 공격을 거부했으며, 96.6%의 최소 버전 강제 하강 시도를 차단했다.
로봇 플릿 운영자는 연방 신뢰 아키텍처를 도입하여 중앙 인증 기관에 의존하지 않고 로컬 기반의 신뢰 검증을 통해 보안성을 높일 수 있다.
로봇 보안연방 신뢰PKI 대안Ed25519
대리 지급 프로토콜의 형식적 분석
AI 에이전트가 상품 및 서비스를 구매하고 사용자의 대리로 지급을 실행하는 대리 지급 프로토콜의 보안 의존성을 분석하였다. 4개의 대표적인 프로토콜을 Tamarin에서 형식화하고, 86개의 검증 사례를 통해 40개의 새로운 형식적 일관성 문제를 발견하였다.
이 연구는 대리 지급 프로토콜의 보안 원칙을 명확히 하여, 자율 거래 시스템의 설계 및 검증에 실질적인 기여를 할 수 있다.
대리 지급 프로토콜형식적 분석보안 원칙AI 에이전트
제외 래치(The Exclusion Ratchet): 감지 규칙 저장소에서 거짓 긍정 억제의 축적과 지속
감시 규칙 저장소에서 거짓 긍정을 억제하기 위해 제외 조건이 추가되지만, 이 조건이 축적되고 지속되는 현상을 9년간 8,234개의 규칙 수정을 분석하여 측정했다. 1,642번 제외 조건이 추가되고 304번만 제거되며, 86.7%는 3년간 유지된다.
보안 실무자는 감지 규칙의 제외 조건이 누적되어 보안 허점을 만들 수 있음을 인지하고, 우선순위 기준을 사용해 주기적으로 검토해야 한다.
감지 규칙거짓 긍정 억제제외 조건보안 모니터링
Liezz: 적대적 증인 주입을 활용한 ZK DSL 툴체인 결함 탐지
Zero-knowledge domain-specific language(ZK DSL) 툴체인의 결함을 적대적 증인 주입을 통해 탐지하는 테스트 프레임워크인 Liezz를 제안한다. Liezz는 생성된 결정론적 프로그램에 대해 두 가지 공개 입력 할당을 실행하고 그 증인을 결합하여 툴체인의 결함을暴로한다. 13개의 결함을 발견했으며, 그 중 7개는 사운드니스에 영향을 미친다.
Liezz를 활용하면 기존의 유효 실행 테스트에서 발견되지 않는 ZK DSL 툴체인의 결함을 효과적으로 탐지할 수 있다.
Zero-knowledgeZK DSLLiezz적대적 증인 주입
5G 무선접속망에서 운영자 주도의 취약점 핫픽스 기법
5G 무선접속망(RAN)에서 임시 핫픽스를 배포하는 Buckler 프레임워크를 제안한다. 23개 논문에서 64개 공격을 분석하고, 20개 공격에 대해 DROP, MODIFY, RELEASE 3가지 방어 조치를 적용하여 실험적으로 검증하였다.
이 연구는 5G 네트워크 운영자가 표준 프로토콜 변경 없이 임시 방어 조치를 적용할 수 있는 실용적인 방법을 제시한다.
5G무선접속망(RAN)취약점 핫픽스Buckler
ICS 보안 연구를 위한 데이터셋 및 테스트베드 가이드
ICS 보안 솔루션 개발과 테스트에 필요한 데이터셋과 테스트베드를 체계적으로 분류하고 분석하여, 표준화된 벤치마크 부족과 현대적 공격 시나리오 부재 등의 문제를 보인다. 분석 결과는 지속적인 문제점과 새로운 도구 개발 권장사항을 제시한다.
ICS 보안 연구자와 실무자는 이 가이드를 통해 기존 데이터셋과 테스트베드의 한계를 이해하고, 보다 효과적인 보안 솔루션 개발을 위한 방향을 설정할 수 있다.
ICS 보안데이터셋테스트베드디지털 트윈
리두시오(Reducio): 기업 고객을 위한 최적화된 기밀 서버리스 클라우드 배포
서버리스 함수의 프라이버시 문제와 낮은 지연 시간을 해결하기 위해 기밀 가상 머신(CVM) 기반의 서버리스 플랫폼이 제안되었다. Reducio는 인프라 변경 없이 플랫폼 메모리 요구 사항을 크게 줄이는 새로운 서버리스 플랫폼 설계를 제안한다.
이 연구는 기업이 기밀성을 유지하면서 서버리스 클라우드를 효율적으로 배포할 수 있는 새로운 방법을 제시한다.
서버리스 클라우드기밀 가상 머신플랫폼 메모리 최적화함수 격리
사이드채널 공격을 위한 트랜스포머 파이프라인
트랜스포머를 활용한 사이드채널 분석 방법을 제안하고, 자르지 않은 데이터셋에서의 전체 키 공격을 수행한다. ASCADv1f, ASCADv1r, CHES-CTF-2018 데이터셋에서 경쟁력 있는 성능을 보이며, 10GB 미만 VRAM과 최대 3.34시간의 훈련 시간을 요구한다.
이 연구는 사이드채널 분석에서 트랜스포머를 활용한 간단한 기반 모델을 제공하여, 실무에서 효율적인 공격 분석이 가능해진다.
트랜스포머사이드채널 공격딥러닝보안 분석
POLYFLOW: 신경-기호적 정적 다언어 정보 유동 분석 프레임워크
다양한 프로그래밍 언어로 구성된 시스템에서 정보 유동을 분석하는 정적 분석 프레임워크인 PolyFlow를 제안한다. 대규모 언어 모델(LLM)과 정적 분석을 결합하여 실제 Python-C 및 Java-C 시스템에서 기존 기법보다 우수한 성능을 보이고, 알려지지 않은 다언어 취약점을 드러냈다.
이 연구는 다언어 시스템에서 정보 유동 분석을 개선하여 새로운 취약점을 발견하는 데 도움이 될 수 있다.
정적 분석다언어정보 유동LLM
HSMLog: 소형 언어 모델을 활용한 하드웨어 보안 모듈 로그 이상 탐지
하드웨어 보안 모듈(HSM) 로그에서 이상을 탐지하기 위해 SLM을 활용한 HSMLog 프레임워크를 제안한다. 실제 산업 HSM 로그를 기반으로 한 평가에서 98.97% 정밀도, 96.00% 재현율, 98.66% 이상 이벤트 커버리지, 97.46% F1 점수를 달성했다.
HSMLog는 산업 현장에서 HSM 로그 이상을 효과적으로 탐지할 수 있는 프레임워크로, 보안 모니터링 시스템 개선에 활용될 수 있다.
하드웨어 보안 모듈로그 분석이상 탐지SLM
경량화된 내핵 보안 모니터링을 위한 TrustZone 기반 프레임워크 LOOM
운영체제의 취약점과 복잡한 내핵 수준 위협이 기존 내핵 보호 메커니즘의 효과를 약화시키고 있다. LOOM은 ARM TrustZone을 기반으로 하드웨어 강제 분리 기반의 경량화된 out-of-band 보안 모니터링 아키텍처를 제안하며, 실험 결과는 LOOM이 미미한 오버헤드를 유지하면서 강력한 모니터링 능력을 보인다.
이 연구는 TrustZone 기반의 경량화된 내핵 모니터링 솔루션을 제시하여, 실시간 보안 모니터링을 구현할 수 있는 새로운 접근법을 제시한다.
TrustZone내핵 모니터링보안 아키텍처ARM
반응형 퍼리페럴 모델링을 통한 정확한 펌웨어 재호스팅(Reactive Peripheral Modeling for Faithful Firmware Rehosting)
기존 펌웨어 재호스팅 기법은 복잡한 퍼리페럴 동작을 정확히 모델링하지 못해 초기 초기화 단계까지만 도달하는 한계가 있었다. 이를 해결하기 위해 반응형 퍼리페럴 모델링(RPM)을 제안하고, 이 모델링을 BLE 펌웨어 재호스팅에 적용한 결과, 기존 방법 대비 2.6배 높은 베이직 블록 커버리지를 달성하고 5개의 새로운 취약점을 발견했다.
이 연구는 펌웨어 테스트 및 취약점 분석 시 반응형 퍼리페럴 모델링을 적용함으로써 더 깊은 프로토콜 상태를 탐색할 수 있음을 보여준다.
펌웨어 재호스팅반응형 퍼리페럴 모델링BLE취약점 분석
컨텍스트 또는 숫자? 가상현실 인증에서 기억력과 효율성의 균형
가상현실(VR) 환경에서 새로운 지식 기반 인증 방법인 Adaptive Direction-Based Authentication(ADBA)를 제안하고, 66명의 참여자를 대상으로 2-3주간의 장기적 연구를 통해 기존 6자리 PIN과 비교하였다. ADBA는 기억력이 우수하고 인지 부하가 낮으며, 일부 환경에서는 암호의 동일성이 관찰되었으나, 전반적으로 PIN보다 우수한 보안성을 제공한다.
가상현실 환경에서 ADBA는 PIN 대신 사용할 수 있는 기억력과 보안성이 높은 인증 방법으로, 실무에서 VR 인증 시스템 개선에 참고할 수 있다.
가상현실 인증암호 기억력인증 효율성ADBA
본 페이지의 연구 요약은 공개된 초록을 AI가 한국어로 정리한 것으로, 원문과 차이가 있을 수 있습니다. 정확한 내용은 반드시 원문을 확인하십시오. 본문과 PDF는 제공하지 않으며, 모든 저작권은 각 저자와 발행처에 있습니다.