RUS  ENG
Full version
PEOPLE

Schlosser Andreas

Publications in Math-Net.Ru

  1. 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