-
密码算法描述语言，安装包中附带了使用该语言描述的目前国际上使用的大部分算法
大小：16.71MB | 2019-09-07 03:40:56 -
Thisbreakthroughhasresultedinaurryofresearch,resul...
大小：159KB | 2019-07-16 04:13:04 -
Languagetailoredtothecryptodomain，Designedwithfeed...
大小：3MB | 2019-07-11 18:57:43 -
HighLevelSynthesisTools。Cryptol--FunctionalDomainS...
大小：755.13KB | 2019-06-28 03:13:29 -
OntheUseofCryptol,aCryptographyDomainSpecificLangu...
大小：465.62KB | 2019-06-28 03:13:27 -
cryptolSpecification,ImplementationandVerification...
大小：5.06MB | 2019-06-28 03:13:23 -
Toreducethecostofdeveloping,certifying,anddeployin...
大小：603.11KB | 2019-06-28 03:13:16 -
大小：0 | 2019-03-08 11:36:32
-
大小：0 | 2019-03-04 05:17:11
-
Applying Cryptol to cryptanalysis，This talk will c...
大小：5.27MB | 2018-12-21 12:15:26
Ta的上传资源列表