|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
1. |
A. Yu. Nesterenko, A. M. Semenov, “Methodology for assessing the security of cryptographic protocols”, Prikl. Diskr. Mat., 2022, no. 56, 33–82 |
1
|
|
2018 |
2. |
S. V. Grebnev, E. V. Lazareva, P. A. Lebedev, A. Yu. Nesterenko, A. M. Semenov, “Implantation of Russian key agreement protocols into TLS 1.3”, Prikl. Diskr. Mat. Suppl., 2018, no. 11, 62–65 |
1
|
|
2017 |
3. |
A. M. Semenov, “Analysis of Russian key-agreement protocols using automated verification tools”, Mat. Vopr. Kriptogr., 8:2 (2017), 131–142 |
1
|
|
Organisations |
|
|