Fil-C의 소프트웨어 기능을 대상으로 하는 Rowhammer 공격

요약

본 논문은 DRAM의 하드웨어 취약점인 Rowhammer 공격을 다루며, 프로그램 동작과 결함 사이를 연결하는 형식적 프레임워크가 부재한 문제를 지적합니다. 이를 해결하기 위해 확률적 작은 단계 연산 의미론(probabilistic small-step operational semantics)을 제시하여 Rowhammer 스타일의 결함을 모델링했습니다. 이 의미론은 물리적 분리 같은 기존 방어책의 효과를 수학적으로 증명하는 데 사용되었습니다.

핵심 포인트

• Rowhammer는 DRAM의 하드웨어 취약점으로 비트 플립을 유발합니다.
• 프로그램 동작과 결함 사이를 연결할 형식적 의미론이 필요합니다.
• 확률적 작은 단계 연산 의미론으로 Rowhammer 스타일 결함을 모델링했습니다.
• 물리적 분리 방어책의 효과를 분포 독립적인 정리로 증명했습니다.