0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Low-Latency Low-Randomness First-Order OPINI Gadgets and Their Formal Verification
출처:IACR ePrint (암호학)
AI 인사이트
개발자
- 1.임의 불리언 함수에 적용 가능한 저지연·저랜덤 1차 OPINI 겟 GOM 제안, 기존 HPC4의 2입력 곱셈 제약 극복
- 2.입력 공유값 기반 단항식 마스킹과 난수 재할당 기법을 결합해 1차 OPINI 안전성을 유지하면서 난수 사용량 감소
- 3.3가지 기호적 축소 규칙 기반 형식 검증법을 제안해 HPC4·GOM·OTSM 겟을 20분 내 검증
- 4.Ascon S-box에서 HPC4 대비 면적 21%, 난수 28% 감소, PRESENT·PRINCE·AES로 확장해 FPGA 실험으로 검증
왜 중요한가?
기존 저지연 마스킹 가젯이 2입력 곱셈에 국한됐던 한계를 넘어 임의 불리언 함수에 적용 가능한 범용 가젯을 제시함으로써, Ascon·AES 등 다양한 암호의 하드웨어 마스킹 구현에서 면적과 난수 소비를 동시에 줄이는 실용적 설계 옵션을 제공한다.
본문 미리보기
Masking is an essential countermeasure against side-channel attacks, yet implementing secure and low-latency hardware masking remains challenging. In particular, although OPINI provides strong composability guarantees for single-cycle iterative architectures, the prior low-latency OPINI gadget, HPC4, is limited to two-input multiplication. In this work, we present a low-latency, low-randomness, first-order OPINI gadget applicable to arbitrary Boolean functions, denoted as $\rm GOM$. Independent
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
공유:
#하드웨어마스킹#부채널방어#형식검증
이 글이 만들어진 과정
- 11:24AI 초안
