Feeds

HyPFuzz: 형식 보조 프로세서 퍼징

Summary

HyPFuzz는 형식적 방법을 활용하여 프로세서 퍼징을 개선하는 새로운 접근 방식을 제안합니다. 이 연구는 퍼징 테스트의 효율성을 높이고, 프로세서의 보안 취약점을 발견하는 데 기여할 수 있는 방법론을 탐구합니다. HyPFuzz는 기존의 퍼징 기법과 비교하여 더 나은 성능을 보여주며, 다양한 프로세서 아키텍처에 적용 가능성을 가지고 있습니다.

Content

HyPFuzz: Formal-Assisted Processor Fuzzing - https://arxiv.org/pdf/2304.02485.pdf
Made with SlashPage