Bộ làm mờ phần cứng sử dụng LLM

Bộ làm mờ phần cứng sử dụng LLM

Dấu thời gian: 12:2024 chiều ngày 2 tháng 43 năm XNUMX
Nút nguồn: 2543567

Một bài báo kỹ thuật mới có tiêu đề “Ngoài đầu vào ngẫu nhiên: Làm mờ phần cứng dựa trên ML mới” đã được xuất bản bởi các nhà nghiên cứu tại TU Darmstadt và Đại học Texas A&M.

Tóm tắt
“Các hệ thống máy tính hiện đại phụ thuộc rất nhiều vào phần cứng như nguồn gốc của sự tin cậy. Tuy nhiên, độ phức tạp ngày càng tăng của chúng đã làm phát sinh các lỗ hổng bảo mật nghiêm trọng mà các cuộc tấn công xuyên lớp có thể khai thác. Các phương pháp phát hiện lỗ hổng phần cứng truyền thống, chẳng hạn như hồi quy ngẫu nhiên và xác minh chính thức, đều có những hạn chế. Hồi quy ngẫu nhiên, mặc dù có thể mở rộng nhưng lại chậm trong việc khám phá phần cứng và các kỹ thuật xác minh chính thức thường liên quan đến nỗ lực thủ công và bùng nổ trạng thái. Làm mờ phần cứng đã nổi lên như một cách tiếp cận hiệu quả để khám phá và phát hiện các lỗ hổng bảo mật trong các thiết kế quy mô lớn như bộ xử lý hiện đại. Chúng vượt trội hơn các phương pháp truyền thống về phạm vi bao phủ, khả năng mở rộng và hiệu quả. Tuy nhiên, các bộ làm mờ tiên tiến gặp khó khăn trong việc đạt được phạm vi bao phủ toàn diện cho các thiết kế phần cứng phức tạp trong một khung thời gian thực tế, thường không đạt được ngưỡng bao phủ 70%. Chúng tôi đề xuất một công cụ làm mờ phần cứng dựa trên ML mới, ChatFuzz, để giải quyết thách thức này. Cách tiếp cận của chúng tôi tận dụng các LLM như ChatGPT để hiểu ngôn ngữ bộ xử lý, tập trung vào mã máy và tạo chuỗi mã lắp ráp. RL được tích hợp để hướng dẫn quá trình tạo đầu vào bằng cách khen thưởng các đầu vào bằng cách sử dụng các chỉ số bao phủ mã. Chúng tôi sử dụng bộ xử lý RocketCore dựa trên RISCV mã nguồn mở làm nền tảng thử nghiệm. ChatFuzz đạt được tỷ lệ bao phủ tình trạng là 75% chỉ trong 52 phút so với công cụ làm mờ hiện đại, đòi hỏi khoảng thời gian dài 30 giờ để đạt được phạm vi bao phủ tình trạng tương tự. Hơn nữa, bộ làm mờ của chúng tôi có thể đạt được phạm vi bao phủ 80% khi được cung cấp nhóm giới hạn gồm 10 phiên bản/giấy phép mô phỏng trong khoảng thời gian 130 giờ. Trong thời gian này, họ đã tiến hành tổng cộng 199 nghìn trường hợp thử nghiệm, trong đó 6 nghìn trường hợp tạo ra sự khác biệt so với mô hình vàng của bộ xử lý. Phân tích của chúng tôi đã xác định được hơn 10 điểm không khớp duy nhất, bao gồm hai lỗi mới trong RocketCore và những điểm khác biệt từ Trình mô phỏng RISC-V ISA.”

Tìm kỹ thuật giấy ở đây. Xuất bản tháng 2024 năm XNUMX.

Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni, Rahul Kande, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi.arXiv:2404.06856v1

Dấu thời gian:

Thêm từ Bán kỹ thuật