注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. cryptol Specification

  2. cryptol Specification, Implementation and Verification of High-Grade Cryptographic Applications

  3. 所属分类：网络安全

  1. Hardware/Software Co-verification of Cryptographic Algorithms using Cryptol

  2. Language tailored to the crypto domain，Designed with feedback from cryptographers

  3. 所属分类：网络安全

  1. Cryptol: The Language of Cryptography Cryptanalysis

  2. Applying Cryptol to cryptanalysis，This talk will cover these topics and show their use in a cryptanalysis demo using Cryptol.

  3. 所属分类：网络安全

  1. HighLevel Synthesis of Cryptographic Hardware

  2. HighLevel Synthesis Tools 。Cryptol --Functional DomainSpecific Language

  3. 所属分类：网络安全

    • 发布日期：2018-04-09
    • 文件大小：755kb
    • 提供者：weixin_41656797

  1. Pragmatic Equivalence and Safety Checking in Cryptol

  2. To reduce the cost of developing, certifying, and deploying cryptographic applications

  3. 所属分类：网络安全

    • 发布日期：2018-04-09
    • 文件大小：603kb
    • 提供者：weixin_41656797

  1. Using Cryptol to explore elliptic curve-based random-number generators

  2. To tackle how this works behind the curtain, this project aims at exploring the Dual EC DRNG, an algorithm standardized by NIST as a cryptographically secure pseudo random number generator.

  3. 所属分类：网络安全

    • 发布日期：2018-04-14
    • 文件大小：445kb
    • 提供者：weixin_41656797

  1. On the Use of Cryptol, a Cryptography Domain Specific Language

  2. On the Use of Cryptol, a Cryptography Domain Specific Language.

  3. 所属分类：网络安全

    • 发布日期：2018-04-14
    • 文件大小：466kb
    • 提供者：weixin_41656797

  1. z3&crytol;.zip

  2. cryptol编译器和z3求解器,如果安装不好可以去看我的安装教程，详细对你会有帮助得！

  3. 所属分类：网络安全

    • 发布日期：2019-09-16
    • 文件大小：20mb
    • 提供者：qq_38234785

  1. Airflow使用指南【About云整理】.pdf

  2. About云整理的Airflow使用指南 1. 如何安装和配置 Airflow? 2. 如何通过 Airflow UI 监控 data pipeline （管道）并对其进行故障排除 3. 什么是 Airflow Platform ？ 4. Airflow 是如何进行数据分析，追踪数据，调试数据流的？ 5. Airflow 命令行接口的基本操作有哪些？www.aboutyun.com活到老学到老 以下是一些将触发一些任务实例的命令。在运行以下命令时,您应该能够在 example bash

  3. 所属分类：Hadoop

    • 发布日期：2019-06-30
    • 文件大小：2mb
    • 提供者：bj278595437

  1. cryptol-2.10.0-Windows-x86_64

  2. cryptol-2.10.0-Windows-x86_64.msi 官方版本，官网下载慢的话可以从这里下载；

  3. 所属分类：其它

    • 发布日期：2021-01-01
    • 文件大小：72mb
    • 提供者：weixin_41754258

  1. BLST-Verification:BLST验证-源码

  2. Copyright (c) 2020 Galois, Inc. SPDX-License-Identifier: Apache-2.0 OR MIT 一次验证 该存储库包含 BLS12-381签名库的规范和正确性证明。 建立和运行 构建库和运行证明的最简单方法是使用 。 安装和 。 克隆子模块： git submodule update --init 构建包含所有依赖项的Docker映像： docker-compose build 在Docker容器中运行证明： docker-compo

  3. 所属分类：其它

    • 发布日期：2021-03-06
    • 文件大小：177kb
    • 提供者：weixin_42141437