Demakov Aleksei Vasil'evich

Publications in Math-Net.Ru

1. Optimization of proverif programs for ake-protocols
   
   Proceedings of ISP RAS, 33:5 (2021),  105–116
2. TreeDL: a language for description of graph structures and operations on them
   
   Num. Meth. Prog., 7:4 (2006),  117–127