0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Towards AI-driven Optimization of Robust Probing Model-compliant Masked Hardware Gadgets Using Evolutionary Algorithms
- 1.사이드채널 방어용 마스킹 하드웨어 게이트 최적화에 진화알고리즘 기반 보안 인식형 자동화를 적용, 기존 CAD 흐름과 비교
- 2.기존 CAD 기법(기술매핑·FRAIG 리라이팅·리타이밍)은 최대 60% 개선 가능하나 엄격한 마스킹 제약 하에선 비체계적
- 3.진화적 프레임워크는 보안을 보존하면서 널이베 합성 대비 전력·면적 최대 15% 개선, 동등성 검증과 사이드채널 검증으로 확인
- 4.AES 구현에서는 최신 압축형 마스킹 설계 대비에도 추가 절감 여지가 있음을 확인
왜 중요한가?
기존 CAD 최적화는 마스킹 보안 제약 하에서 결과가 들쭉날쭉했는데, 진화 알고리즘 기반 자동화는 형식적 프로빙 보안을 지키면서도 체계적으로 전력·면적을 줄여, 사이드채널 방어 하드웨어 설계의 실용적 자동화 가능성을 보여준다.
언급 프로젝트
본문 미리보기
Masked hardware design is a central countermeasure against side-channel analysis (SCA), but its practical deployment remains costly due to the overhead and design complexity of secure implementations. To manage this complexity, modern masked circuits are increasingly built from composable masked building blocks, referred to as gadgets. However, improving the implementation quality of such gadgets is challenging because optimization must not violate formal security requirements. This paper stu
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



