Dự án do NSF tài trợ tập trung bóng đá số vno bảo mật được cải thiện của các thiết bị thông minh
Thứ Tư, ngày 14 tháng 10 năm 2020
Xiaolong Guo của Đại bóng đá số vn, Trợ lý Giáo sư Kỹ thuật Điện và Máy tính, đã nhận được khoản tài trợ ba năm, 250.000 đô la từ Bộ phận Điện toán và Truyền thông của Tổ chức Khoa học Quốc gia cho các hệ thống xác minh chính thức theo định hướng phần cứng cụ thể về tài sản. |Tải xuống ảnh này.
Manhattan - Nhà bóng đá số vn minh, Cơ sở hạ tầng bóng đá số vn minh, Sức khỏe bóng đá số vn minh và nhiều hơn nữa - Danh sách các ứng dụng được nhúng với các cảm biến, phần mềm và các công nghệ khác cho mục đích kết nối và trao đổi dữ liệu với các thiết bị khác tiếp tục thúc đẩy phân tích nghiêm ngặt về phần mềm và phần mềm để đảm bảo an toàn và bảo mật cho các hệ thống này.
Bộ phận Điện toán và Truyền thông của Quỹ Khoa bóng đá số vn Quốc gia đã trao khoản tài trợ ba năm trị giá 250.000 đô la cho Xiaolong Guo, trợ lý giáo sư trongKhoa Kỹ thuật Điện và Máy tính Mike Wiegerstại Đại bóng đá số vn, để nghiên cứu thêm trong lĩnh vực này.
Guo will collaborate on the project "Property-specific Hardware-oriented Formal Verification Modules for Embedded Systems" with Tuba Yavuz, assistant professor of electrical and computer engineering at the University of Florida.
Những điều duy nhất cho cách tiếp cận của họ bao gồm trích xuất mô hình theo hướng thuộc tính và quy trình xác thực thời gian chạy dành riêng cho tài sản để đạt được khả năng mở rộng và độ chính xác trong việc phát hiện các lỗi do tương tác phần mềm phần cứng.
"Nếu thành công, nghiên cứu sẽ cung cấp các phương pháp, công cụ tự động hóa và điểm chuẩn cấp hệ thống cho phép các nhà cung cấp phát hiện các lỗ hổng an ninh và an toàn trong giai đoạn đầu," Guo nói. "Tác động lớn nhất của nó sẽ là đào tạo lực lượng lao động và mở rộng sự tham gia bóng đá số vno các phương pháp chính thức và bảo mật hệ thống nhúng."
Điều này chủ yếu sẽ đạt được thông qua các khóa bóng đá số vn Guo sẽ phát triển và dạy trongCarl R. Ice College of Engineering, Các sự kiện và hợp tác tiếp cận cộng đồng với ngành công nghiệp.
