A Formal Library for Elliptic Curves in the Coq Proof Assistant-Reference-Cited by-同舟云学术

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Published:2014 Issue: Volume: Page:77-92
ISSN:0302-9743
Container-title:Interactive Theorem Proving
language:
Short-container-title:

Author:

Bartzia Evmorfia-Iro,Strub Pierre-Yves

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-08970-6_6

Reference20 articles.

1. The mathematical components project, http://www.msr-inria.fr/projects/mathematical-components/

2. Avalle, M., Pironti, A., Sisto, R.: Formal verification of security protocol implementations: a survey. In: Formal Aspects of Computing, pp. 1–25 (2012)

3. Lecture Notes in Computer Science;E. Brier,2003

4. Brumley, B.B., Barbosa, M., Page, D., Vercauteren, F.: Practical realisation and elimination of an ecc-related software bug attack. Cryptology ePrint Archive, Report 2011/633 (2011), http://eprint.iacr.org/

5. Charlap, L.S., Robbins, D.P.: Crd expository report 31 an elementary introduction to elliptic curves (1988)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. High-Assurance Field Inversion for Curve-Based Cryptography;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

2. A Coq proof of the correctness of X25519 in TweetNaCl;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06

3. Formal Proof of the Group Law for Edwards Elliptic Curves;Automated Reasoning;2020

4. Deep Generation of Coq Lemma Names Using Elaborated Terms;Automated Reasoning;2020

5. Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol;Lecture Notes in Computer Science;2020