1 name: "fiat" 2 description: 3 "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." 4 5 third_party { 6 url { 7 type: GIT 8 value: "https://github.com/mit-plv/fiat-crypto" 9 } 10 version: "6c4d4afb26de639718fcac39094353ca7feec365" 11 last_upgrade_date { year: 2017 month: 11 day: 3 } 12 13 local_modifications: "Fiat-generated code has been integrated into existing BoringSSL code" 14 } 15