Стэнфордский университет примет блокчейн-конференцию

btc01
btc01

Исследователи Стэнфордского университета анонсировали проведение конференции, главными темами которой станут использование основных методов, эмпирический анализ и моделирование рисков для лучшего понимания безопасности и системных рисков блокчейн-протоколов.

Конференция под названием Blockchain Protocol Analysis and Security Engineering пройдет в январе 2017 года и станет частью Cyber Initiative — проекта по изучению биткоина и лежащих в его основе технологий.

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

Также планируется обсуждение инструментов анализа для распределенных систем и криптосистем, ограничения формальных методов в криптографии, логика блокчейн-протоколов и смарт-контрактов.

В руководящий комитет конференции вошли представители Стэнфордского университета Эллисон Берк и Дэн Боне, а также предприниматель Байрон Гибсон, разработчик Bitcoin Core Питер Тодд и профессор кафедры теории вычислительных систем Корнелльского университета и основатель инициативы IC3 Эмин Гюн Сирер.

Запись для желающих выступить с презентацией своих работ будет проведена с 31 октября по 30 ноября.

Напомним, в ближайшие выходные в Милане пройдет третья по счету конференция разработчиков протокола биткоина Scaling Bitcoin.

Подписывайтесь на ForkLog в социальных сетях

Telegram (основной канал) Discord Instagram
Нашли ошибку в тексте? Выделите ее и нажмите CTRL+ENTER

Рассылки ForkLog: держите руку на пульсе биткоин-индустрии!

*Ежедневная рассылка — краткая сводка наиболее важных новостей предыдущего дня. Чтение занимает не больше двух минут. Выходит в рабочие дни в 06:00 (UTC)
*Еженедельная рассылка — объясняем, кто и как изменил индустрию за неделю. Идеально подходит для тех, кто не успевает за новостным потоком в течение дня. Выходит в пятницу в 16:00 (UTC).

Мы используем файлы cookie для улучшения качества работы.

Пользуясь сайтом, вы соглашаетесь с Политикой приватности.

OK