Семинар №26

Докладчик: Хаирнуров Тимур, студент КБ-31СО

Тема доклада: Логический криптоанализ. Применение SAT-решателей в криптографии.

Дата: 17.02.2025

Время: 15:40

Место: ул. Союзная 144, 7 корпус ЯрГУ им. П.Г. Демидова, аудитория 322.

Аннотация: на этом семинаре мы в общих чертах узнаем о принципах работы некоторых систем шифрования, сформулируем основную идею логического криптоанализа и рассмотрим пример применения SAT-решателя для анализа "игрушечного" потокового шифра.