
- Nghiên cứu xây dựng một số quy trình phân tích kim loại nặng và thuốc bảo vệ thực vật họ clo trong động vật hai mảnh vỏ nước ngọt
- Nghiên cứu rà soát sự phù hợp tính thực thi của các chính sách đang còn hiệu lực ở vùng Tây Bắc
- Các giải pháp nâng cao hiệu quả tuân thủ pháp luật của người dân vùng Tây Nam Bộ hiện nay
- Tối ưu không trơn: Điều kiện tối ưu và tính chất tập nghiệm
- NGHIÊN CỨU KẾT QUẢ ĐIỀU TRỊ TĂNG SẢN LÀNH TÍNH TUYẾN TIỀN LIỆT BẰNG PHƯƠNG PHÁP BỐC HƠI LƯỠNG CỰC TẠI BỆNH VIỆN QUÂN Y 5
- Một số vấn đề cơ bản trong phát triển bền vững dân tộc Mông ở Việt Nam
- Cấu trúc các tính chất điện tử và truyền dẫn của vật liệu hai chiều và các vật liệu xếp lớp van der Waals giữa chúng
- Ứng dụng công nghệ thông tin trong công tác quản lý và điều hành tại huyện ủy Mỹ Lộc
- Kỹ thuật lập pháp ở Việt Nam hiện nay: Lý luận thực trạng và kiến nghị
- Nghiên cứu sản xuất và ứng dụng chế phẩm vi sinh vật phục hồi sản xuất cây ăn quả trên đất bị nhiễm mặn tại tỉnh Bến Tre



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