Resource Center
Blogs
Tech Research
Keeping up with the KEMs, Formally (EasyCrypt Edition)
This blog post describes our project about the formalization and formal verification of binding properties for KEMs in EasyCrypt. In doing so, it tries to assume as little prior knowledge as possible and explain much of the material from the ground up in an intuitive way.
|
September 3, 2025
This blog post describes our project about the formalization and formal verification of binding properties for KEMs in EasyCrypt. In doing so, it tries to assume as little prior knowledge as possible and explain much of the material from the ground up in an intuitive way.
Check out the full article: https://cryptographycaffe.sandboxaq.com/posts/keeping-up-with-the-kems-formally-easycrypt-edition/
