“Московские выборы можно взломать за 20 минут”. Француз раскритиковал код системы интернет-голосования

Анна Луганская

На американском сайте появилось исследование системы интернет-голосования для выборов в Московскую городскую думу в сентябре 2019 года. Если верить автору публикации Пьеррику Годри, схема шифрования у этой системы, мягко говоря, слабовата.

В среду, 14 августа, на сайте arXiv.org была опубликована работа французского учёного Пьеррика Годри (Pierrick Gaudry), которая озаглавлена так:

Взлом схемы шифрования московской системы интернет-голосования (Breaking the encryption scheme of the Moscow internet voting system).

Сайт arXiv.org предоставляет пользователям интернета со всего мира открытый доступ к более, чем миллиону электронных материалов по физике, математике, информатике, экономике и другим наукам. В описании сайта указано,  что “все публикации на сайте должны соответствовать академическим стандартам Корнеллского университета” и что arXiv.org принадлежит непосредственно университету, финансируется им и Фондом Саймонса.

Сам по себе Корнеллский университет или Корнелл – один из крупнейших и известнейших университетов США, который входит в элитную Лигу плюща. Но исследование Годри проводилось не в Корнелле, а на родине исследователя – во Франции. Слово CARAMBA в описании документа – название команды исследователей из французских исследовательских центров: научно-исследовательского института цифровых наук в Нанси (INRIA Nancy), лаборатории исследований по информатике Национального центра научных исследований (LORIA CNRS) и Университета Лотарингии (Université de Lorraine).

Команда CARAMBA (“Карамба”) занимается в том числе научными исследованиями в области криптографии и информационной безопасности. И именно к этой области относится документ, опубликованный Годри.

Исследование посвящено системе интернет-голосования, которую московское правительство планирует применить во время выборов в Московскую городскую думу в сентябре 2019 года. Ещё в начале марта 2019 года было объявлено, что на этих выборах будет проведён эксперимент по электронному голосованию. Госдума РФ окончательно приняла закон об экспериментальном интернет-голосовании в мае 2019 года, и тогда же его подписал президент Владимир Путин.

По словам автора исследования, эту систему голосования начали публично тестировать в конце июля, и тогда же часть исходного кода опубликовали на Github – веб-сервисе для хранения и разработки IT-проектов. Во время открытого тестирования перед его участниками стояла задача расшифровать данные менее, чем за 12 часов – именно столько будут проходить выборы в сентябре.

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

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

По словам исследователя, закрытые ключи (private keys) легко можно вычислить из предоставленных (public keys), а как только они становятся известны, любые зашифрованные по этой схеме данные могут быть моментально расшифрованы.

Годри предполагает, что данная схема шифрования будет использоваться для шифрования бюллетеней, а это значит, что, вполне возможно, голоса всех избирателей можно будет деанонимизировать. Перед тем как опубликовать свою работу, француз связался с разработчиками кода – и те уже дали ответ.

Они признают, что ключи слишком малого размера, и планируют обновить их до 1024 бит.

Впрочем, сам учёный считает, что этих мер всё равно будет недостаточно. Он указывает, что следовало бы обновить ключи хотя бы до 2048 бит, но подчёркивает, что, если его гипотеза верна, проблема состоит не только и не столько в этом.

Основная часть работы – описание стратегии, при помощи которой можно получить все закрытые ключи. Целиком с исследованием можно ознакомиться здесь. А в выводах Годри объясняет, как на практике мог бы быть применён его алгоритм:

Накануне дня выборов компьютеры должны быть подготовлены, программное обеспечение загружено, скомпилировано и протестировано. Как только начнутся выборы, открытые ключи станут доступны для шифрования избирательных бюллетеней. С помощью стратегии, которую мы только что описали, злоумышленник может получить все закрытые ключи менее, чем за 10 минут, используя три стандартных персональных компьютера, или даже меньше, если у него есть доступ к более мощной машине.

