Semenov Aleksandr Mikhailovich

Publications in Math-Net.Ru

1. Methodology for assessing the security of cryptographic protocols
   
   Prikl. Diskr. Mat., 2022, no. 56,  33–82
2. Implantation of Russian key agreement protocols into TLS 1.3
   
   Prikl. Diskr. Mat. Suppl., 2018, no. 11,  62–65
3. Analysis of Russian key-agreement protocols using automated verification tools
   
   Mat. Vopr. Kriptogr., 8:2 (2017),  131–142