SIBECRYPT — одна из ведущих конференций по криптографии и компьютерной безопасности в России, ежегодно проходящая в разных городах Сибири. Её цель — обсуждение фундаментальных математических проблем криптографии и защиты информации в компьютерных системах и сетях, обмен научными результатами по развитию теоретических основ и созданию программно-аппаратных средств компьютерной безопасности.
Сроки проведения: 2-7 сентября 2024 г.
Место проведения: г. Бийск, Бийский технологический институт (филиал) АлтГТУ,
659305, Алтайский край, г. Бийск, ул. Трофимова, 27
www.bti.secna.ru/ Основные даты:
- Тезисы докладов и заявки на лекции принимаются до 30 апреля 2024 г.
- Информация о принятии доклада будет отправлена до 30 июня 2024 г.
Организаторы:
- Новосибирский государственный университет
- Международный математический центр в Академгородке
- Томский государственный университет
- Бийский технологический институт
- Институт криптографии, связи и информатики Академии ФСБ
- Академия криптографии Российской Федерации
- Московский государственный университет им. М.В. Ломоносов
- Северо-Западный центр математических исследований им. Софьи Ковалевской
Расписание (предварительное):
- понедельник, 2 сентября – заезд.
- 3-5 сентября – пленарные заседания и работа секций конференции.
- пятница, 6 сентября – экскурсионная программа.
- суббота, 7 сентября – отъезд.
Рабочие языки: русский и английский
Тематика конференции имеет математическую направленность, и её научную основу образует прикладная дискретная математика. В соответствии с этим проблематику исследований по тематике школы-семинара составляют проблемы дискретной математики, возникающие в компьютерной безопасности и криптографии.
Они распределяются по следующим основным направлениям:
- теоретические основы прикладной дискретной математики – алгебраические структуры, дискретные функции, комбинаторный анализ, теория чисел, математическая логика, теория информации, системы уравнений над конечными полями и кольцами;
- математические методы криптографии – синтез криптосистем, методы криптоанализа, генераторы псевдослучайных последовательностей, оценка стойкости криптосистем, криптографические протоколы, математические методы квантовой криптографии;
- математические методы стеганографии – синтез стеганосистем, методы стеганоанализа, оценка стойкости стеганосистем;
- математические основы компьютерной безопасности – математические модели безопасности компьютерных систем (КС), математические методы анализа безопасности КС, математические методы синтеза защищенных КС;
- математические основы надежности вычислительных и управляющих систем (ВиУС) – математические модели функциональной устойчивости ВиУС (к отказам, неисправностям, сбоям, состязаниям, исследованию), математические методы анализа функциональной устойчивости ВиУС, математические методы синтеза функционально устойчивых ВиУС, математические методы верификации логических схем и программ, математические методы синтеза самопроверяемых и контролепригодных схем;
- прикладная теория кодирования – коды для сжатия данных и защиты информации, коды для обнаружения и исправления ошибок, построение оптимальных кодов, анализ свойств кодов;
- прикладная теория автоматов – автоматные модели сетевых протоколов, криптосистем и управляющих систем, автоматы без потери информации, эксперименты с автоматами, декомпозиция автоматов, автоматные уравнения, клеточные автоматы;
- логическое проектирование дискретных автоматов – математические модели и методы анализа, синтеза, оптимизации и оценки сложности дискретных автоматов, аппаратная реализация криптоалгоритмов;
- математические основы информатики и программирования – формальные языки и грамматики, алгоритмические системы, языки программирования, структуры и алгоритмы обработки данных, теория вычислительной сложности;
- вычислительные методы в дискретной математике – теоретико-числовые методы в криптографии, вычислительные методы в теории чисел и общей алгебре, комбинаторные алгоритмы, параллельные вычисления, методы дискретной оптимизации, дискретно-событийное и клеточно-автоматное моделирование;
- математические основы интеллектуальных систем – базы данных, базы знаний, логический вывод, экспертные системы, математическая лингвистика;
- прикладная теория графов – графовые модели в информатике и программировании, в компьютерной безопасности, вычислительных и управляющих системах, в интеллектуальных системах;
- исторические очерки по дискретной математике и её приложениям – в криптографии, компьютерной безопасности, кибернетике, информатике