将PQShield基于晶格和基于哈希的加密引擎组合在一起,PQPlatform-Copro设计用于最佳性能,并牢记加密功能。PQPlatform-Copro具有可选的侧通道对策,并支持ML-KEM,ML-DSA,LMS和XMSS,提供了高度的性能和兼容性,利用现有的CPU并部署PQShield的固件来提供完整的解决方案。
2023 - 2024软件工程实习生(长达一年的位置)PQShield(量子加密专家)•研究的软件材料法案(SBOM)建议最好的PQShield如何使其成为最佳的PQShield。了解了SBOM对软件安全性的重要性。•使用C和C#,编写了两个API来包裹PQShield的加密软件库,以帮助其可移植性。一个人已交付给客户。•在C中产生了一个兼容性演示,显示了他们的两个产品一起工作。我修改了他们的软件开发套件以进行加密和安全通信,以将其加密操作卸载到执行加速加密的专用硬件上。我将硬件加载到KV260 FPGA板上,并使用其API将其添加为软件开发套件的新的后端编译选项,从而消除了对软件加密库库的依赖。使用Docker容器和Make Build System,我将此修改后的SDK添加到了他们现有的Quantum后Web浏览演示中。此演示现在已成为关键客户端的完整产品。•在C中实现了量子安全通信协议PQnoise,并使用静态分析仪符合CERT-C。创建了已知的答案测试,并使用统一测试框架彻底验证实现。•通过聘用新实习生来获得面试技巧。我提供了我的学生经验的见解,CV筛选,询问了候选人,并参与了最终决策。
PQShield 为应用程序/系统开发人员提供软件库,以及用于 FPGA、SoC 或 ASIC 的硬件 IP。PQC 软件库适用于标准处理器 (X86、ARM) 以及内存受限的嵌入式系统,并且可以部署在大多数计算机系统上。硬件 IP 范围从数学加速器到完全自主的加密子系统,可以轻松集成到 FPGA 或新的处理器设计中。
安全工程。i主要是汇编器,C和Python中的代码,我是Rust的粉丝。我的大多数硬件工作都是在SystemVerilog中完成的。i可以构建全系统FPGA原型。我熟悉正式验证和模型检查。我已经创建了各种功率/排放泄漏模型和侧通道安全工作的工具。我目前是RISC-V International(https://riscv.org)的RISC-V PQC任务组主席。i是2021年11月批准的RISC-V标量密码扩展的主要设计师之一;具体而言,熵源(ZKR),恒定时间执行(ZKT)和32位AES/SM4指令[14、15、17]。i构建了PQShield的第一个商业PQC硬件模块,该模块提供了侧渠道安全的Kyber和Dilithium Services。我在FPGA上设计并原型制作了该系统,设计了掩盖对策,写了许多核心固件,并帮助验证并将实施调整为商业产品(包括ASIC硅)。