Semina tại Khoa Toán - Thống kê.

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

chuan_bi_bao_cao