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

搜索资源列表

  1. cryptol Specification

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

  3. 所属分类：网络安全

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

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

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

  3. 所属分类：网络安全

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

  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. 所属分类：网络安全

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

  1. HighLevel Synthesis of Cryptographic Hardware

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

  3. 所属分类：网络安全

    • 发布日期：2018-04-09
    • 文件大小：773120
    • 提供者：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
    • 文件大小：617472
    • 提供者：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
    • 文件大小：455680
    • 提供者：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
    • 文件大小：477184
    • 提供者：weixin_41656797