Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Program Analysis for Security


В курсе будет рассказано о языках программирования, компиляторах и безопасности. Основная цель курса — познакомить студентов с основами этих тем и современными исследованиями, проводимыми в этих областях. Будет рассказано о компиляторах, средах времени исполнения, а также об основных атаках и способах защиты от них. В конце курса будут приведены последние исследования в данной области. Особый акцент будет сделан на реально использующихся системах. Предварительный список тем: переполнение буфера, уязвимости вэб-приложений, надёжность вэб-браузеров и JavaScript. В миникурсе будут освещены некоторые последние результаты исследований в данной области. Особое внимание будет уделено тому, чтобы заинтересовать студентов практическими вопросами и показать, как проходит computer science systems research. Основой миникурса является более длинный курс.

Прочтения курсов

Семестр Отделение
осень 2010 Санкт-Петербург