Шишкин Евгений Сергеевич

Публикации в базе данных Math-Net.Ru

1. Протокол сертификации целостности облачных вычислений
   
   Труды ИСП РАН, 32:4 (2020),  115–132
2. Проверка функциональных свойств смарт-контрактов методом символьной верификации модели
   
   Труды ИСП РАН, 30:5 (2018),  265–288