img

cryptol语言

cryptol语言是密码领域专用语言。本专辑中有该语言的安装包以及该语言的应用、研究文章和例子。

共5个

cryptol语言安装包
cryptol Specification
Hardware/Software Co-verification of Cryptographic Algorithms using Cryptol
Cryptol: The Language of Cryptography Cryptanalysis
HighLevel Synthesis of Cryptographic Hardware