임계값 스윕을 이용한 검증된 DRAM 주소 매핑 역공학

원문 발행 2026. 10. 22. 05:03원문 언어 영어AI 한국어 번역arXiv cs.AR 원문 보기

요약

본 글은 임베디드 LPDDR5 시스템의 DRAM 주소 매핑 함수를 역공학하고 검증하는 엔드투엔드 소프트웨어 파이프라인을 제안합니다. 지연 시간 데이터셋과 임계값 스윕을 통해 후보 뱅크 마스크를 찾고, 선형 제약 조건 솔버와 그룹/단일 함수 검증 단계를 거쳐 주소 매핑의 정확성을 높입니다. 이 방법론은 ARM 기반 장치에서 강력한 메모리 분석 및 Rowhammer 연구에 활용됩니다.

핵심 포인트

임계값 스윕을 이용해 DRAM 주소 매핑 함수를 역공학하는 파이프라인을 제안했습니다.
지연 시간 데이터셋과 Knock-Knock 스타일 솔버로 뱅크 마스크를 복구합니다.
그룹 검증 및 단일 함수 검증으로 주소 지정 함수의 정확성을 체계적으로 검증합니다.
ARM 기반 임베디드 장치에서 강력한 메모리 분석 방법을 제공합니다.

우리는 임베디드 LPDDR5 시스템에서 DRAM 주소 매핑 함수를 해결하고 검증하기 위한 엔드투엔드(end-to-end) 소프트웨어 파이프라인을 제안하며, 이를 임베디드 플랫폼에 구현했습니다. 주소 쌍의 대규모 지연 시간 데이터셋에서 시작하여, 이 파이프라인은 먼저 지연 시간 히스토그램(latency histogram)을 구축한 다음, 임계값 스윕(threshold sweep)을 수행하여 후보 동일 뱅크 주소 쌍을 얻습니다. 각 임계값에 대해, 우리는 Knock-Knock 스타일의 선형 제약 조건 솔버(linear-constraint solver)를 적용하여 후보 뱅크 마스크를 복구합니다. 최종 뱅크 마스크는 GF(2) 축소 행 사다리꼴 형태(reduced row echelon form, RREF)를 사용하여 계산됩니다.

정확성을 검증하기 위해, 우리는 선행 연구에서 영감을 받은 그룹 검증(group verification)과 단일 함수 검증(single function verification)의 두 가지 검증 단계를 구현했습니다. 그룹 검증은 복구된 마스크에 의해 유도되는 뱅크 파티션이 관찰된 타이밍 동작과 일치하는지 확인합니다. 단일 함수 검증은 주소 지정 함수 중 하나를 제거하고 그 결과로 발생하는 검증 통과율의 변화를 측정합니다.

단 하나의 추론된 매핑만 반환하는 접근 방식과 달리, 우리의 워크플로우는 각 후보 임계값에 대해 해결된 뱅크 마스크와 검증 메트릭을 체계적으로 기록합니다. 이 파이프라인은 ARM 기반 임베디드 장치에서 더 강력한 뱅크 마스크 선택을 지원하며, DRAM 주소 매핑 함수를 역공학하고 후속 Rowhammer 분석을 수행하는 효율적인 방법을 제공합니다.

AI 자동 생성 콘텐츠

원문 바로가기

임계값 스윕을 이용한 검증된 DRAM 주소 매핑 역공학

요약

핵심 포인트

댓글