Sofia, Goutam Tamvada

Using EasyCrypt and Jasmin for post-quantum verification

This blogpost will touch upon how to practically use Jasmin and EasyCrypt to achieve better security guarantees when verifying KEMs

SGSofia, Goutam Tamvada·February 24, 2022Security