3-го марта (вторник) 2020 состоится очередное заседание общемосковского научного семинара «Математические методы обеспечения безопасности информации».

Докладчик: Кривов Георгий Георгиевич — член сообщества независимых наблюдателей Москвы (за реализацией предусмотренных законом избирательных процедур) и территориальной избирательной комиссии района Вешняки города Москвы.

Аннотация: Предлагается обсудить разрабатываемую докладчиком систему электронного голосования, в которой сочетаются множество важных свойств: identity management через децентрализованную сеть доверия (web of trust), возможность работы в изолированном (air-gapped) режиме, средства противодействия манипуляциям, агрегирование по эвристике Шульца, тайна волеизъявления, проверяемость подсчёта, устойчивость к «бандитскому криптоанализу» и возникновению неразрешимых диспутов.

Ядром основного протокола системы является отображение множества шифртекстов на множество соответствующих им открытых текстов с неинтерактивным доказательством биективности на основе случайных частичных проверок (randomized partial checking). Используется схема обязательств на основе простой подгруппы группы точек кривой Ed25519 (unconditionally hiding discrete logarithm commitments, a.k.a. Pedersen commitment scheme).

Разработка ведётся на языке Go, в парадигме «толстый клиент». Исходный код клиентской части будет сделан доступным на условиях лицензии GPLv3.

25-го февраля (вторник) 2020 состоится очередное заседание общемосковского научного семинара «Математические методы обеспечения безопасности информации».

Докладчик: Кошелев Дмитрий, аспирант Université de Versailles Saint-Quentin-en-Yvelines, исследователь АО «ИнфоТеКС», младший научный сотрудник ИППИ РАН.

Аннотация: Будет представлен новый метод сжатия двух точек на обыкновенной эллиптической кривой j-инварианта 0 над конечным полем. Говоря точнее, мы получим явные простые формулы, преобразующие (x,y)-координаты двух точек в некоторые два элемента поля с четырьмя вспомогательными битами.

Чтобы восстановить (на этапе разжатия) исходные точки, предлагается извлечь корень шестой степени из некоторого элемента.

Известно, что во многих случаях это может быть сделано при помощи одного экспоненцирования в поле. Таким образом, новый метод сжатия оказывается намного быстрее классического метода с x-координатами, чей этап разжатия требует два экспоненцирования в поле.

От слушателей не предполагается знания теории дискретных эллиптических кривых, все необходимые для понимания определения и факты будут изложены докладчиком в ходе выступления.

18-го февраля (вторник) 2020 состоится очередное заседание общемосковского научного семинара «Математические методы обеспечения безопасности информации».

Докладчик: Пугачев Илья Борисович, старший преподаватель кафедры ИУ8 МГТУ, один из ведущих российских специалистов-инженеров в области ИБ.

Тема наличия специально внедренных уязвимостей — закладок, в микроконтроллеры периодически появляется на конференциях и публикациях в интернете. С точки зрения разработчика возникает вопрос: насколько скомпрометированы устройства, содержащее данные микросхемы? В каком случае можно доверять заявлению производителя о стойкости механизмов защиты?

Докладчик выдвигает свою концепцию и предлагает провести широкую профессиональную дискуссию на данную тему. В качестве примера рассматривается публикация об уязвимости в процессорах HiSilicon (Cnews) и публикации Google о создании открытой микросхемы OpenTitan для создания «корня доверия» при построение защищенных информационных систем.

11-го февраля (вторник) 2020 состоится очередное заседание общемосковского научного семинара «Математические методы обеспечения безопасности информации».

Докладчик: Владимир Олегович Попов, к.ф.-м.н., директор по научной работе ООО «Крипто Про», один из ведущих российских криптографов.

В докладе представляется обзор атак по сигналам от побочных каналов. В частности, методов DPA, CPA и статистические аспекты анализа сигналов.

Определяется математическая модель атак в терминах систем уравнений специального вида. Приводятся статистические методы решения систем в частных случаях: бинарные системы, модульные (треугольные) системы, блочные системы.

Изложенные материалы основаны на статистических исследованиях бинарных, модулярных и блочных систем уравнений.