연구 요약과 시사점은 AI가 공개 초록을 정리한 것입니다(AI 생성). 연구를 누르면 원문이 새 창에서 열립니다.
연구진은 공격자가 서명 요청을 승인하는 서비스에 접근했을 때를 대비하여, 고객의 의도, 거래 효과, 신선한 작업 증거를 확인하는 의도 기반 인출 승인 프로토콜(IWAP)을 제안했습니다. 이 프로토콜은 20회의 시도에서 64개의 동시 시도 중 100 단위의 예산이 고정적으로 유지됨을 검증했습니다.
시사점 백엔드 침해 상황에서 인출 승인 시 독립적인 의도 검증 경계를 설정하는 것이 중요함을 시사한다.
연구진은 표준 IV, Davies-Meyer 피드포워드 및 전체 FIPS 180-4 패딩을 준수하는 19단계 및 20단계 SHA-256에 대한 실제 역상 공격 기법을 도입했다. 19단계 공격은 18초의 테이블 구축 후 중앙값 19.5초 만에 해결 가능하며, 20단계 공격은 $2^{46.6}$회의 CPU 참조 평가가 소요된다.
시사점 이 공격들은 전체 SHA-256를 위협하지는 않지만, 특정 단계의 SHA-256 구현에 대한 공격 가능성을 보여준다.
본 연구는 GF($2^n$) 상의 다항식 평가 기반 해시 함수인 Poly와 Polyval을 재검토하고, 두 방식의 적절한 필드 및 환원 방식을 식별했다. 이론적 분석과 실험 타이밍 결과에 따르면, $n=128$에서는 Polyval이 더 빠르지만 $n=256$ 및 $512$에서는 Poly가 더 빠르다는 것을 발견했다.
시사점 NIST 표준화 과정에서 사용되는 해시 함수 구현 시, 사용되는 필드 및 환원 방식에 따라 Poly와 Polyval 중 더 효율적인 선택지가 달라진다.
본 연구는 두 반쯤 정직한 당사자 간의 후속 정렬 단계에 사용될 수 있는 고정 형태의 MPC 온라인 커널인 BlindStep을 제시한다. 이 커널은 특정 조건 하에서 공개 설정 매개변수, 고정 실행 형태 메타데이터, 전역 오버플로우 비트 및 승인된 Layer-2 공개 정보만을 누설한다.
시사점 협업 추론 과정에서 중간 후보나 로컬 점수 등의 정보가 노출되는 것을 방지하기 위해 MPC 기반의 단일 단계 커널을 적용할 수 있다.
본 연구는 동적 로직 잠금(Dynamic Logic Locking)에 키스트림 재사용 제한(keystream-bit reuse cap)을 통합하여 내부 경로에 키 게이트를 분산시킴으로써 구조적 우회 공격과 바운드된 SAT 공격에 대한 저항성을 높였다. 이 접근 방식은 가장 큰 벤치마크에서 공격자의 무지 기반 무차별 대입 탐색 공간을 $10^{45}$ 이상으로 증가시켰다.
시사점 키스트림 재사용 제한을 적용하면 SAT 솔버가 계산적 절벽(computational cliff)에 도달하여 비밀 키를 노출하지 않고도 공격의 난이도를 급격히 높일 수 있다.
연구진은 결정론적 변형을 가진 CSIDH(Elliptic Curve Diffie-Hellman)의 모든 비밀 의존적 단계가 고정된 지점에서 발생함을 이용하여 공격을 시도했다. 이 공격은 단일 결함으로 실행을 반복하여 키를 복구할 수 있으며, OSIDH-LD의 경우 최대 297번의 오라클 질의로 복구가 가능하다.
시사점 결정론적 알고리즘을 사용할 경우, 공격자가 특정 단계를 반복적으로 결함 주입(fault)하여 키를 복구할 수 있으므로 무작위성 확보가 중요하며, 이에 대한 대응책으로 무작위성을 도입해야 한다.
본 연구는 니더라이터 패러다임을 기반으로 마스킹된 고용량 컨볼루션 코드를 활용한 새로운 양자 내성 암호학 프레임워크를 제시한다. 이 구성은 기존 McEliece 및 Niederreiter 기반 시스템보다 $2^{200}$ 이상의 보안 마진을 달성하며, 병렬 시그니처 트렐리스 복호화기를 통해 효율적인 구현을 지원한다.
시사점 새로운 양자 내성 공개키 암호화 후보군으로서 본 프레임워크는 높은 보안성과 확장성을 가진다.
본 연구는 고정된 라이브러리 기반의 RISC-V 명령어 회로 주변에 가변 암호화 경계를 재구성하는 RV2GC를 제안하였다. 이 기법은 9가지 벤치마크에서 ARM2GC 대비 런타임 비율을 12.81에서 4,043 사이로 나타냈다.
시사점 가변 암호화 프로세서의 효율적인 구현을 위해 명령어 회로의 경계를 최적화하는 것이 중요하다.
본 연구는 양자 알고리즘의 위협을 고려하여 자동차 통신 시나리오에서 PQC 알고리즘들을 비교 평가하였다. 시뮬레이션 결과, Kyber는 낮은 키 캡슐화 메커니즘(KEM) 동작 지연 시간을 보였고, Dilithium은 균형 잡힌 서명 성능을 보였다.
시사점 본 연구에서 얻은 데이터셋은 향후 자동차 시스템의 암호 선택에 대한 연구를 지원할 수 있다.
본 연구는 양자 컴퓨팅 위협에 대응하는 McEliece 암호의 QC-MDPC 코드 디코딩 시 발생하는 실패 문제를 해결하기 위해 R-BGNN을 제안하였다. 이 아키텍처는 시뮬레이션에서 기존 방식 대비 디코딩 실패율(DFR)을 63.7% 감소시키며 수렴 속도를 높였다.
시사점 PQC 알고리즘의 실제 구현에서 발생하는 디코딩 실패는 심각한 보안 취약점이 될 수 있으므로, 이를 해결할 새로운 디코딩 기법에 대한 연구가 필요하다.
본 연구는 대규모 FHE 시스템에서 실행 시간의 71%~85%를 데이터 이동에 소요하는 문제를 해결하기 위해, NAND 플래시 기반 SSD에 새로운 인-스토리지 처리(ISP) 아키텍처를 통합한 Rosemary 시스템을 제안했다. Rosemary는 최신 CPU/GPU 구현 대비 기하 평균 $185.7 imes$의 속도 향상과 에너지 효율 향상까지 달성했다.
시사점 FHE를 실제 대규모 애플리케이션에 적용할 때 발생하는 I/O 병목 현상을 해결하기 위해 저장 장치 수준에서의 가속화가 필요하다.
연구진은 변경되는 소스 버전에 걸쳐 지지 및 반대 추론 의무를 인증하는 revision-bound evidence cuts 프레임워크를 제시했습니다. 이 프레임워크는 SQLite 스캔, 인덱스, 구현된 뷰를 통해 16,824개의 Chogha Mish 레코드를 검증했으며, 340개 행의 NISP 코호트에서 가중치 규칙 변경이 비교를 뒤집을 수 있음을 보였습니다.
시사점 이 프레임워크는 선언된 정책과 독립적으로 고정된 신뢰 루트에 의존하여 특정 계산과 의무를 인증하는 방법을 제공한다.
본 연구는 비동기식 검증 가능 및 완전 비밀 공유 프로토콜의 설계 공간을 분석하고, 대표 프로토콜 7개를 Rust 프레임워크로 구현하여 Grid'5000 플랫폼에서 실험을 수행했다. 실험 결과, 메시지 복잡도만으로는 지연 시간을 예측하기 어려우며, 최적 경로가 복구 비용에 의해 지배될 수 있음을 발견했다.
시사점 이 연구는 비동기식 비밀 공유 프로토콜을 선택하고 구현할 때 설계 결정이 비용에 미치는 영향을 이해하는 데 도움을 준다.
본 연구는 부트스트래핑이나 탈선형화 없이 암호화된 데이터에 직접 계산을 수행하는 GKS 개인 키 FHE 방식의 형식적 보안 분석을 제시하였다. 이 방식은 비트 단위 복호화, 네이티브 암호화 검색 지원, 무한 깊이까지 확장 가능하다는 것을 확인하였다.
시사점 GKS FHE 방식은 특정 운영적 제약 없이 암호화된 상태에서 계산을 수행할 수 있는 잠재력을 가진다.
본 연구는 코드 기반 KEM인 HQC의 키 캡슐화를 패킷 크기에 맞게 스트리밍하는 HqcLethe라는 무상태 키 교환을 제안했다. 이 방식은 이전의 무상태 설계 대비 Raspberry Pi 3B+에서 27배 적은 바이트를 전송하고 9.0배 적은 서버 CPU를 사용했다.
시사점 무상태성을 유지하면서도 메모리 고갈 공격 표면을 제거하는 코드 기반 키 캡슐화 구현이 가능하다.
본 연구는 다면체 코셋 문제(DCP)에 대한 효율적인 양자 알고리즘의 돌파 가능성이라는 가정을 바탕으로, 격자 및 비격자 기반 암호 체계에 대한 이론적 함의를 조사한다. 연구는 다양한 격자 및 비격자 가정들과의 충분한 보장을 비교하고, 특정 알고리즘의 전제 조건과 실제 공격 시나리오를 구분하여 분석한다.
시사점 양자 컴퓨팅의 발전 시나리오에 대비하여 격자 기반 암호의 이론적 취약점과 각 가정의 실제적 의미를 검토할 필요가 있다.
본 연구는 이메일 서비스 단계, 통신 당사자 간 협상, 메시지 암호화 전반에 걸쳐 PQC 배포를 체계적으로 측정했습니다. 측정 결과, 각 서비스 패널의 절반 미만이 PQC를 지원했으며, 단일 제공업체가 하이브리드 지원 중계 도메인의 약 87%를 차지했습니다.
시사점 PQC 도입은 특정 제공업체에 집중되어 있으며, 각 단계별로 상호 운용성 및 실제 사용 가능성 확보가 필요하다.
본 연구는 특정 조건 하의 수신 단어로부터 Gabidulin 코드의 복호화 가능성을 판단하는 문제가 NP-완전임을 증명하였다. 이 증명은 Reed-Solomon 코드에 대한 Guruswami-Vardy 정리의 유사 분석을 제공한다.
시사점 Gabidulin 코드의 복호화 문제에 대한 계산적 난이도에 대한 이론적 이해를 제공한다.
본 연구는 RAG 시스템의 핵심인 ANN 검색에 대해, 기존의 $O( ext{N}^{0.5})$ 시간 복잡도를 가지던 MPC 기반 프로토콜을 개선하여 $O( ext{log N})$ 검색 시간을 달성하는 HNSecW 프로토콜을 제안하였다. 실험 결과, HNSecW는 평문 HNSW의 높은 정확도($ ext{recall} ext{ } ext{90} ext{ extperthousand}$ 이상)를 유지하면서도 이전 연구 대비 $20 imes$ 이상의 효율성 향상을 보였다.
시사점 ANN 검색을 MPC 환경에서 수행할 때, 검색 시간을 로그 시간 복잡도로 줄이는 새로운 프로토콜을 적용할 수 있다.
본 연구는 양자 컴퓨터의 위협에 취약한 분산 사이버-물리 시스템(CPS)을 위해, 암호학적 시대(cryptographic epochs) 간의 인증된 전환을 통해 키 노출을 제한하는 회전 비밀성(rotational secrecy)을 도입하였다. 제안된 PARS-ESL은 권한 있는 검증자 또는 엣지 게이트웨이가 유지하는 블록체인에 보안 상태를 기록함으로써, 자원 제약적인 에이전트가 경량 클라이언트로서 참여할 수 있음을 보여주었다.
시사점 블록체인 기반의 양자 내성 키 에포크 관리는 특정 엣지 AI 및 CPS 보안 제어 워크로드에 대해 실현 가능한 것으로 나타났다.
본 연구는 정보 이론적으로 안전하며 검증자 수가 많은 권한형 블록체인을 위한 다중 검증자 서명 기법인 SILMARILS-MV를 제안하였다. 이 기법은 1000명의 검증자를 가진 분석적 정상 모델에서 ML-DSA-44보다 인증 트래픽이 22배 적고, 100명의 검증자 환경에서 ML-DSA-44보다 거래 처리량이 2.8배 많으며 암호화 CPU 사용량은 67배 적었다.
시사점 기존의 계산적으로 안전한 서명 방식 대신 정보 이론적 안전성을 갖춘 서명 기법을 블록체인에 적용할 수 있는 대안을 제시한다.
본 페이지의 연구 요약은 공개된 초록을 AI가 한국어로 정리한 것으로, 원문과 차이가 있을 수 있습니다. 정확한 내용은 반드시 원문을 확인하십시오. 본문과 PDF는 제공하지 않으며, 모든 저작권은 각 저자와 발행처에 있습니다.