GitHub repository: mit-plv/cross-crypto
Primary language: Coq
Description: Connecting computational and symbolic crypto models