
- Nghiên cứu chế tạo và tính chất quang của chấm lượng tử bán dẫn AgInX2 (X=S Se)
- Nghiên cứu chiết tách chuyển hóa hóa học và thăm dò hoạt tính sinh học của các triterpenoid từ Cây rau má Centella asiatica (L) Urban họ Hoa tán [Apiaceae]
- Cơ sở lý luận thực tiễn và những định hướng chính sách lớn xây dựng Luật Tổ chức thi hành pháp luật
- Nghiên cứu đề xuất giải pháp ứng dụng công nghệ thông tin trong đào tạo bồi dưỡng cán bộ công chức ngành Công Thương của Trường Đào tạo bồi dưỡng cán bộ Công Thương Trung ương
- Nghiên cứu xây dựng và áp dụng quy trình điều phối ghép tạng tại Việt Nam
- Nghiên cứu kỹ thuật ít xâm lấn trong điều trị một số bệnh cột sống
- Đánh giá mức độ ô nhiễm dư lượng kháng sinh và mức độ kháng thuốc của chủng Escherichia coli có trong nước thải công nghiệp dược ở Việt Nam
- Bước đầu nghiên cứu phát triển pin nhiên liệu vi sinh vật để sử dụng làm cảm biến sinh học phát hiện tại chỗ sắt và mangan trong các nguồn nước (ở Việt Nam)
- Nghiên cứu cơ sở lý luận và thực tiễn nhằm xây dựng bộ chỉ số đổi mới sinh thái (eco innovation index) hướng tới sản xuất và tiêu dùng bền vững cho Việt Nam
- Nghiên cứu tiềm năng sản phẩm văn hóa du lịch Thanh Hóa phục vụ phát triển kinh tế xã hội Thanh Hóa



- Ứ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