Spectre, Meltdown 같은 마이크로아키텍처 공격은 캐시나 추측 실행 같은 최적화가 소프트웨어에서 관측 가능한 부작용을 노출시켜 보안을 위협하지만, 하드웨어-소프트웨어 사이의 전통적 추상화 계층인 명령어 집합 구조(ISA)는 설계상 마이크로아키텍처 세부사항을 추상화해 그 보안적 영향을 반영하지 못한다. 이 공백을 메우기 위해 등장한 새로운 보안 추상화가 '하드웨어-소프트웨어 유출 계약(leakage contract)'인데, ISA 수준에서 사이드채널 유출을 특징지어 프로그래머와 컴파일러가 마이크로아키텍처를 직접 고려하지 않고도 사이드채널 공격에 증명 가능하게 저항하는 코드를 생성하도록 돕고, 하드웨어 설계자에게는 의도치 않은 사이드채널을 만들지 않았음을 보장하는 명세를 제공한다. 이 논문은 이 신흥 주제의 토대를 소개하며 최근 연구 성과와 미해결 과제를 함께 논의한다.

• •ISA가 마이크로아키텍처 보안 영향을 반영하지 못하는 '추상화 공백'을 지적
• •이를 메우는 새 보안 추상화인 '하드웨어-소프트웨어 유출 계약' 개념의 토대 소개
• •프로그래머·컴파일러가 마이크로아키텍처를 직접 다루지 않고도 사이드채널 저항 코드 생성 가능
• •하드웨어 설계자에게도 의도치 않은 사이드채널 부재를 보장하는 명세로 활용 가능, 미해결 과제 논의