В даний час я викладаю невеликий курс (чотири годинні лекції на рівні магістратури) з логічних методів у безпеці , хоча назва Формальні методи в галузі безпеки може бути більш доречною. Він коротко висвітлює такі теми (із пов'язаними логічними методами):
Управління цифровими правами та втілення в життя політики (загальна формалізація, модальна логіка, виконання через автомати)
Доказний код і перевірка автентичності (теорія доказів, логічні системи, ізоморфізм Кері-Говарда, верифікація)
Контроль доступу (некласична логіка, теорія доказів)
Інспекція стека (семантика мови програмування, контекстна еквівалентність, бісимуляція)
Природно, курс має кілька цілей, де однією з них є залучення потенційних аспірантів.
У найближчі роки курс може бути розширений до звичайного курсу, який потребуватиме більше змісту. Зважаючи на те, що фон людей тут сильно відрізняється від мого, я хотів би знати, який вміст ви б включили до такого курсу.