For citations:
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
Views PDF (Eng): 9
JATS XML

























