| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add String_as_OT |  Jason Gross | 2019-01-15 |
| Copied verbatim from https://github.com/mit-plv/fiat/blob/master/src/Common/String_as_OT.v | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |