机译:产生证明的算术和密码硬件综合
University of Utah, School of Computing, 50 South Central Campus Drive, Salt Lake City, Utah UT84112, USA;
theorem proving; compiling; hardware synthesis; cryptography; high assurance;
机译:基于Galois场算法的实用密码硬件形式化设计。
机译:基于椭圆嵌入式密码的基于FPGA的嵌入式处理器内核中的紧密耦合有限域算术硬件
机译:公钥加密中GF(p〜m)算术的通用硬件体系结构
机译:加密算法的简单高级代码-带有证明,不妥协
机译:一项使用高寻址能力的喷墨打样机进行的研究,以在色彩,筛选和主题云纹方面产生与柯达批准相匹配的AM半色调打样。
机译:基于DM的无线加密ICS的模拟硬件特洛伊木马设计与检测
机译:高效的硬件密码统一算法
机译:算术史。在此方法采用名称算法后搜索算盘系统的痕迹。在16世纪以来的所有时间的证据,已知这种古老方法的共同算术