End-to-end verification of elliptic curve cryptographic primitives: From specification to secure code

V. V. Erokhin; D. S. Gorin; L. V. Bunina; В. В. Ерохин; Д. С. Горин; Л. В. Бунина

Для цитирования:

Ерохин В.В., Горин Д.С., Бунина Л.В. Сквозная верификация криптографических примитивов на эллиптических кривых от спецификации к безопасному коду. Russian Technological Journal. 2026;14(5):9-25. https://doi.org/10.32362/2500-316X-2026-14-5-9-25. EDN: WSYLCQ

For citation:

Erokhin V.V., Gorin D.S., Bunina L.V. End-to-end verification of elliptic curve cryptographic primitives: From specification to secure code. Russian Technological Journal. 2026;14(5):9-25. https://doi.org/10.32362/2500-316X-2026-14-5-9-25. EDN: WSYLCQ

Просмотров PDF (Rus): 20
Просмотров PDF (Eng): 9

JATS XML

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 2782-3210 (Print)
ISSN 2500-316X (Online)

Логин
Пароль
	Запомнить меня
Регистрация нового пользователя Забыли Ваш пароль?

Войти

Russian Technological Journal

Для цитирования:

For citation:

Использование куки-файлов