tfaoliveira

Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code

Protecting cryptographic code against Spectre-RSB

FvK Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt

Formally verifying Kyber Episode IV: Implementation Correctness