Впрочем, пока что московские власти беспокоятся из-за грядущих выборов по другим причинам. Начиная с конца июля, в столице каждую субботу проходят акции из-за недопуска независимых кандидатов. Несогласованный митинг 27 июля запомнился участникам и наблюдателям по-настоящему огромным количеством задержаний.

А согласованный митинг 10 августа стал крупнейшим протестным мероприятием в России с 2011 года. На проспект Сахарова вышли десятки тысяч человек – в том числе Face, Oxxxymiron, Юрий Дудь и Данила Поперечный.

Семилетка не знала, как писать эссе, но выдала золото. Так учитель и узнал, что растит философа уровня Джокера Семилетка не знала, как писать эссе, но выдала золото. Так учитель и узнал, что растит философа уровня Джокера Обустраиваем гнездышко киберспортсмена. Обзор мощнейшего десктопа MEG Trident X от MSI Обустраиваем гнездышко киберспортсмена. Обзор мощнейшего десктопа MEG Trident X от MSI Мэттью Перри запостил фото со съёмок «Друзей». Чендлер Бинг вернулся, но фанаты ставили лайки недолго Мэттью Перри запостил фото со съёмок «Друзей». Чендлер Бинг вернулся, но фанаты ставили лайки недолго Чёрная машина превращается в белую и обратно за секунду. Если Зазеркалье существует, работает оно именно так Чёрная машина превращается в белую и обратно за секунду. Если Зазеркалье существует, работает оно именно так Жажда лучшего. Как работает «умный» напиток idrinq и почему кофеин и гуарана — позавчерашний день В угол точно не поставят, думала школьница на удалёнке (зря). Ведь учителя умеют наказывать в стиле киберпанка В угол точно не поставят, думала школьница на удалёнке (зря). Ведь учителя умеют наказывать в стиле киберпанка Авокадо-тосты и смузи-боулы из "Пятерочки". Как питаться здоровой едой и не переплачивать Авокадо-тосты и смузи-боулы из "Пятерочки". Как питаться здоровой едой и не переплачивать Блогерша узнала, как чуть не осталась без папы. Несколько неосторожных слов жены, и киллер уже вышел на работу Блогерша узнала, как чуть не осталась без папы. Несколько неосторожных слов жены, и киллер уже вышел на работу Блогерша сходила на свидание и посмотрела видео с него. Зря она раньше не заметила, как выглядело её лицо На фото в вёдрах жидкость разного цвета, но это обман. Узнав реальный оттенок спирта, вы помчитесь к физичке Дедуля сел за Skyrim, но не справился с управлением. То, как он просил помощи в оффлайне, растрогало геймеров Дедуля сел за Skyrim, но не справился с управлением. То, как он просил помощи в оффлайне, растрогало геймеров Почему не стоит покупать вещи в секондах. Модница нашла в кармане б/у пиджака аргумент, с которым не поспорить Почему не стоит покупать вещи в секондах. Модница нашла в кармане б/у пиджака аргумент, с которым не поспорить Хозяйка гадала, как пёс выбирается из закрытой комнаты. Камера дала ответ — её питомец стал учеником Гудини Хозяйка гадала, как пёс выбирается из закрытой комнаты. Камера дала ответ — её питомец стал учеником Гудини Мама пошла в магазин, а стала героиней квеста. Самое интересное началось, когда она заглянула в свою тележку Мама пошла в магазин, а стала героиней квеста. Самое интересное началось, когда она заглянула в свою тележку Депутаты из Японии ходят с огромными животами. Не от хорошей жизни, их внешность — помощь будущим мамам Депутаты из Японии ходят с огромными животами. Не от хорошей жизни, их внешность — помощь будущим мамам Кончина супруга Елизаветы II и вторая свадьба принца Чарльза связаны. Это теория, где балом правит леди Ди Кончина супруга Елизаветы II и вторая свадьба принца Чарльза связаны. Это теория, где балом правит леди Ди Мальчик за два дня собрал миллионы фолловеров на YouTube. И все они плачут, ведь знают причину такого успеха Мальчик за два дня собрал миллионы фолловеров на YouTube. И все они плачут, ведь знают причину такого успеха Жених вошёл в дом невесты и пожалел тут же. Вместо любви всей жизни на пороге его ждал баг Google Maps Университет в США принял 500 тысяч студентов разом, а те не рады. Ещё бы, ведь абитуриенты о вузе и не слышали Университет в США принял 500 тысяч студентов разом, а те не рады. Ещё бы, ведь абитуриенты о вузе и не слышали Что будет, если съесть 10 000 калорий за день. Блогер узнал, и для любителей фастфуда у него хорошие новости Что будет, если съесть 10 000 калорий за день. Блогер узнал, и для любителей фастфуда у него хорошие новости Блогер показал Бали на карантине, и туристы льют слёзки. Вместо райских вилл – кадры постапокалипсиса Блогер показал Бали на карантине, и туристы льют слёзки. Вместо райских вилл – кадры постапокалипсиса Блогер собрал машину Джеймса Бонда, повторив функции оригинала. Огнемёт под капотом – только начало Блогер собрал машину Джеймса Бонда, повторив функции оригинала. Огнемёт под капотом – только начало Блогерша зажигала с Леонардо Ди Каприо, но актёр делает вид, что не знает. Поздно, Лео, тикток помнит всё Барбер постриг бездомного, и люди звонят в полицию моды. Прятать такую внешность – преступление против красоты Барбер постриг бездомного, и люди звонят в полицию моды. Прятать такую внешность – преступление против красоты Родители сфотографировали дочь на фоне ТВ, а там — история. Теперь кадру место в музее о 9/11 Родители сфотографировали дочь на фоне ТВ, а там — история. Теперь кадру место в музее о 9/11 Стендапер закинул вещи в стиралку и чуть не поседел. Из барабана с ним пытался связаться призрак майора Тома Стендапер закинул вещи в стиралку и чуть не поседел. Из барабана с ним пытался связаться призрак майора Тома Тиктокеры выменивают на торгах принцессу Диану и Чедвика Боузмана. И это мем, который зашёл слишком далеко Доктор Стрэндж, ты не закрыл портал. Блогер показал необычный отель в Лондоне, и видео бьёт по реальности Кид Кади надел платье, и в Сети пожар. Курта Кобейна в рэпере видят, а вот мужчину – нет Кид Кади надел платье, и в Сети пожар. Курта Кобейна в рэпере видят, а вот мужчину – нет Спанч Бобу пора переезжать из Бикини Боттом. В Италии его ждёт то, о чём герой мультика мечтал в каждой серии Спанч Бобу пора переезжать из Бикини Боттом. В Италии его ждёт то, о чём герой мультика мечтал в каждой серии Супруги услышали плач в саду и испугались, ведь у них нет детей. Под кустом таился тот, кто думал наоборот Супруги услышали плач в саду и испугались, ведь у них нет детей. Под кустом таился тот, кто думал наоборот Блогерша нашла в парке и яйцо и не зря взяла его с собой. Через месяц у неё дома открылся новый район Дакбурга Блогерша нашла в парке и яйцо и не зря взяла его с собой. Через месяц у неё дома открылся новый район Дакбурга Малдер, Скалли, по коням, возможно, НЛО. Велосипедист увидел круги на поле, подошёл, а там овцы хоровод водят Малдер, Скалли, по коням, возможно, НЛО. Велосипедист увидел круги на поле, подошёл, а там овцы хоровод водят Мама похудела на 40 кг и лишилась лица (буквально). С архивных фото смотрит незнакомка с чужой внешностью Мама похудела на 40 кг и лишилась лица (буквально). С архивных фото смотрит незнакомка с чужой внешностью Девушка показала, как одевалась, чтобы впечатлить парня, и это фиаско. Ведь на фото не понять, кто из них кто Девушка показала, как одевалась, чтобы впечатлить парня, и это фиаско. Ведь на фото не понять, кто из них кто Знали, как 200 лет назад звали жирафа? Мы тоже, пока страница из старого учебника не разорвала все шаблоны