Винарский Евгений Максимович

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

1. Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа
   
   Труды ИСП РАН, 33:5 (2021),  105–116
2. О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени
   
   Модел. и анализ информ. систем, 27:4 (2020),  396–411
3. Совершенные множества путей в полном графе коммутаторов SDN-сети
   
   Труды ИСП РАН, 32:4 (2020),  245–260
4. On the verification of strictly deterministic behavior of timed finite state machines
   
   Труды ИСП РАН, 30:3 (2018),  325–340