| Fabio Utzig | 705dfb3 | 2019-05-11 20:06:37 -0300 | [diff] [blame] | 1 | Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives |
| 2 | Short Name: fiat-crypto | ||||
| 3 | URL: https://github.com/mit-plv/fiat-crypto | ||||
| 4 | Version: git (see METADATA) | ||||
| 5 | License: MIT | ||||
| 6 | License File: LICENSE | ||||
| 7 | Security Critical: yes | ||||
| 8 | |||||
| 9 | Description: | ||||
| 10 | See README.md and METADATA. | ||||