LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
-
Updated
Oct 1, 2026 - Python
#
easycrypt
Here are 2 public repositories matching this topic...
SLH-DSA (FIPS 205) in Jasmin for AArch64 and x86-64, with EasyCrypt proofs. Under development.
x86-64 aarch64 post-quantum-cryptography formal-verification jasmin hash-based-signatures easycrypt slh-dsa fips-205
-
Updated
Oct 15, 2026 - Python
Add this topic to your repo
To associate your repository with the easycrypt topic, visit your repo's landing page and select "manage topics."