Published March 26, 2021
| Version nfm21
Software
Open
squell/verified-x25519-for-avr: Verified High-speed X25519 for AVR
Creators
Description
This release contains the artefacts/contributions belonging to the publication:
Efficient Verification of Optimized Code: Correct High-speed X25519 published in NASA Formal Methods '21
Accepted version accessible at: https://arxiv.org/abs/2012.09919
The file why3dist.tar.gz (on GitHub) contains binaries (and sourcecode) of the free software required to reproduce the results.
Files
squell/verified-x25519-for-avr-nfm21.zip
Files
(474.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e53ceb43a9cd2202eab5d6e0ec3d8f45
|
474.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/squell/verified-x25519-for-avr/tree/nfm21 (URL)