|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
1. |
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 |
1
|
|
Organisations |
|
|