RUS
ENG
Full version
PEOPLE
Walther Christoph
Publications in Math-Net.Ru
Automated correctness proof of algorithm variants in elliptic curve cryptography
Model. Anal. Inform. Sist.
,
17
:4 (2010),
7–16
©
Steklov Math. Inst. of RAS
, 2024
