I. A. Pisarev, L. K. Babenko, “C# parser for extracting cryptographic protocols structure from source code”, Proceedings of ISP RAS, 31:3 (2019), 191–202
2018
2.
I. A. Pisarev, L. K. Babenko, “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
