|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2010 |
1. |
M. Anikeev, F. Madlener, A. Schlosser, S. A. Huss, C. Walther, “Automated correctness proof of algorithm variants in elliptic curve cryptography”, Модел. и анализ информ. систем, 17:4 (2010), 7–16 |
|