机构名称：
¥ 1.0
安全工程。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硅）。
Markku-Juhani O. Saarinen博士
主要关键词
相关文件推荐
