Crafting certified elliptic curve cryptography implementations in Coq

समान संसाधन

• Elliptical curve cryptography
  द्वारा: Toh, Zheng Yi.
  प्रकाशित: (2009)
• Weak implementations of elliptic curve cryptography
  द्वारा: Koo, Yu Fang
  प्रकाशित: (2024)
• Elliptic curves and cryptography : a pseudorandom bit generator and other tools
  द्वारा: Kaliski, Burton Stephen
  प्रकाशित: (2005)
• Securing group communication in dynamic, disadvantaged networks : implementation of an elliptic-curve pairing-based cryptography library
  द्वारा: Figueiredo, Rob
  प्रकाशित: (2008)
• Demonstration (web-based) of elliptic curve cryptography calculations
  द्वारा: Lim, De Quan
  प्रकाशित: (2020)