Исследователи Стэнфордского университета анонсировали проведение конференции, основными темами которой станут использование основных методов, эмпирический анализ и моделирование рисков для лучшего понимания безопасности и системных рисков блокчейн-протоколов.
Конференция под названием Blockchain Protocol Analysis and Security Engineering пройдет в январе 2017 года и станет частью Cyber Initiative — проекта по изучению биткойна и лежащих в его основе технологий.
Среди предлагаемых к обсуждению тем организаторы конференции называют вызовы техники обеспечения безопасности в криптосистемах, эффективное тестирование блокчейн-протоколов и их имплементацию, формальные методы и символическое выполнение применительно к блокчейну и анализу криптосистем, а также написание и формальную верификацию криптографических кодов.
Также планируется обсуждение инструментов анализа для распределенных систем и криптосистем, ограничения формальных методов в криптографии, логика блокчейн-протоколов и смарт-контрактов.
В руководящий комитет конференции вошли представители Стэнфордского университета Эллисон Берк и Дэн Боне, а также предприниматель Байрон Гибсон, разработчик Bitcoin Core Питер Тодд и профессор кафедры теории вычислительных систем Корнелльского университета и основатель инициативы IC3 Эмин Гюн Сирер.
Запись для желающих выступить с презентацией своих работ будет проведена с 31 октября по 30 ноября.
Напомним, в ближайшие выходные в Милане пройдет третья по счету конференция разработчиков протокола биткойна Scaling Bitcoin.
Источник: Forklog
