首页> 外文OA文献 >HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)

【2h】

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)

机译：HACLXN：已验证通用SIMD Crypto（适用于所有您最喜欢的平台）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Marina Polubelova; Karthikeyan Bhargavan; Jonathan Protzenko; Benjamin Beurdouche; Aymeric Fromherz; Natalia Kulatova; Santiago Zanella-Béguelin;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment [J] . El-Ashry Sameh, Khamis Mostafa, Ibrahim Hala, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2020,第5期

机译：关于NOC平台的错误注射：基于UVM的通用验证环境
2. A Generic HPLC/UV Platform Method for Gleaning Verification [J] . Michael W. Dong, Eileen X. Zhao, Derrick T. Yazzie, American pharmaceutical review . 2012,第6期

机译：一种通用的HPLC / UV平台方法以进行数据收集验证
3. Generic System Verilog Universal Verification Methodology Based Reusable Verification Environment for Efficient Verification of Image Signal Processing IPS/SOCS [J] . Abhishek Jain, Hima Gupta2, Ajay Goyal, International Journal of VLSI Design & Communication Systems . 2012,第6期

机译：基于通用系统Verilog通用验证方法的可重用验证环境，可有效验证图像信号处理IPS / SOCS
4. Modular verification and validation for NATO generic vehicle architecture-based land platforms [C] . Daniel Ota, Manas Pradhan International Conference on Military Communications and Information Systems . 2018

机译：基于北约基于通用车辆架构的陆地平台的模块化验证和确认
5. Automated verification of generic computer software components. [D] . Cook, Robert E., Jr. 1998

机译：通用计算机软件组件的自动验证。
6. Shifted Hamming distance: a fast and accurate SIMD-friendly filter to accelerate alignment verification in read mapping [O] . Hongyi Xin, John Greth, John Emmons, -1

机译：汉明距离偏移：快速准确的SIMD友好型过滤器可加快读取映射中的比对验证
7. Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project [O] . Jürjens Jan 2009

机译：加密协议实现的自动安全验证：验证Jessie项目

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)

著录项

引文网络

相似文献

相关主题

期刊订阅