Pisarev Ilya Aleksandrovich

Publications in Math-Net.Ru

1. C# parser for extracting cryptographic protocols structure from source code
   
   Proceedings of ISP RAS, 31:3 (2019),  191–202
2. Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool
   
   Proceedings of ISP RAS, 30:4 (2018),  155–168