I. A. Pisarev, L. K. Babenko, “C# parser for extracting cryptographic protocols structure from source code”, Труды ИСП РАН, 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”, Труды ИСП РАН, 30:4 (2018), 155–168
