SIDE: 시퀀스 예측을 통한 엣지에서의 센서 위장 탐지
저비용 IoT 센서의 위장 탐지를 위해 시퀀스 예측 문제로 정의하고, 경량 모델을 설계해 Arduino Nano 33 BLE에 배포했다. 99.980%의 탐지 정확도를 달성했으며, 양자 분포가 잘 분리되었다.
이 연구는 IoT 센서의 경량화된 위장 탐지 기법을 제시하여, 실제 배포 환경에서의 보안 강화에 기여할 수 있다.
센서 위장 탐지엣지 컴퓨팅시퀀스 예측TensorFlow Lite
RESEARCH
연구·리포트 참고 자료
iOS 기기에서 NFC를 통한 PRO100, HUMO, UZCARD 결제 카드 정보 획득 방법
iOS 기기의 Core NFC를 이용해 특정 결제 카드의 주계좌번호(PAN)와 유효기간을 획득하는 방법을 제시한다. 테스트 카드에서 PAN과 유효기간을 성공적으로 복구했다.
iOS 기기 사용자는 NFC 기능을 통해 결제 카드 정보가 유출될 수 있으므로, 카드 정보 보호에 주의해야 한다.
NFCiOS결제 카드 보안Core NFC
SSC 공격 전파 모델: SBOM(도구)가 진실을 전부 말하지 않는 이유
소프트웨어 공급망 보안(SSC)의 취약점을 효과적으로 파악하기 위해 SBOM 도구의 한계를 분석하고, 취약점 전파 효과를 중심으로 한 4단계 전파 모델을 제안한다. 3개 프로젝트와 Log4j 취약점을 테스트 사례로 사용한 실증 결과, 현재 SBOM 도구는 단계 1과 2만 지원하며 단계 3과 4는 SBOM 생태계에서 결여된 기능을 요구한다.
SSC 보안 도구 설계 시 취약점 전파 효과를 중심으로 한 접근이 필요하다.
소프트웨어 공급망 보안SBOM취약점 전파공급망 보안 도구
양자 엔트로피(QRNG)가 비트코인 프루프-오브-워크 구조에서의 운영 역할
양자 랜덤 넘버 생성기(QRNG)의 엔트로피가 비트코인 프루프-오브-워크(PoW)에서의 성공 확률에 영향을 주는 방식을 분석하고, 엔트로피 효율성 요인(η)과 재부팅 다양성 지수(ρ)를 통해 양자 엔트로피의 운영 가치를 측정하는 벤치마크를 제안한다. 시뮬레이션 결과는 결정론적 및 강력한 고전적 기준선과 동등한 성능을 보이며, QRNG의 가치는 상관된 재시작 결함, 네임스페이스 재사용, 엔트로피 기원과 같은 보안 중심 시나리오에서 드러난다.
이 연구는 양자 엔트로피가 혼합형 양자-고전적 채굴 인프라에서 보안 중심 시나리오에서의 잠재적 가치를 입증하는 시뮬레이션 기반 검증 프레임워크를 제공한다.
양자 엔트로피비트코인프루프-오브-워크QRNG
MIMO 해독이 격자 문제에서의 어려움으로부터 증명되었는가?
MIMO 해독의 계산적 어려움을 격자 문제에서 유도한 Dean and Goldsmith의 증명을 이론적으로 검토하고, 그 증명의 구조적 결함을 분석하였다. 기존 증명은 MIMO 설정에서 모듈러가 아닌 특성으로 인해 LWE 증명의 핵심 구조가 적용되지 않음을 보였다.
MIMO 시스템의 물리 계층 보안에 대한 격자 기반의 계산적 어려움 증명은 기존 연구에서 제시된 방법으로는 확보되지 않음을 실무에서 고려해야 한다.
MIMO격자 문제물리 계층 보안계산적 어려움
TPMSpy: TPM 사용의 저수준 추적을 통한 측정 부팅 시스템 검증
Measured Boot 시스템의 TPM 사용을 저수준에서 추적하여 독립적으로 검증하는 방법을 제안한다. Linux와 Windows에서 적용했으며, systemd 245-258 버전의 Measured Boot 사용 패턴이 넓게 분산되어 있음을 보인다.
Measured Boot 시스템의 실제 보안을 확인하기 위해 TPM 사용 추적 방법을 활용할 필요가 있다.
Measured BootTrusted Platform ModuleTPM시스템 보안
문장 임베딩 공간을 활용한 견고한 커버리스 언어 스테가노그래피
기존 언어 스테가노그래피가 단어 및 문장 수준의 텍스트 변형에 취약한 문제를 해결하기 위해 문장 임베딩 공간에서 작동하는 새로운 기법을 제안한다. 실험 결과, 이 접근법은 단어 및 문장 수준의 변형에도 견고하며 통계 분석에 강한 것으로 나타났다.
이 연구는 자연어를 활용한 은밀한 통신 기법의 신뢰성을 높이는 데 기여할 수 있다.
스테가노그래피임베딩 공간글로벌 리싱크자연어 처리
보안 기능 위치 문제(The Security Feature Location Problem)
소프트웨어 보안은 인증 및 암호화와 같은 보안 기능을 통해 실현되어야 하지만, 시스템이 어떤 기능을 구현하고 어디에 있는지 파악하는 문제를 제시한다. 보안 기능 위치를 파악함으로써 개발자가 보안 구현을 이해하고 의도된 보안 속성이 실행되는지 평가할 수 있도록 한다.
이 연구는 소프트웨어 개발 과정에서 보안 기능의 위치를 정확히 파악하는 방법을 제시하여, 보안 구현의 투명성과 평가를 가능하게 한다.
보안 기능소프트웨어 보안보안 기능 위치소프트웨어 개발
주입과 유출: 전자기 주입과 하드웨어 비선형성을 이용한 사이드채널 유출 조사
연구팀은 전자기 주입을 통해 사이드채널 유출을 증폭하는 새로운 공격 기법을 제안하고, 비선형 하드웨어 구성요소를 이용해 비밀 신호를 전자기 신호로 변환하는 메커니즘을 이론적으로 모델링하고 실험적으로 검증했다. 30미터 이내에서 유선 및 무선 이어폰의 오디오 신호를 도청하는 InjectEave 공격을 설계하고, 스마트홈 기기의 전력 소모량과 아날로그 센서 입력값을 포함한 저주파 비밀 정보의 전자기 유출을 측정했다.
이 연구는 전자기 주입을 통해 사이드채널 공격을 새로운 방식으로 수행할 수 있음을 보여주어, 하드웨어 보안 설계 시 전자기 방해에 대한 고려가 필요하다는 시사점을 제공한다.
사이드채널 공격전자기 주입하드웨어 비선형성보안 분석
포스트-쿼런텀 인증 비용 하의 신뢰 경계와 위임을 통한 자격 증명 폭발력 반경 최적화
자격 증명 폭발력 반경을 줄이기 위해 신뢰 영역과 자격 증명 도출 구조를 최적화하는 방법을 제안한다. 최적 설계는 예상 영향을 최대 36%까지 줄일 수 있다.
실무에서는 신뢰 영역과 자격 증명 도출 구조를 최적화함으로써 자격 증명 폭발력을 줄일 수 있다.
자격 증명 폭발력 반경신뢰 영역포스트-쿼런텀 인증최적화
블록체인 기반 회계 전자 장치의 보안 로깅 분석: 그리스 eSEND 및 myDATA 세금 시스템 평가
이 논문은 그리스의 회계 전자 장치(FEMs)와 세금 정보 시스템(eSEND)에 적용된 블록체인 기반 무결성 메커니즘을 분석하고, 하드웨어 기반 회계 메커니즘과 순수 소프트웨어 기반 청구 인프라의 보안성을 비교한다. 분석 결과, 하드웨어 기반 회계 메커니즘은 거래의 완전성과 손상 저항성을 더 강력하게 보장하는 것으로 나타났다.
이 연구는 디지털 세금 생태계에서 거래 무결성을 보장하기 위해 하드웨어 기반 회계 메커니즘의 필요성을 강조하며, 현재의 전자 청구 프레임워크에서 개선이 필요한 아키텍처적 약점을 드러낸다.
블록체인회계 전자 장치세금 시스템무결성 보장
마이크로아키텍처 부채널 공격의 벤치마킹 실천 평가
마이크로아키텍처 부채널 공격 연구의 벤치마킹 문제를 분석하고 19개의 반복적 결함을 식별했다. 83개 논문 평가에서 평균 5.5개의 결함이 발견되었다.
보안 및 아키텍처 학회에서 벤치마킹의 중요성을 강조하고, 평가의 완전성과 재현성을 확보해야 한다.
마이크로아키텍처부채널 공격벤치마킹연구 평가
NACRE: 네이티브 아키텍처 지원을 통한 기밀 컨테이너 재고찰
NACRE는 RISC-V 기반 하드웨어-소프트웨어 협업 설계를 통해 기밀 컨테이너를 구현하는 새로운 방법을 제안한다. lmbench 시스템콜 및 파이프 지표에서 기존 runc 기준 대비 3.5% 이내, nginx 객체 크기 기준 집계 처리량은 1.9% 낮아졌다.
NACRE는 기존 컨테이너 보안 한계를 극복하고, 성능 저하를 최소화하면서 기밀성을 보장하는 기술로 실무에서 컨테이너 보안 솔루션 선택에 영향을 줄 수 있다.
기밀 컨테이너RISC-V하드웨어-소프트웨어 협업 설계보안 아키텍처
FIDO2 보안 모델의 재평가: 신뢰 경계를 넘어
FIDO2/WebAuthn 인증 시스템의 보안 모델을 재평가하고, 8가지 공격 벡터를 제시하여 실제 배포 조건에서의 보안 속성 부재를 보인다. 공격 벡터는 브라우저 확장, 플랫폼 핸들러 악성코드, 패시브 스니핑, 가상 장치 드라이버, CTAP2 특정 악성코드, USB/하드웨어 임플란트, 악성 USB 허브/도크/확장기, NFC 릴레이 공격이다.
FIDO2 보안은 단순히 암호화 계층에 의존하는 것이 아니라, 브라우저, 운영체제, 하드웨어, 프로토콜 스택, 메타데이터 인프라에 걸친 계층적 대응이 필요하다.
FIDO2WebAuthn보안 모델공격 벡터
스트립된 바이너리에서 장거리 간접 제어 흐름 예측을 위한 이중 가상 허브와 다중 작업 그래프 학습
이 연구는 스트립된 바이너리에서 간접 제어 흐름(ICF) 경로를 예측하기 위해 이중 가상 허브와 다중 작업 그래프 학습을 결합한 ICFlowNet이라는 통합 프레임워크를 제안한다. 실험 결과, 이중 가상 허브는 장거리 F1 점수를 최대 9.13포인트 개선하고, 다중 작업 학습은 최대 5.81포인트 추가 개선하며, 최종 모델은 기존 기준 모델보다 장거리 간접 호출에서 13포인트 이상 F1 점수를 개선한다.
이 연구는 스트립된 바이너리 분석에서 간접 제어 흐름 예측 정확도를 높이는 새로운 방법을 제시하여, 바이너리 보안 분석 도구 개발에 기여할 수 있다.
바이너리 분석ICF 예측ICFlowNet가상 허브
SecDT: TRDP 통신을 위한 프로파일 기반 보안 계층
TRDP 통신의 암호화 보호 부족 문제를 해결하기 위해 경량 보안 계층을 제안하고, 현대 암호 알고리즘을 기반으로 한 보안 프로파일을 구현하였다. 보안 프로파일 협상 절차를 통해 TRDP 단말 장치가 동일한 보안 프로파일을 공유하여 메시지를 처리할 수 있도록 보장하였다.
이 연구는 철도 시스템에서 실시간 TRDP 통신의 보안 강화에 기여할 수 있다.
TRDP보안 계층암호화프로파일 협상
내부 위협 조기 탐지를 위한 베이지안 상관 평형
내부 위협 탐지를 동적 베이지안 게임으로 모델링하고, 전문가 그룹의 협조를 통해 조기 탐지를 실현한다. CERT r6.2 데이터셋에서 28.3%의 사전 탐지율과 1.6% 미만의 오류율을 달성했다.
이 연구는 내부 위협 탐지 시스템 설계에 게임 이론을 적용한 사례로, 기존 방법보다 조기 탐지 성능을 개선할 수 있다.
내부 위협 탐지게임 이론동적 베이지안보안 시스템
권한이 언제 종료되는가? 공급자 경계에서의 효과 폐쇄
권한 취소 완료, 깨끗한 상태, 작업 성공 등이 권한이 있는 작업이 애플리케이션에서 거부하는 효과를 일으킬 수 있는 경로를 남길 수 있음을 지적하고, EFFECTBOUND라는 메커니즘을 제안하여 이를 검증한다. GitHub, Kubernetes, NATS, Kafka에서 효과 폐쇄 실패 사례를 분석하고 해결 방법을 제시한다.
이 연구는 권한 관리 시스템에서 효과 폐쇄를 보장하는 새로운 접근법을 제시하여, 실무에서 권한 취소 및 종료 시점의 보안 취약점을 방지하는 데 도움이 될 수 있다.
권한 관리보안 정책effect closureEFFECTBOUND
SPADE: 연결된 차량 관점에서의 SPaT 공격 탐지
SPADE는 차량 간 통신에서의 SPaT 메시지 무결성을 보호하기 위한 딥러닝 침입 탐지 연구를 위한 라벨이 있는 다중 모달 시뮬레이션 기반 데이터셋이다. SPADE는 6개의 공격 클래스와 1개의 정상 클래스를 포함하며, 180개의 고유 시나리오 실행을 통해 약 189만 개의 라벨이 있는 타임스텝 기록을 생성한다.
이 데이터셋은 차량 간 통신 환경에서의 침입 탐지 시스템 연구를 지원하여, 연결된 차량 보안을 강화할 수 있다.
SPADE차량 간 통신침입 탐지 시스템C-V2X 보안
위험 기반 알림(Risk-Based Alerting)이 사이버보안 알림 피로를 완화할 수 있는가
연구팀은 위험 기반 알림(RBA) 기법을 이진 결정 문제가 아닌 연속 알림 우선순위 문제로 재구성하여 체계적으로 평가했다. 8개의 다양한 알림 데이터셋을 통해 RBA가 특정 가설 조합으로 뛰어난 알림 우선순위 성능(AUROC μ=0.92, σ=0.09)을 달성함을 보였다.
이 연구는 RBA가 실무에서 알림 피로를 완화하고, 복잡한 알림 분류 접근 방식의 기반으로 활용될 수 있음을 시사한다.
위험 기반 알림알림 우선순위사이버보안 알림 피로AUROC
에이전트 결제 프로토콜(Agentic Settlement Protocol)
기존 HTTP 네이티브 결제 프로토콜(x402)을 확장하여 대체 결제 시나리오를 지원하는 Agentic Settlement Protocol(ASP)을 제안한다. ASP는 발행 마감일, 에스크로 만료일, 인벤토리 만료일을 분리한 3단계 홀드 모델과, 채우기 검증 계단, 부분 환불 메커니즘 등을 포함한다.
ASP는 대체 결제 시나리오에서의 취소 및 환불 문제를 해결하며, XDC 네트워크에서 구현될 예정이다.
에이전트 결제 프로토콜Stablecoin결제 시스템ASP
본 페이지의 연구 요약은 공개된 초록을 AI가 한국어로 정리한 것으로, 원문과 차이가 있을 수 있습니다. 정확한 내용은 반드시 원문을 확인하십시오. 본문과 PDF는 제공하지 않으며, 모든 저작권은 각 저자와 발행처에 있습니다.