Revision 5b2fbf3c4989a9b0587a00578f69f3041df3f957 authored by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC, committed by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC
1 parent d4ca892
File | Mode | Size |
---|---|---|
params-64-AES | ||
params-64-cSHAKE | ||
params-640-AES | ||
params-640-cSHAKE | ||
params-976-AES | ||
params-976-cSHAKE | ||
test-64-AES | ||
test-64-cSHAKE | ||
AUTHORS.md | -rw-r--r-- | 98 bytes |
Makefile | -rw-r--r-- | 3.0 KB |
Spec.Frodo.Encode.fst | -rw-r--r-- | 5.8 KB |
Spec.Frodo.Gen.fst | -rw-r--r-- | 7.3 KB |
Spec.Frodo.KEM.Decaps.fst | -rw-r--r-- | 4.8 KB |
Spec.Frodo.KEM.Encaps.fst | -rw-r--r-- | 4.3 KB |
Spec.Frodo.KEM.KeyGen.fst | -rw-r--r-- | 2.0 KB |
Spec.Frodo.KEM.fst | -rw-r--r-- | 796 bytes |
Spec.Frodo.Lemmas.fst | -rw-r--r-- | 3.4 KB |
Spec.Frodo.Lemmas.fsti | -rw-r--r-- | 1.5 KB |
Spec.Frodo.Pack.fst | -rw-r--r-- | 4.0 KB |
Spec.Frodo.Params.fst | -rw-r--r-- | 1.5 KB |
Spec.Frodo.Random.fst | -rw-r--r-- | 243 bytes |
Spec.Frodo.Sample.fst | -rw-r--r-- | 3.5 KB |
Spec.Matrix.fst | -rw-r--r-- | 14.1 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...