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

1.1. Анализ современного состояния исследований по тематике проекта.
1.2. Разработка методики автоматизированного доказательства новых оценок на схемную сложность булевских функций.
1.3. Построение новой вероятностной схемы неотзываемой электронной подписи.
1.4. Доказательство нижней оценки на среднюю сложность обращения явно заданной функции Голдрейха алгоритмами расщепления.
1.5. Проведение научного семинара по теме «Верхние и нижние оценки сложности булевских функций».

2.1. Разработка прототипов программного обеспечения для автоматизированного доказательства новых оценок схемной сложности булевских функций.
2.2. Разработка новых конструкций криптографических примитивов, доказуемо надёжных в слабом смысле.
2.3. Доказательство новых оценок на схемную сложность булевских функций.
2.4. Исследование структурных свойств (наличия иерархии по времени, наличия полных задач) в семантических классах сложности в среднем случае.
2.5. Разработка новых конструкций криптографических протоколов аутентификации и/или защиты информации.
2.6. Проведение научного семинара по теме «Сложность в среднем, аутентификация и криптография с открытым ключом».
2.7 Разработка программы внедрения результатов НИР в образовательный процесс и плана дальнейшего взаимодействия с приглашённым исследователем.