В своем докладе я хочу рассказать о применении точных математических методов для решения задач информационной безопасности, на примере использования SMT-решателя для автоматической генерации кейгенов.
В качестве введения я планирую провести краткое сравнение синтаксического (сигнатурного) и семантических методов анализа, затем перейти к рассмотрению современных подходов применяемых в семантическом анализе – применение промежуточного языка (IL) и SMT (DPLL).
Слайды в комментариях