0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Yoshan: Algebraic-Circuit Co-Synthesis and Search Methodology of Hardware-Efficient S-Boxes
- 1.Yoshan 엔진으로 S-box 순열과 게이트 회로를 함께 최적화해 4~8비트 S-box 탐색
- 2.31,337개 인증 넷리스트 중 28,305개가 기존 712종 카탈로그 밖의 신규 순열로 분류됨
- 3.42-AND 깊이3 AES급 S-box, 5-AND 깊이1 5비트 쿼틱 S-box 등 최적 회로 다수 발견
- 4.45nm CMOS에서 마스킹·비마스킹 버전을 게이트 단위 합성하고 Z3로 정합성 검증
왜 중요한가?
마스킹 비용(면적·랜덤성·지연)을 좌우하는 S-box 설계를 자동 탐색해 기존 카탈로그 밖의 더 효율적인 신규 후보를 대규모로 제시, 경량·마스킹 암호 하드웨어 설계의 선택지를 넓힌다.
언급 프로젝트
본문 미리보기
Choosing a hardware S-box means balancing cryptanalytic strength (differential uniformity δ, linearity L, and algebraic degree) against circuit cost (AND count and AND depth D). Under masking, non-linear gates dominate silicon area, registers, and fresh randomness, while D sets pipeline latency. As a result, automated searches have largely retreated to quadratic permutations (D = 1), whose slow degree growth forces high cipher round counts. We present Yoshan, a co-synthesis engine that optimizes
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



