BenX: 계산 정합성 위한 자원 공유 순열
BenX는 하드웨어 가속화와 소프트웨어 실행 효율성을 위해 설계된 순열 기반 해시 함수이다. FPGA에서 Poseidon2와 동일한 처리량을 유지하면서 Goldilocks와 BabyBear에 대해 각각 1.36배와 2.15배 낮은 지연 시간을 보였다.
시사점 BenX는 하드웨어 및 소프트웨어에서의 효율성을 동시에 고려한 해시 함수로, 실무에서 자원 공유를 최적화할 수 있다.
연구 요약과 시사점은 AI가 공개 초록을 정리한 것입니다(AI 생성). 연구를 누르면 원문이 새 창에서 열립니다.
BenX는 하드웨어 가속화와 소프트웨어 실행 효율성을 위해 설계된 순열 기반 해시 함수이다. FPGA에서 Poseidon2와 동일한 처리량을 유지하면서 Goldilocks와 BabyBear에 대해 각각 1.36배와 2.15배 낮은 지연 시간을 보였다.
시사점 BenX는 하드웨어 및 소프트웨어에서의 효율성을 동시에 고려한 해시 함수로, 실무에서 자원 공유를 최적화할 수 있다.
Miranda 서명 체계는 마스킹된 행렬 코드를 기반으로 하며, 이 공격은 마스킹된 행렬 Gabidulin 코드의 Fqm-선형 구조를 복원하여 키를 효율적으로 복구한다. Miranda의 제안된 매개변수에 대해 복잡도가 146비트에서 46비트로 감소한다.
시사점 Miranda 서명 체계의 보안성이 심각하게 약화되었으므로, 해당 매개변수를 사용하는 시스템은 즉시 업데이트하거나 대체 방안을 검토해야 한다.
Grover 알고리즘은 블랙박스 검색에 최적의 이차 질의 이점을 제공한다. 그러나 암호 분석에서 검색은 종종 제품 분포 형태의 확률적 조언과 함께 이루어진다. 이 연구는 주어진 조언 분포에 의해 유도된 양자-클래식 추측 시점 분리를 평가하는 유한 크기의 방법을 제공한다.
시사점 이 연구는 양자 알고리즘의 암호 분석적 효과를 정확히 평가하는 데 도움이 된다.
기존 스마트 HVAC 컨트롤러는 ECDH와 RSA로 보호된 TLS를 사용하지만, 양자컴퓨팅 위협으로 인해 포스트-퀀텀 암호화가 필요하다. 연구팀은 기기, 펌웨어, 벤더 클라우드 변경 없이 ML-KEM-768 및 ML-DSA-65를 기반으로 AES-256-GCM 세션 키를 사용하는 비침투적 PQC 프록시를 제안하고, 라즈베리 파이 4B 게이트웨이에서 구현하여 성능을 평가했다. 500회 실행에서 포스트-퀀텀 핸드셰이크는 2.48ms 소요되며, 32개 동시 연결에서도 100% 성공률을 기록했다.
시사점 이 연구는 기존 스마트 HVAC 시스템을 양자컴퓨팅 위협으로부터 보호하기 위한 비침투적 보안 전략을 제시하여, 기존 인프라에 최소한의 변경으로 포스트-퀀텀 전환을 가능하게 한다.
TLS와 SSH에서 포스트-퀀텀 암호화 연결 설정의 최대 지속 가능 처리량을 추정하는 모델을 제안한다. 실험 결과로 모델 정확도를 보인다.
시사점 이 모델은 네트워크 자원 할당 최적화를 통해 포스트-퀀텀 암호화 도입 시 성능 저하를 예측하고 대응할 수 있다.
CSIDH-512 그룹 작용에 대한 제로지식 증명 기법을 CRT 구조를 활용하여 구축하고, 완벽한 완전성과 특별한 정직 검증자 제로지식, 2-특별 사운드니스를 증명했다. 258비트 모듈러스에서 10^4개의 랜덤 인스턴스를 기계적으로 검증하고, 프로토콜 수준 시뮬레이션에서 95% 신뢰도 내 2^{-t} 사운드니스 경계와 일치하는 몬테카를로 사운드니스율을 보였다.
시사점 CSIDH 기반 제로지식 증명 기법의 구조적 완전성과 보안성을 실증하여, 향후 암호학적 프로토콜 설계에 참고할 수 있다.
WAN에서 사용되는 양자 취약 공개 키 암호체계를 평가하고, 양자 안전한 전환을 위한 프레임워크를 제안한다. TLS 1.3과 IKEv2/IPsec에서 고전적 및 ML-KEM 하이브리드 키 설정을 위한 평가 설계를 정의하고, TLS-H와 TLS-C의 p95 차이가 0.00~0.63ms로 나타났다.
시사점 이 연구는 기업이 양자 컴퓨터 위협에 대비해 WAN 암호체계를 전환할 때 우선순위와 준비 상황을 평가하는 데 도움을 준다.
Classic McEliece 암호 체계에 대한 Hemmert의 키 복구 알고리즘의 계산 비용을 줄이는 새로운 방법을 제안한다. 제타 변환을 활용한 방법으로 인해 키 복구 비용이 7.25~41.19비트 감소한다.
시사점 이 연구는 고전 McEliece 암호 체계의 보안성을 평가하는 데 기여할 수 있으며, 암호 알고리즘 설계 시 고려할 수 있는 새로운 공격 방식을 제시한다.
트랩도어 클라우 프리 함수(TCF) 기반 프로토콜의 키 인증 구조를 추상화하고, 이를 통해 제로지식 증명을 구현하는 방법을 제시한다. 인증 가능한 키 관계와 생성 과정을 정의하고, 이를 다양한 TCF 구현에 적용할 수 있음을 보인다.
시사점 이 연구는 TCF 기반 양자 보안 프로토콜의 키 인증 문제를 해결하는 이론적 기반을 제공한다.
FASTAR은 FRI 프로토콜의 계산 오버헤드를 줄이기 위해 FPGA 기반의 가속기를 제안한다. FASTAR은 HLS를 사용하여 사용자 지정 가능한 하드웨어 구현을 생성한다.
시사점 이 연구는 FPGA를 활용한 FRI 프로토콜 가속화 기법을 제시하여, ZKP의 효율성 향상에 기여할 수 있다.
블록체인에 필요한 포스트 퀀텀 서명 기법을 제안하고, 비트코인과 이더리움 등에 적용해 평가했다. ML-DSA, SLH-DSA, Falcon/FN-DSA, HAWK, MAYO, SNOVA, UOV/QR-UOV, FAEST, SQIsign, LaBRADOR Falcon, Squirrel, Chipmunk, DKKW/LeanSig를 평가했다.
시사점 블록체인의 포스트 퀀텀 전환을 위해 도메인 특화 서명 프로파일이 필요하다는 점을 실무에 반영해야 한다.
기존 전접두사 펀치 가능한 서명 구조는 키 크기의 단점을 보였다. 본 논문은 계층적 ID 기반 서명(HIBS)을 기반으로 키 크기를 O(lQ^Punc)로 줄인 새로운 구성을 제안한다.
시사점 이 연구는 전접두사 펀치 가능한 서명의 효율성을 향상시켜 암호 시스템 설계에 새로운 접근을 제공한다.
임베디드 시스템에서 가벼운 가상화 환경의 포스트-퀀텀 암호(PQC) 성능을 측정했다. 네이티브 실행, 도커 컨테이너, 유니크래프트 유니커널 환경에서 70개 이상의 알고리즘 설정을 평가하여 실행 시간, 메모리, 에너지 소비를 측정했다.
시사점 임베디드 시스템에서 PQC 알고리즘 선택이 성능에 미치는 영향이 환경 선택보다 훨씬 크므로, 에너지 효율적인 알고리즘 선택이 중요하다.
이 연구는 슈퍼싱귤러 타원곡선의 종결 문제를 해결하기 위한 새로운 알고리즘을 제안한다. 제안된 알고리즘은 기존의 가정 없이 시간과 메모리 복잡도 $p^{1/3+o(1)}$로 문제를 해결한다.
시사점 이 연구는 암호 알고리즘 설계에 영향을 줄 수 있으며, 슈퍼싱귤러 타원곡선 기반 암호 시스템의 보안성을 재평가할 필요가 있다.
비밀 공유 시스템에서 라틴 정사각형의 autoparatopism 그룹 궤도를 이용해 비밀 복원 시 누락 정보 문제를 해결한다. 6차 이하 라틴 정사각형의 autoparatopism 기반 critical set 최소/최대 크기를 구했다.
시사점 이 연구는 라틴 정사각형 기반 비밀 공유 시스템의 설계에서 비밀 복원 시 발생하는 문제를 해결하는 이론적 접근을 제시한다.
이진 임베딩에 대한 암호화된 해밍 거리 계산을 위해 퍼일러 기반 클라이언트를 설계하고, 다양한 CPU 및 GPU 구성을 평가하였다. 룩업 GPU 구성에서 43,091개/초의 암호화 처리량과 28,983개/초의 해밍 거리 해독 처리량을 달성하였다.
시사점 이 연구는 대규모 이진 임베딩 데이터의 암호화 처리 성능을 향상시키는 데 기여할 수 있다.
이 연구는 선형 계산을 통해 여러 비밀 간의 관계를 고려한 마스키 비밀 공유 방식의 정보 유출 공격을 분석한다. 기존의 하위체 부호 기반 공격보다 더 넓은 코드 매개변수 범위를 공격할 수 있는 새로운 공격 기법을 제시한다.
시사점 이 연구는 선형 계산을 고려한 비밀 공유 시스템의 보안 취약성을 실증적으로 분석하여, 보다 현실적인 공격 모델을 제시한다.
제로지식 UNSAT 증명 프로토콜의 확장성을 향상시키기 위해 정규화 체인 기법을 제안한다. 기존 ZkUnsat 대비 62% 더 많은 인스턴스를 인증하고 메모리 사용량은 25% 미만으로 줄였다.
시사점 이 연구는 제로지식 증명 기반의 소프트웨어 보증에서 확장성 문제를 해결하는 데 기여할 수 있다.
이 연구는 시노드 디코딩 문제에 대한 대수적 접근을 제시하며, 해밍 가중치 제약 조건을 재정의하고 정보 집합 디코딩 패러다임과 통합하는 방법을 제안한다. 실험적으로 이 접근법의 실현 가능성을 평가하고, 그로브너 기저 기법의 실제 동작을 분석한다.
시사점 이 연구는 대수적 접근을 통해 시노드 디코딩 문제를 해결하는 새로운 전략을 제시하여, 암호 분야에서의 해밍 코드 분석에 기여한다.
기존 Future Toggle 방법의 한계를 극복하기 위해 새로운 통계적 부호 복원 기법인 노말 정렬(Normal Alignment)을 제안한다. CIFAR-10 및 MNIST 모델에서 다항 시간 내에 부호를 완전히 복원할 수 있는 반면, 기존 방법은 지수 시간 복잡도를 가진다.
시사점 이 연구는 하드-라벨 신경망의 암호 분석에서 효율적인 부호 복원 기법을 제시하여, 보안 분야에서 DNN 모델의 취약점 분석에 새로운 접근법을 제공한다.
포스트-쿼런텀 암호(PQC) 이전을 통해 국가의 암호 주권을 평가하는 Readiness-Sovereignty Capability Model(RSCM)을 제안하고, 57개 암호화 주체에 대한 평가를 수행하였다. 20개 국가가 게이트를 통과했으며, 15개는 풀스택 제작자이고 5개는 연구 제작자로 분류되었다.
시사점 국가별 PQC 이전 준비도와 주권 역량을 평가할 수 있는 RSCM 모델을 통해, 암호 주권 강화를 위한 정책 방향을 제시할 수 있다.
본 페이지의 연구 요약은 공개된 초록을 AI가 한국어로 정리한 것으로, 원문과 차이가 있을 수 있습니다. 정확한 내용은 반드시 원문을 확인하십시오. 본문과 PDF는 제공하지 않으며, 모든 저작권은 각 저자와 발행처에 있습니다.