Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Anikeev, Maxim Vladimirovich Candidate of technical sciences (2008) Birth date: 25.10.1977 E-mail: Website: https://bit.sfedu.ru/?q=ru/node/207 https://www.mathnet.ru/eng/person63653 List of publications on Google Scholar https://elibrary.ru/author_items.asp?authorid=120988 Publications in Math-Net.Ru Citations 2010 1. M. Anikeev, F. Madlener, A. Schlosser, S. A. Huss, C. Walther, “Automated correctness proof of algorithm variants in elliptic curve cryptography”, Model. Anal. Inform. Sist., 17:4 (2010),  7–16   Organisations Southern Federal University, Rostov-on-Don