Демаков Алексей Васильевич

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

1. Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа
   
   Труды ИСП РАН, 33:5 (2021),  105–116
2. TREEDL: язык описания графовых структур данных и операций над ними
   
   Выч. мет. программирование, 7:4 (2006),  117–127