Vào ngày 23/10 vừa qua, Khoa Công nghệ Thông tin đã tổ chức Seminar chủ đề “Formal Specification and Verification of Post-quantum Cryptographic Protocols with Proof Scores” với sự tham gia và trình bày bởi GS. Kazuhiro Ogata – Giáo sư tại trường Khoa học Thông tin và Giám đốc của Trung tâm Nghiên cứu Cơ sở hạ tầng Máy tính Tiên tiến (Research Center for Advanced Computing Infrastructure) tại Viện Khoa học Công nghệ Tiên tiến Nhật bản (JAIST), thông qua 2 hình thức trực tiếp và trực tuyến. Qua buổi seminar này, sinh viên đã có dịp lĩnh hội những kiến thức cơ bản về đặc tả hình thức và kiểm chứng một số giao thức mã hoá hậu lượng tử, thảo luận về một số nghiên cứu mới nhất gần đây. Kết thúc buổi Hội thảo, các bạn đã có cơ hội thảo luận và đặt câu hỏi trao đổi sôi nổi cùng diễn giả.