
- Ứng dụng quy trình thâm canh cây cà phê kết hợp hệ thống tưới tiết kiệm phù hợp điều kiện canh tác huyện Khánh Sơn tỉnh Khánh Hòa
- Trách nhiệm giải trình của các cơ quan nhà nước trong quá trình xây dựng và thi hành pháp luật - Thực trạng và giải pháp
- Nghiên cứu xây dựng hệ thống chỉ tiêu và phương pháp đo lường năng suất
- Phát triển công nghệ thu nhận Astaxanthin từ mô hình nuôi tảo Haematococus pluvialis trong hệ thống photobioreactor
- Phân tích sự lan tỏa không gian của tham nhũng ở Việt Nam
- Hệ thống hóa phương pháp luận và phương pháp phân tích dự báo cảnh báo kinh tế - xã hội tại Trung tâm Thông tin và dự báo kinh tế - xã hội quốc gia
- Quá trình tiếp biến văn hóa trong tục thờ Thiên Hậu của người Hoa ở miền Bắc Việt Nam
- Đề xuất giải pháp nhằm nâng cao chất lượng tự phê bình và phê bình trong sinh hoạt đảng của các tổ chức đảng trực thuộc Đảng bộ Quân sự tỉnh Quảng Bình trong tình hình mới
- Nghiên cứu chọn tạo dòng gà chịu stress nhiệt (nóng) bằng chỉ thị ADN
- Mô hình tăng trưởng xanh: khuôn khổ cho tái cấu trúc các ngành sản xuất của Việt Nam



- Ứng dụng kết quả thực hiện nhiệm vụ
102.01-2015.16
2018-54-1142/KQNC
Sử dụng phương pháp hình thức để nhận dạng và phân loại mã độc được đóng gói
Trường Đại học Bách khoa TP. Hồ Chí Minh
Đại học Quốc gia TP Hồ Chí Minh
Quốc gia
PGS.TS. Quản Thành Thơ
PGS.TS. Huỳnh Tường Nguyên, PGS.TS. Bùi Hoài Thắng, ThS. Nguyễn Thiên Bình, ThS. Nguyễn Minh Hải, ThS. Lê Ngọc Kim Khánh, ThS. Trần Công Đời, ThS. Lê Đình Thuận
Khoa học máy tính
01/05/2016
01/05/2018
28/12/2017
2018-54-1142/KQNC
06/12/2018
Cục Thông tin Khoa học và Công nghệ Quốc gia
Vấn đề chính mà đề tài này này tập trung giải quyết là sử dụng các phương pháp hình thức (formal methods) để biểu diễn mã nhị phân, từ đó có thể (i) vượt qua được các kỹ thuật đóng gói hiện nay của virus, cụ thể là biểu diễn chính xác được hành vi của virus dưới dạng đồ thị luồng điều khiển (control flow graph); và (ii) phân loại virus dựa trên các dạng biểu diễn hình thức.
Đề tài đã được hiện thực thành công cụ mang tên BE-PUM, được sử dụng trong cộng đồng nghiên cứu phòng chống virus máy tính
Mã độc; Đóng gói; Lý thuyết FCA; Trừu tượng hóa; Nhận dạng; Đồ thị; Phân loại
Ứng dụng
Đề tài KH&CN
Khoa học tự nhiên,
Phát triển công nghệ mới,
Số lượng công bố trong nước: 1
Số lượng công bố quốc tế: 11
Không
04 TS