0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Connecting Cryptanalytic Distinguishers through Divisibility
- 1.선형·적분·차분-선형·제한차분 구분자를 2의 거듭제곱 가분성(divisibility)으로 연결하는 통합 이론 제시
- 2.MILP/SAT 기반 자동화 모델로 SIMON 계열 674개 사례, PRESENT의 가분성 한계를 기존보다 대폭 개선
- 3.SPECK·BEANIE에서 세계 최초로 고차 가분성 입증, GIFT-64·Ascon 새 경계, SKINNY-64 정확한 카운트 제시
- 4.RC5, ChiLow-32, KeeLoq, KATAN32에서 단일비트 탐색으로는 놓쳤던 새 출력비트 조합 특성 발견
왜 중요한가?
다양한 경량 블록암호(SIMON, SPECK, GIFT, Ascon 등)의 암호분석 한계를 동시에 끌어올려, 실제 표준·후보 암호의 안전 마진 재평가에 직접적인 근거를 제공한다.
본문 미리보기
Integral distinguishers can reveal more than a zero-sum property: the number of ones in an output component may be divisible by a high power of $2$, rather than merely being even. To exploit this divisibility, we relate linear, integral, differential-linear, and restricted differential sums through two-way conversions with explicit divisibility guarantees and data complexity, recovering established links as special cases. We derive exact random-permutation probabilities and rigorous bounds to qu
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



