Using SPARK to prove 255-bit Integer Arithmetic… | The AdaCore Blog - discu.eu

Hacker News

Using SPARK to Prove 255-Bit Integer Arithmetic from Curve25519 https://blog.adacore.com/using-spark-to-prove-255-bit-integer-arithmetic-from-curve25519 10 comments 11/5/2019

Reddit

Using SPARK to prove 255-bit Integer Arithmetic from Curve25519 https://blog.adacore.com/using-spark-to-prove-255-bit-integer-arithmetic-from-curve25519 3 comments 11/5/2019 programming

Linked pages

ImperialViolet - A shallow survey of formal methods for C code https://www.imperialviolet.org/2014/09/07/provers.html 26 comments
GitHub - mit-plv/fiat-crypto: Cryptographic Primitive Code Generation by Fiat https://github.com/mit-plv/fiat-crypto 2 comments

Related searches:

Search whole site: site:blog.adacore.com

Search title: Using SPARK to prove 255-bit Integer Arithmetic… | The AdaCore Blog

See how to search.

Submit link to: