Formally verified Montgomery multiplication

DOI10.1007/978-3-319-96142-2_30zbMATH Open1511.68170OpenAlexW2884017946MaRDI QIDQ6043170

Christoph Walther

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96142-2_30

zbMATH Keywords

program verificationmodular arithmeticMontgomery multiplicationtheorem proving by inductionmultiplicative inverses

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Formally verified Montgomery multiplication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6043170)