hacspec: succinct, executable, verifiable specifications for high-assurance cryptography

Name: hacspec: succinct, executable, verifiable specifications for high-assurance cryptography
Uploaded: 2021-05-11T00:00:00.000Z
Description: Video hacspec: succinct, executable, verifiable specifications for high-assurance cryptography