lOMoARcPSD|16072870 lOMoARcPSD|16072870
Những vấn đề cơ bản trong An Toàn Thông Tin.
1.Mật Mã Hậu Lượng tử(Post-Quantum Cryptograph)
2. Một cách tiếp cận điểm bằng chứng để xác minh chính thức giao thức bảo mật (A proof score
approach to security protocol formal verification) .
3. Kỹ thuật phần mềm và Trí tuệ nhân tạo trong phân tich mã độc (Software Engineering meets Artificial
Intel igence at Malware Analysis) .
4. Đánh giá thiệt hại của khu vực bị ảnh hưởng bởi thiên tai bằng Radar Synthetic Aperture (Damage
assessment of areas affected by natural disasters with Synthetic Aperture Radar).
5. Ứng dụng của các chương trình xác minh và kỹ thuật tổng hợp chương trình về bảo mật, và không can
thiệp đến ReDoS (Applications of program verification and synthesis techniques to security, from non- interference to ReDoS).
6. Khảo sát về hệ sinh thái Ransomware (A survey on ransomware ecosystem).