• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Symposium on Rapid System Prototyping >Model-driven design synthesis of the SHA-256 cryptographic hash function in rewire
【24h】

Model-driven design synthesis of the SHA-256 cryptographic hash function in rewire

机译：模型驱动中的SHA-256加密哈希函数的设计与综合

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

There are many algorithms whose implementations can benefit both from hardware acceleration and formal verification and we would like to develop high assurance implementations as rapidly as possible. Critical computing infrastructure like cryptographic algorithms are prime candidates both for such acceleration and for formal verification. We show how to derive a verifiable, hardware-accelerated implementation of the SHA-256 cryptographic hash in the ReWire functional hardware description language in which the hardware-software partitioning of the implementation is reflected in the type system itself.
机译：有许多算法的实现可以从硬件加速和形式验证中受益，我们希望尽快开发出高度保证的实现。诸如加密算法之类的关键计算基础架构是此类加速和形式验证的主要候选者。我们展示了如何以ReWire功能硬件描述语言推导SHA-256加密哈希的可验证的，硬件加速的实现，其中实现的硬件-软件分区反映在类型系统本身中。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号