Научный семинар кафедры. Доклад Медведева О.В.

В четверг 16 сентября 2010 года в 17-20 в аудитории 2448 состоится
заседание научного семинара кафедры системного программирования.

С докладом выступит Медведев Олег Валерьевич.
  

Аннотация доклада:

Доклад будет посвящен участию докладчика в соревновании по программно-аппаратному кодизайну при конференции MEMOCODE 2010 (http://memocode2010.csail.mit.edu/redmine/wiki/memocode2010/Memocode2010).

Задача соревнования этого года была весьма практическая - надо было реализовать сканер, в который поступает сетевой поток, содержащий до 64 TCP соединений, на скорости 500MBit/s.

Сканер выполняет две задачи:

1. Классификация соединений по протоколам верхнего уровня (HTTP, POP3, SN DNS, WorldOfWarcraft, ...).
2. Поиск в потоках атак, применимых к протоколу, работающему в данном потоке.

Соответствие потока определенному классу, либо наличие в нем определенной атаки определяется поиском в потоке регулярного выражения, задающего класс/атаку.

Целью участия в соревновании было применение языка описания аппаратуры HaSCoL на [еще одной] практической задаче. 

  Будет, по-возможности, рассказано о вещах из списка:

• собственно постановка задачи;
• как устроено решение докладчика;
• как его можно было бы модифицировать, чтобы снять те или иные ограничения;   
• как выглядят отдельные куски реализации (код);
• как устроены некоторые другие решения.