
- Nghiên cứu viên bám dính niêm mạc cho các thuốc khó tan
- Thực trạng và giải pháp nâng cao chất lượng hoạt động của Viện kiểm sát nhân dân khi thực hành quyền công tố kiểm sát điều tra các vụ án hình sự xảy ra trên địa bàn tỉnh Cao Bằng
- Giải pháp tổ chức cơ sở dữ liệu hybrid cho hạ tầng kỹ thuật các công trình giao thông trên địa bàn thành phố Đà Nẵng
- Nghiên cứu tính chất truyền dẫn trong các linh kiện nano dựa trên dị cấu trúc của một số vật liệu tiên tiến
- Nghiên cứu thực hiện phản ứng ghép đôi mới của các hợp chất chứa nhân benzene hoặc dị vòng thơm trong điều kiện xúc tác dị thể
- Nghiên cứu tính chất từ động của các hệ vật liệu Perovskite kích thước nano
- Ứng dụng khoa học công nghệ hoàn thiện quy trình nhân giống nuôi trồng thu sinh khối chế biến tảo xoắn Spirulina tại thành phố Tam Điệp
- Giải pháp cải cách hành chính giai đoạn 2020 - 2025 nhằm phát triển bền vững tỉnh Đắk Nông
- Ứng dụng công nghệ tưới nhỏ giọt kết hợp nhà màng trong canh tác dưa lưới tại huyện Châu Thành tỉnh Tiền Giang
- Động lực học phi tuyến cơ cấu rung va đập theo phương ngang



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