TAILIEUCHUNG - Tóm tắt luận án Tiến sĩ Khoa học máy tính: Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân

Luận án với mục tiêu đưa ra một khung thức tổng quát cho việc kết hợp hai kỹ thuật phân tích tĩnh và kiểm tra động nhằm xây dựng đồ thị luồng điều khiển trong phân tích mã nhị phân. Đưa ra một phương pháp tăng tốc thời gian thực thi của chương trình phân tích với cơ chế đa luồng (multithreading) và loại bỏ những đường đi dư thừa (redundant path) đã được xử lý trong chương trình. | Tóm tắt luận án Tiến sĩ Khoa học máy tính: Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đồ thị luồng điều khiển phục vụ phân tích mã nhị phân ĐẠI HỌC QUỐC GIA TP. HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOA NGUYỄN MINH HẢI KẾT HỢP PHÂN TÍCH TĨNH VÀ KIỂM TRA ĐỘNG TRONG VIỆC XÂY DỰNG ĐỒ THỊ LUỒNG ĐIỀU KHIỂN PHỤC VỤ PHÂN TÍCH MÃ NHỊ PHÂN Chuyên ngành: KHOA HỌC MÁY TÍNH Mã số chuyên ngành: TÓM TẮT LUẬN ÁN TIẾN SĨ KỸ THUẬT TP. HỒ CHÍ MINH NĂM 2018 Công trình được hoàn thành tại Trường Đại học Bách Khoa – ĐHQG-HCM Người hướng dẫn khoa học 1: PGS. TS. QUẢN THÀNH THƠ Người hướng dẫn khoa học 2: Phản biện độc lập 1: Phản biện độc lập 2: Phản biện 1: Phản biện 2: Phản biện 3: Luận án sẽ được bảo vệ trước Hội đồng chấm luận án họp tại . . vào lúc giờ ngày tháng năm Có thể tìm hiểu luận án tại thư viện: - Thư viện Khoa học Tổng hợp Tp. HCM - Thư viện Trường Đại học Bách Khoa – ĐHQG-HCM DANH MỤC CÔNG TRÌNH ĐÃ CÔNG BỐ Tạp chí chuyên ngành quốc tế [CT1] Nguyen Minh Hai, Ha Minh Ngoc, Nguyen Thien Binh and Quan Thanh Tho,”Toward an Approach on Probability Distribution for Polymorphic Malware Analysis”, in GSTF Journal on Computing (JOC), Volume 5 (1), pp. 61-68, 2016, ISSN:2251 – 3043 (selected from 7th Annual International Conference on ICT: Big Data, Cloud and Security (ICT-BDCS 2016), Singapore - Best Paper Award). [CT2] Nguyen Minh Hai, Le Nguyen Dung, Nguyen Xuan Mao and Quan Thanh Tho, “Auto- detection of sophisticated malware using lazy-binding control flow graph and deep learning”, Computers & Security Journal, Volume 7, pp. 128-155, July 2017 (SCI-E). [CT3] Pham Phuoc Hung, Md. Golam Rabiul Alam, Nguyen Minh

• Thạc sĩ - Tiến sĩ - Cao học
• Tóm tắt luận án Tiến sĩ
• Khoa học máy tính
• Phân tích tĩnh
• Kiểm tra động
• Xây dựng đồ thị luồng
• Phân tích mã nhị phân
• Dự thảo tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ
• Luận án Tiến sĩ Hóa học
• Luận án Tiến sĩ ngành Hóa phân tích
• Nguyên tố độc hại cho môi trường
• Luận án Tiến sĩ Sinh học
• Luận án Tiến sĩ ngành Di truyền học
• Phân tích ADN
• Tế bào phôi thai tự do trong máu mẹ
• Luận án Tiến sĩ ngành Thực vật học
• Bảo tồn tài nguyên cây thuốc
• Ti nguyên cây thuốc tỉnh Thái Nguyên
• Luận án Tiến sĩ ngành Vi sinh vật học
• Xử lý chất thải hữu cơ
• Luận án Tiến sĩ ngành Hóa sinh học
• Bệnh đốm trắng ở tôm
• Luận án Tiến sĩ Toán học
• Luận án Tiến sĩ ngành Toán ứng dụng
• Phương pháp giải hệ phương trình toán tử
• Luận án Tiến sĩ ngành Hóa vô cơ
• Phức chất hỗn hợp kim loại
• Luận án Tiến sĩ Địạ lí
• Luận án Tiến sĩ ngành Địa lí tự nhiên
• Phát triển nông lâm nghiệp
• Cảnh quan miền núi
• Luận án Tiến sĩ ngành Hóa dầu
• Hệ nhũ tương
• Sự lắng đọng parafin
• Luận Án Tiến sĩ ngành Côn trùng học
• Bộ Phù du
• Bộ Cánh úp
• Bộ Cánh lông
• Luận Án Tiến sĩ ngành Sinh thái học
• Hệ sinh thái hồ Tây
• Sự chu chuyển của asen
• Luận Án Tiến sĩ ngành Hóa hữu cơ
• Loài thực vật thuộc họ rau răm
• Phương trình sai phân phi tuyến
• Tóm tắt dự thảo Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Hóa môi trường
• Phương pháp vi chiết mao quản hở
• Luận án Tiến sĩ Vật lý
• Luận án Tiến sĩ ngành Vật lý địa cầu
• Spread F xích đạo
• Nghiên cứu giám định gen
• Nghiên cứu dân tộc học
• Luận án Tiến sĩ ngành Vi sinh vật
• Nghiên cứu sản xuất vaccine
• Dịch tễ học bệnh than
• Loài thực vật thuộc họ thầu dầu
• Loài thực vật thuộc chi ba bét
• Chất lượng xơ ở cây bông
• Phương pháp lắng đọng hơi hóa học
• Màng mỏng oxit bán dẫn
• Nguyên tố đất hiếm
• Luận án Tiến sĩ ngành Vật lý chất rắn
• Công nghệ chế tạo microlaser
• Tóm tắt Luận án Tiến sĩ Luận án Tiến sĩ
• Luận án Tiến sĩ Địa lí
• Cảnh quan lưu vực sông Lại Giang
• Tính đa dạng thực vậ
• Hệ sinh thái vườn quốc gia Phú Quốc
• Luận án Tiến sĩ Cơ học
• Luận án Tiến sĩ ngành Cơ học vật rắn
• Vật liệu cơ tính biến thiên
• Phi tuyến ổn định tĩnh