Sponsor of the Day:
Jerkmate
https://formosa-crypto.org/
Formosa Crypto | The Formosa project federates multiple tools and projects in machine-checked...
The Formosa project federates multiple tools and projects in machine-checked cryptography and high-assurance cryptographic engineering under a single banner,...
formosa cryptomultiple toolsmachine checkedprojectfederates
https://project.inria.fr/coqexchange/checking-machine-checked-proofs/
Checking machine-checked proofs – ideas and experiment reports about Coq
machine checkedcheckingproofsideasexperiment
https://eprint.iacr.org/2024/843
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in...
We present a formally verified proof of the correctness and IND-CCA security of ML-KEM, the Kyber-based Key Encapsulation Mechanism (KEM) undergoing...
formally verifyingmachine checkedml kemkyberepisode