search

cryspen / bertie

Bertie TLS 1.3 Implementation
Apache License 2.0
112 stars 3 forks source link

[ProVerif] Incorporate code changes from Proving Panic Freedom in F* #112 into ProVerif model #116

Open jschneider-bensch opened 6 months ago

jschneider-bensch commented 5 months ago

On hold, until something like hacspec/hax#587 or hacspec/hax#595 has landed in hax.