20190188

Svetlana Kuzmicheva, Sergey Zapechnikov, Marina Kiryakina

A Technique of Protocol Construction for Detecting Compromise of Secret Keys

Вопрос:
Существуют ли российские аналоги Tamarin Prover?

Ответ:
Большое спасибо за интерес к докладу и актуальный вопрос! В ходе проведения работы, российских аналогов Tamarin Prover найдено не было. Однако существуют и другие инструменты для проведения верификации криптографических протоколов, к примеру: Scyther, scyther-proof и другие.