역변환 기반 S-box의 선형 자기 대칭성 연구
암호
본 연구는 역변환 기반 S-box의 선형 또는 아핀 변환에 따른 비자명 선형 자기 대칭성의 발생 빈도를 연구했다. 그 결과, AES S-box는 비자명 선형 자기 대칭성을 갖지 않음을 증명했다.
시사점 이 연구는 암호학적 구성 요소의 대칭성 분석에 대한 이론적 기준을 제공한다.
S-box대칭키 암호선형 대칭성유한체
(새 창에서 원문 열기)RESEARCH
연구·리포트 참고 자료
이번 주 연구
연구 요약과 시사점은 AI가 공개 초록을 정리한 것입니다(AI 생성). 연구를 누르면 원문이 새 창에서 열립니다.
연구 목록
분산형 다중 권한 속성 기반 암호의 암호 분석 및 복구
암호연구진은 기존의 분산형 다중 권한 속성 기반 암호 구성에 대해 공격을 성공적으로 수행했으며, 이 결함은 LSSS 행렬 정규화 불변성을 잘못 확장한 데서 비롯됨을 밝혀냈다. 연구진은 좌표별 마스크를 독립적인 완전 선형 공유로 대체하여 수정된 스킴을 제안하고, 이를 통해 정적 보안을 증명하였다.
시사점 기존의 분산형 다중 권한 속성 기반 암호 구성은 특정 조건 하에서 평문 복구 공격에 취약하므로, 보안 강화를 위한 수정이 필요하다.
Attribute-Based EncryptionMulti-authorityCryptanalysisABE(새 창에서 원문 열기)정규 시그니처 복호화(RSD) 문제의 구체적 난이도 재평가
암호연구진은 정규 시그니처 복호화(RSD) 문제에 대한 정교한 하이브리드 대수 공격을 통해, 기존에 사용되던 많은 매개변수 설정이 예상보다 훨씬 쉽게 해결될 수 있음을 보였다. 이 공격은 특정 응용 분야에서 128비트 목표보다 낮은 공격 비용을 가지며, PCG 벤치마크에서 이전 공격 비용을 최대 29.77 및 25.91 비트 향상시켰다.
시사점 기존에 사용되던 RSD 기반 응용 분야의 매개변수 설정들은 그 난이도가 과대평가되었을 가능성이 있으므로 보안 강도를 재검토해야 한다.
Syndrome DecodingRSDAlgebraic AttackCryptography(새 창에서 원문 열기)제한적 장치 및 마이크로컨트롤러에서의 TLS 1.3 PQC 테스트
암호연구진은 wolfSSL을 사용하여 다양한 PQC 알고리즘 조합을 네 가지 장치에서 벤치마킹하며 핸드셰이크 지연 시간과 에너지 소비를 측정했다. 그 결과, 특정 조건에서 최적의 PQC 조합이 고전적 조합보다 TLS 핸드셰이크를 더 빠르게 완료하거나 에너지 효율적임을 발견했다.
시사점 PQC의 성능은 구현 및 아키텍처에 따라 크게 달라지며, 가장 제약적인 장치에서도 순수 PQC가 하이브리드 또는 타원 곡선 대안보다 경쟁력을 가질 수 있다.
TLS 1.3PQCIoTMicrocontroller(새 창에서 원문 열기)빅 시크릿, 작은 공유: 안전 다자간 컴퓨팅 재검토
암호본 연구는 기존의 두 가지 아이디어를 결합하고 'compact sharing'이라는 새로운 변형을 도입하여 다단계 MPC 설정에서 통신 비용의 비점근적 감소를 달성했다. 이 프로토콜은 정적 반쯤 정직한 공격자에게 완벽한 보안을 제공하며, 확장 차수와 공격 임계값 사이에 명시적인 상충 관계를 갖는다.
시사점 이 연구는 다자간 컴퓨팅의 통신 오버헤드를 줄이는 새로운 이론적 접근 방식을 제시한다.
MPCMulti-party ComputationCompact SharingCommunication Complexity(새 창에서 원문 열기)스칼라 중복 제거를 통한 영지식 증명 가속화 연구
암호본 연구는 타원 곡선 암호학에서 병목 현상을 일으키는 다중 스칼라 곱셈(MSM)의 점 병합 단계에 새로운 스칼라 중복 제거(SRE) 알고리즘을 적용하였다. 이 알고리즘은 표준 Pippenger의 버킷 방법을 기반으로 운영 횟수를 25% 줄이고 실행 시간을 30% 단축하여 ZKP 시스템의 실행 시간을 10~20% 감소시켰다.
시사점 MSM 연산의 병목을 해결하기 위해 SRE 기법을 적용하여 ZKP 시스템의 전반적인 실행 속도를 향상시킬 수 있다.
Multi-Scalar MultiplicationZero-Knowledge ProofScalar Redundancy EliminationECC(새 창에서 원문 열기)QKD-PQC 하이브리드 네트워크의 키 희소성 관리를 위한 분산 키 관리 시스템
암호본 연구는 QKD의 물리적 제약과 PQC의 종단 간 보호를 결합한 하이브리드 네트워크에 SDN 기반의 제어 평면을 도입하여 키 공급을 관리하는 분산 키 관리 시스템(DKMS)을 제시하였다. 이 컨트롤러는 다섯 가지 네트워크 토폴로지에서 모든 키 버퍼를 6분 이내에 가득 채웠으며, 과도한 수요 시에는 통제된 속도 제한을 통해 안전하게 거부하였다.
시사점 QKD와 PQC를 결합한 대규모 네트워크 환경에서 키 자원의 효율적이고 안정적인 할당을 위해 중앙 집중식 글로벌 오케스트레이션이 필요하다.
QKDPQCDKMSSDN(새 창에서 원문 열기)5G V2X 통신을 위한 양자 시드 기반 분산 양자 후 그룹 서명
암호본 연구는 양자 키 분배(QKD) 시드를 활용하여 중앙 컨트롤러와 도로변 검증자 사이에 분산된 해시 기반 동적 그룹 서명(DGSP) 체계인 qDGSP를 제안하였다. 시뮬레이션 결과, qDGSP-EA는 5G 셀당 하나의 그룹 서명을 바인딩하며, 부하 조건에서 전달률이 약 78%에서 93%까지 향상됨을 확인하였다.
시사점 양자 시드를 활용한 새로운 그룹 서명 체계는 5G V2X 통신 환경에서 양자 공격에 대비한 인증 메커니즘을 제공한다.
Post-Quantum CryptographyV2XGroup SignatureQKD(새 창에서 원문 열기)곱셈-적재(MWC) 의사난수 생성기
암호본 연구는 MWC 생성기가 가지는 모듈러 구조적 한계를 분석하고, 이를 극복하기 위해 가중 평균을 이용한 적합성 평가 기준을 제시하였다. 그 결과, 모든 알려진 테스트를 통과하며 192비트의 상태를 가진 64비트 생성기인 MWC192X를 제안하였다.
시사점 MWC 생성기를 사용할 경우, 상태 비트 수와 승수 선택에 따라 생성기의 품질을 평가하고 최적화할 필요가 있다.
MWCPseudorandom Number GeneratorLattice StructureMultipliers(새 창에서 원문 열기)페블링의 원자성 부재: 순수 및 얽힘 페블링 간의 다항식적 분리
암호본 연구는 메모리 기반 함수의 보안성을 측정하는 그래프 페블링 모델에서 순수 페블링과 얽힘 페블링이 다항식적으로 다를 수 있음을 보인다. XOR 연산을 허용하는 공격자가 레이블 대신 인코딩된 상태를 유지할 경우, 순수 페블링보다 다항식적으로 적은 메모리로도 목표를 달성할 수 있음을 보였다.
시사점 순수 페블링 모델은 메모리 기반 함수의 현실적 모델링에 있어 근본적인 한계를 가질 수 있다.
Graph PebblingMemory-Hard FunctionsEntangled PebblingPure Pebbling(새 창에서 원문 열기)클라이언트 측 CKKS 인코딩 및 암호화를 위한 결합 스트리밍 FPGA 아키텍처
암호본 연구는 동형 암호(Homomorphic Encryption)의 클라이언트 측 입력 처리를 위해, 부동 소수점 인코딩과 정수 변환을 병렬로 수행하는 스트리밍 FPGA 아키텍처를 제시하였다. Altera Agilex 7 구현은 471 MHz에서 초당 5,143개의 암호문을 생성했으며, 이는 동일 워크스테이션의 SEAL-Embedded CPU 작업자보다 높은 성능을 보였다.
시사점 FPGA를 활용하여 동형 암호화의 클라이언트 측 데이터 준비 및 암호화 과정을 가속화할 수 있다.
Homomorphic EncryptionFPGACKKSStreaming Architecture(새 창에서 원문 열기)제약적 및 범용 아키텍처에서의 양자내성암호 에너지 소비 분석
암호본 연구는 NIST 표준화된 세 가지 PQC 알고리즘(ML-KEM, ML-DSA, SLH-DSA)의 키 생성, 서명, 검증 연산을 다양한 IoT 및 노트북급 하드웨어에서 계산 성능과 에너지 소비 측정을 수행했다. 그 결과, SLH-DSA의 32비트 장치 서명 시 에너지 비용이 동등한 64비트 하드웨어 대비 최대 243% 높게 나타나 자원 제한적 환경에서의 적용에 부적합함을 발견했다.
시사점 IoT 환경에서 PQC 마이그레이션을 계획하는 실무자는 각 알고리즘의 하드웨어별 에너지 및 속도 효율성을 고려해야 한다.
Post-Quantum CryptographyPQCML-KEMML-DSA(새 창에서 원문 열기)숨겨진 정수 피드백에 대한 정확한 컴파일 및 자원 법칙
암호본 연구는 예측 가능한 부호 단위 참여와 모든 물리적 출력의 완전 관찰 하에서 합리적 피드백 메커니즘을 연구하였다. 특정 조건 하에서 정확한 유한 법칙점 컴파일이 가능하며, 이는 각 제약 조건에 따라 손실 허용치와 점근적 경계를 정량화한다.
시사점 이 연구는 주어진 제약 조건 하에서 정보 전달의 정확도와 자원 사용 간의 수학적 트레이드오프를 분석한다.
Integer FeedbackInformation TheoryCompilationLoss Allowance(새 창에서 원문 열기)Pearl 블록체인의 Proof of Useful Work(PoUW)에 대한 연구
암호본 연구는 Pearl 블록체인의 PoUW 방식을 체계적으로 특성화하고, 민감도 조건을 검증하는 효율적인 알고리즘을 제시한다. 이 특성화는 채굴자가 자신의 필요에 따라 계산 정확도와 채굴 효율 사이의 균형을 맞출 수 있는 유연한 PoUW 방식을 가능하게 한다.
시사점 PoUW 방식의 민감도 특성화를 통해 채굴자가 자신의 필요에 맞는 자율적인 운영이 가능하다.
Proof of Useful WorkPoUW블록체인민감도 분석(새 창에서 원문 열기)등가 비선형 시프트 레지스터 변환 및 Espresso
암호본 연구는 스트림 암호 Espresso의 NFSR 등가성에 대한 근본적인 문제를 분석하며, 기존 변환 방법론의 결함을 지적하고 새로운 변환 프레임워크를 통합했다. 이를 통해 특정 LFSR 설계를 Espresso의 대안 NFSR으로 변환하고 출력 등가성을 달성하는 데 성공했다.
시사점 Espresso의 NFSR 등가성 문제에 대한 분석은 해당 암호의 보안적 취약점을 이해하는 데 기여한다.
EspressoNFSRLFSRStream Cipher(새 창에서 원문 열기)Aspire: 동적 암호화 데이터베이스에 대한 실용적 배치 질의 지원
암호본 연구는 의미론적 누설(semantic leakage)에 기반한 누설 공격에 대응하기 위해, 제한적 제로-누설 보안을 만족하는 암호화 데이터베이스 Aspire를 제안하였다. Aspire는 $2^{22}$ 키-값 쌍 데이터베이스에서 평균 질의 지연 시간 1.38ms 미만 및 통신 비용 약 2.95 KB를 달성함을 실험적으로 보였다.
시사점 암호화된 데이터베이스를 운영할 때, 공격으로부터 데이터를 보호하면서도 효율적인 질의 및 업데이트를 지원하는 제로-누설 메커니즘을 고려해야 한다.
Encrypted DatabaseZero-LeakageLeakage-abuse AttackAspire(새 창에서 원문 열기)RAMP: 서비스형 양자 안전 키 분배를 향한 연구
암호본 연구는 QKD 기반 키 분배를 서비스 형태로 제공하는 RAMP 프레임워크를 제안하고, 서비스 제공자와 사용자 측의 보안 도메인을 분리하여 신뢰 의존성을 완화한다. 실험적으로 구현 시, M4 Pro CPU에서 평균 키 증류 처리량 2.1Kb/s를 달성하며 서비스 제공형 QKD 처리를 시연하였다.
시사점 QKD를 서비스 형태로 제공할 때, 서비스 제공자와 사용자 측의 보안 경계를 명확히 설정하는 것이 중요하다.
QKD양자 키 분배RAMP서비스형(새 창에서 원문 열기)작업증명 블록체인에서 자본 비용이 네트워크를 보호하는 메커니즘 연구
암호본 연구는 거래 수수료 시장을 바탕으로 작업증명 블록체인의 채굴 간격(mining gap)을 모델링하고, 이 간격이 네트워크의 해시파워에 따라 어떻게 진화하는지를 분석했다. 자본 비용이 존재할 경우, 이는 장기적인 균형 해시파워를 결정하고 채굴 간격이 전체 라운드를 차지하는 것을 방지한다.
시사점 블록체인 운영에서 자본 비용은 네트워크의 해시파워 규모를 제한하고 채굴 간격의 무한한 성장을 막는 역할을 한다.
Proof-of-Work블록체인채굴 간격자본 비용(새 창에서 원문 열기)다자간 비밀 동시 메시지(PSM)의 대칭 부울 함수 복잡도 분석
암호본 연구는 $n$개 당사자가 입력 비트를 가질 때 대칭 부울 함수를 계산하는 PSM 프로토콜의 통신 복잡도를 연구하였다. 이를 통해 특정 함수에 대해 $ ext{OR}_n$에 $ ext{MAJ}_n$ 및 $ ext{EMAJ}_n$에 $ ext{MOD}_q$에 대한 하한을 증명하고, 모든 대칭 부울 함수에 대해 총 통신 $ ilde{O}(n^{3/2})$의 상한을 구성하였다.
시사점 PSM 프로토콜의 통신 복잡도에 대한 새로운 하한 및 상한을 제시하여 해당 모델의 이론적 이해를 심화시킨다.
Multiparty Private Simultaneous MessagesPSMCommunication ComplexityBoolean Function(새 창에서 원문 열기)SMT 기반의 저수준 MPC를 위한 보안 타입 및 정확성 검증
암호본 연구는 Prelude/Overture 프레임워크로 작성된 프로토콜의 정확성, 기밀성, 무결성을 자동으로 검증하기 위해 새로운 Hoare 논리와 타입 이론을 개발했다. 이 접근 방식은 SMT 검증을 활용하며 구성적이고 확장 가능하다.
시사점 MPC 프로토콜의 보안 속성을 형식적으로 검증하는 새로운 방법을 제시한다.
Secure Multi-Party ComputationMPCHoare logicType theory(새 창에서 원문 열기)클라이언트 동시성을 고려한 S3 호환 객체 스토리지의 양자내성 키 캡슐화 벤치마킹
암호본 연구는 S3 호환 객체 스토리지에서 다수의 클라이언트가 동시에 접근할 때 ML-KEM을 적용했을 때의 성능을 측정하였다. ML-KEM은 클라이언트 프로세서가 거의 최대 부하에 도달했을 때만 처리량 감소를 일으켰으며, 이 경우 4.0%에서 4.9%의 감소가 관찰되었다.
시사점 양자내성 암호화를 객체 스토리지에 적용할 때의 지속적인 비용은 저장 공간이며, 이는 기존 키 교환 대비 객체당 1,056바이트의 추가 저장 공간을 필요로 한다.
Post-Quantum CryptographyML-KEMS3 Object StorageKey Encapsulation(새 창에서 원문 열기)
본 페이지의 연구 요약은 공개된 초록을 AI가 한국어로 정리한 것으로, 원문과 차이가 있을 수 있습니다. 정확한 내용은 반드시 원문을 확인하십시오. 본문과 PDF는 제공하지 않으며, 모든 저작권은 각 저자와 발행처에 있습니다.