Регистрация / Вход
Прислать материал

Схемная сложность, теория сложности в среднем, новые конструкции криптографических примитивов и доказательства их надёжности в ослабленных контекстах

Стадии проекта
Предложение принято
Конкурс завершен
Проект закончен
Проект
02.740.11.5192
Организация
ПОМИ РАН
Руководитель работ
Григорьев Дмитрий Юрьевич
Продолжительность работ
2010 - 2011, 19 мес.
Бюджетные средства
3 млн
Внебюджетные средства
0 млн

Информация отсутствует

Участники проекта

Зам. руководителя работ
Гирш Эдуард Алексеевич

Этапы проекта

1
15.03.2010 - 30.11.2010
1.1. Анализ современного состояния исследований по тематике проекта.
1.2. Разработка методики автоматизированного доказательства новых оценок на схемную сложность булевских функций.
1.3. Построение новой вероятностной схемы неотзываемой электронной подписи.
1.4. Доказательство нижней оценки на среднюю сложность обращения явно заданной функции Голдрейха алгоритмами расщепления.
1.5. Проведение научного семинара по теме «Верхние и нижние оценки сложности булевских функций».
Развернуть
2
01.01.2011 - 01.10.2011
2.1. Разработка прототипов программного обеспечения для автоматизированного доказательства новых оценок схемной сложности булевских функций.
2.2. Разработка новых конструкций криптографических примитивов, доказуемо надёжных в слабом смысле.
2.3. Доказательство новых оценок на схемную сложность булевских функций.
2.4. Исследование структурных свойств (наличия иерархии по времени, наличия полных задач) в семантических классах сложности в среднем случае.
2.5. Разработка новых конструкций криптографических протоколов аутентификации и/или защиты информации.
2.6. Проведение научного семинара по теме «Сложность в среднем, аутентификация и криптография с открытым ключом».
2.7 Разработка программы внедрения результатов НИР в образовательный процесс и плана дальнейшего взаимодействия с приглашённым исследователем.
Развернуть

Программа

Программа "Научные и научно-педагогические кадры инновационной России" на 2009 - 2013 годы

Программное мероприятие

1.5 Проведение научных исследований коллективами под руководством приглашенных исследователей
Продолжительность работ
2014 - 2018, 57 мес.
Бюджетные средства
97 млн
Организация
ПОМИ РАН
профинансировано
Продолжительность работ
2012 - 2013, 15 мес.
Бюджетные средства
2,27 млн
Организация
ПОМИ РАН
профинансировано
Продолжительность работ
2009 - 2011, 26 мес.
Бюджетные средства
3,9 млн
Организация
ПОМИ РАН
профинансировано
Продолжительность работ
2012 - 2013, 15 мес.
Бюджетные средства
2,14 млн
профинансировано
Продолжительность работ
2012 - 2013, 16 мес.
Бюджетные средства
4,39 млн
Организация
ИБГ УНЦ РАН
профинансировано
Тема
««Организационно-техническое обеспечение проведения международной молодежной научной школы «Теория сложности вычислений» в рамках фестиваля науки».
Продолжительность работ
2012, 2 мес.
Бюджетные средства
1,2 млн
Количество заявок
1
Тема
Разработка технологии преобразования русской речи в транскрипционное представление с метаданными для автоматического распознавания речевых команд в робототехнике и промышленности.
Продолжительность работ
2014 - 2016, 27 мес.
Бюджетные средства
90 млн
Количество заявок
6
Тема
Проведение комплексных исследований процессов развития системы подготовки рабочих кадров и специалистов среднего звена в контексте социально-экономического развития регионов России
Продолжительность работ
2014 - 2015, 13 мес.
Бюджетные средства
10 млн
Количество заявок
2
Тема
Разработка теоретических основ и реализация методов криптографической защиты информации в сетях связи.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
6,3 млн
Количество заявок
5
Тема
Проведение проблемно-ориентированных поисковых исследований в области малой распределенной энергетики.
Продолжительность работ
2011 - 2012, 16 мес.
Бюджетные средства
120 млн
Количество заявок
44