Семинар №26 Хаирнуров Тимур "Логический криптоанализ. Применение SAT-решателей в криптографии."

Submitted by VeraZel on Sat, 02/15/2025 - 11:57

Семинар №26

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

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

Дата: 17.02.2025

Время: 15:40

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

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

Event date
Mon, 02/17/2025 - 15:30