For citations:

Anikeev M., Madlener F., Schlosser A., Huss S.A., Walther C. Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography. Modeling and Analysis of Information Systems. 2010;17(4):7-16. (In Russ.)