Схемная сложность, теория сложности в среднем, новые конструкции криптографических примитивов и доказательства их надёжности в ослабленных контекстах
Стадии проекта
Предложение принято
Конкурс завершен
Проект закончен
Проект
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. Проведение научного семинара по теме «Верхние и нижние оценки сложности булевских функций».
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 Разработка программы внедрения результатов НИР в образовательный процесс и плана дальнейшего взаимодействия с приглашённым исследователем.
2.2. Разработка новых конструкций криптографических примитивов, доказуемо надёжных в слабом смысле.
2.3. Доказательство новых оценок на схемную сложность булевских функций.
2.4. Исследование структурных свойств (наличия иерархии по времени, наличия полных задач) в семантических классах сложности в среднем случае.
2.5. Разработка новых конструкций криптографических протоколов аутентификации и/или защиты информации.
2.6. Проведение научного семинара по теме «Сложность в среднем, аутентификация и криптография с открытым ключом».
2.7 Разработка программы внедрения результатов НИР в образовательный процесс и плана дальнейшего взаимодействия с приглашённым исследователем.
Программа
Программа "Научные и научно-педагогические кадры инновационной России" на 2009 - 2013 годы
Программное мероприятие
1.5 Проведение научных исследований коллективами под руководством приглашенных исследователей
профинансировано
профинансировано
профинансировано
Продолжительность работ
2012 - 2013, 15 мес.
Бюджетные средства
2,14 млн
Организация
ФГБОУ ВО "ОмГУ им. Ф.М.Достоевского"
профинансировано
профинансировано