FRESCO는 CHERI 아키텍처에서 그동안 해결되지 않았던 스택 use-after-return 취약점을 막는 하드웨어·소프트웨어 공동설계 기법이다. 스택 포인터에 함수 호출마다 고유한 provenance 색상을 부여해, 파생된 모든 capability가 함수 종료 시 자동으로 무효화되도록 한다. 정적 이스케이프 분석 도구 Color Saver로 색상 부여가 필요한 함수만 선별해 오버헤드를 줄이고, capability-color 세그멘테이션으로 스택과 힙의 시간적 안전성을 동시에 지원한다. CHERI-RISC-V QEMU와 CHERI-Toooba FPGA 구현 결과 NIST Juliet 테스트와 실제 CVE에서 관련 취약점을 모두 차단했으며, SPEC CPU 기준 평균 4%, SQLite·PostgreSQL 기준 10~14%의 낮은 오버헤드를 보였다.

• •스택 포인터에 호출별 provenance 색상을 부여해 함수 종료 시 capability를 하드웨어 차원에서 자동 무효화
• •정적 분석 도구 Color Saver로 색상 부여 대상 함수를 선별해 성능 오버헤드 최소화, 핵심 알고리즘은 Rocq로 검증
• •capability-color 세그멘테이션으로 스택·힙 시간적 안전성을 한 시스템에서 동시 지원
• •NIST Juliet·실제 CVE에서 취약점 전부 차단, SPEC CPU 4%·SQLite·PostgreSQL 10~14% 오버헤드로 실용성 입증