Vào ngày 03/04/2023, tại Khoa Toán - Thống kê đã có buổi báo cáo của GS Kreuzer đến từ University of Passau, Đức. Tại buổi semina, GS Kreuzer đã trình bày về chủ đề "Algebraic Modelling". Abstract được cung cấp bên dưới.
Abstract: After introducing the main topics of cryptography and cryptanalysis, we explain a universal method for converting cryptanalytic attacks to the task of solving Boolean polynomial systems. Then we discuss several methods for solving such systems, for instance the Boolean Buchberger Algorithm and the application of SAT solvers. A particularly powerful kind of attacks are fault attacks which we consider next. Using the block cipher LED-64 as an example, we study how to carry out such an attack in an actual case. The remainder of the talk is devoted to introducing a novel solving method for Boolean polynomial systems based on the sRes proof system. We compare this proof system to the previously considered ones and provide some sample applications.
Dưới đây là một số hình ảnh của buổi semina
GS Kreuzer bắt đầu báo cáo
GS Kreuzer báo cáo về chủ đề Algebraic Cryptoanalysis
Trao đổi sau khi kết thúc bài báo cáo
Trao đổi sau khi kết thúc bài báo cáo
Các thầy/cô Khoa Toán - Thống kê cùng đồng nghiệp của GS Kreuzer tham dự buổi báo cáo
Chụp hình lưu niệm sau buổi báo cáo