Дни компьютерных наук — 2018

Зарегистрироваться

Спикер: Евгений Алексеев, начальник отдела криптографических исследований КриптоПро

Стандартный метод построения криптосистем, который использовался на протяжении очень долгого времени, состоит в том, чтобы создать систему, попробовать ее «сломать», переделать так, чтобы появившиеся атаки не проходили, попробовать «сломать» еще раз и т.д. Этот метод безнадежно устарел. Современный подход основан на принципах так называемой доказуемой стойкости, которая хоть и не позволяет полностью решить проблему отсутствия методов доказательства несуществования эффективных методов взлома, но позволяет минимизировать возникающие из-за нее негативные эффекты. В докладе будет рассказано о сути данного подхода, который активно применяется специалистами компании КриптоПро и на основе которого они разработали ряд российских и международных стандартов в области криптографической защиты информации.

Спикер: Андрей Куликов, заместитель начальника отдела защиты сетей КриптоПро

Протокол TLS в настоящее время широко применяется для защиты передаваемых данных через сети общего пользования, в частности через Интернет. В докладе будет дан краткий обзор технологии инфраструктуры открытых ключей (PKI), лежащей в основе как TLS, так и других протоколов. Дополнительно будут рассмотрены практические задачи и пути их решения, возникающие при организации защищенного взаимодействия абонентов при аутентификации пользователей с использованием сертификатов открытых ключей.

Спикер:Антон Тарасенко, Руководитель продукта Тинькофф Бизнес, расскажет, какие тренды актуальны в области Open API и как его команде удается делать жизнь предпринимателей лучше.

Программные технологии – это бурно развивающаяся отрасль науки и техники, методы создания критичных по надежности и безопасности систем – одно из важнейших направлений развития компьютерных наук. "Бурное" развитие имеет свои положительные и отрицательные стороны. Можем ли мы нейтрализовать риски тотального распространения не очень надежных и не очень безопасных программных систем? Если можем, то где и как?

Ответ на первую часть вопроса очевиден, но и вторая тоже стала приобретать смысл. Уже разрабатываются проекты суперкомпьютерных систем космического базирования. Изложение лекции будетпостроено с историческим и футуристическим уклоном. Например, несколько месяцев назад инженеры JPL включали двигатель коррекции на аппарате Voyager-1, который не включался с 1980 года. Основная проблема была в том, что управляющий программный код был выполнен на давно забытом примитивном языке ассемблера. Кстати, последних 25-30 лет считалось, что Voyager летит только для Гиннеса, но в настоящее время актуальными стали разведчики околоземного пояса астероидов, которые могли бы перемещаться от одного объекта к другому на протяжении десятилетий. 

Основными драйверами космических технологий сегодня являются космическая связь, дистанционное зондирование Земли и космический интернет. Этот тренд будет существовать не менее 10 лет, и в ближайшее время мы увидим, как эти технологии будут входить в жизнь общества. Но существуют ли проекты в космосе, которые выходят за пределы околоземных спутников? Несмотря на высокую стоимость организации космических миссий и большую цену ошибки, существуют космические проекты нацеленные далеко за пределы геостационарной орбиты. Появляются частные космические компании и стартапы, ожидается появление новых рынков и бизнесов в космосе: космический туризм, производство в космосе, разработка астероидов и строительство лунных и марсианских баз. Зачем всё это нужно и насколько  реально?

В своем докладе Антон расскажет о том, как устроено современное представление о солнечной активности, движениях и сроке жизни солнечных пятен, а также о том, как солнечная активность связана с синхронизирующимися маятниками в Курамото-модели дифференциальных уравнений (применяемой в физхимии, биологии, медицине и анализе транспортных потоков) и случайными процессами.