FIT.HCMUS thân mời Quý Thầy Cô, Nghiên cứu sinh, Học viên Cao học và các bạn Sinh viên tham gia Seminar với tựa đề “Formal Specification and Verification of Post-quantum Cryptographic Protocols with Proof Scores” do 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 Kĩ thuật Tiên tiến Nhật bản (JAIST) – trình bày với thông tin như sau:
Thời gian tổ chức: 10h00-11h30, Thứ Năm ngày 23/10/2025
Địa điểm tổ chức: Phòng I.71, Cơ sở 227 Nguyễn Văn Cừ, phường Chợ Quán, Tp.HCM
Tóm tắt chủ đề:
It is expected that practical-scale quantum computers will emerge in the near future, rendering most public-key cryptosystems insecure due to Shor’s algorithm. Consequently, post-quantum cryptographic primitives have been actively studied, and several existing high-level security protocols–such as TLS–have been revised to withstand attackers equipped with practical quantum computers.
In this talk, we present two case studies. These studies formally specify post-quantum OpenPGP and post-quantum SSH using CafeOBJ, an algebraic specification language, as observational transition systems (OTSs). We then formally verify that the protocols satisfy certain desired properties using proof scores.
In the case of post-quantum SSH, we identified a counterexample that violates the authentication property. We revised the protocol accordingly and formally verified that the updated version satisfies the property.
Thông tin về diễn giả: Kazuhiro Ogata received the B.S., M.S., and Ph.D. degrees in engineering from Keio University, in 1990, 1992, and 1995, respectively. He is currently a Professor with the Japan Advanced Institute of Science and Technology (JAIST) and the Director of the Research Center for Advanced Computing Infrastructure at JAIST. His research interest includes the applications of formal methods to systems, such as distributed systems and security protocols.
Các bạn Sinh viên, Học viên Cao học và Nghiên cứu sinh quan tâm, vui lòng đăng kí qua link: https://link.hcmus.edu.vn/dangkiSeminar23102025
Thời hạn đăng ký: Từ nay đến 15h00, Thứ Ba ngày 21/10/2025
Số lượng:
- Trực tiếp: 50 người tham dự / 1 buổi (Ưu tiên những bạn đăng kí sớm nhất)
- Trực tuyến: 300 người tham dự / 1 buổi (Link tham dự sẽ gửi qua email cho người đăng kí)
Thông tin người phụ trách: Cô Nguyễn Trần Thục Uyên (Email: nttuyen@fit.hcmus.edu.vn)