课题基金 / 基金详情

Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations(Fostering Joint International Research)

Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations(Fostering Joint International Research)
开发基于伽罗瓦域算术运算的 VLSI 数据路径的形式设计方法（促进国际联合研究）
批准号：
15KK0001
负责人：
Homma Naofumi
金额：
$9.24万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016 至 2017
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15KK0001/
关键词：
計算機システムシステムオンチップハードウェアセキュリティ

项目摘要

项目成果

Homma Naofumi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Telecom Paristech(フランス)
巴黎理工电信（法国）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
東北大学電気通信研究所環境調和型セキュア情報システム研究分野
东北大学电信研究所环保安全信息系统研究部
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Chosen-Input Side-Channel Analysis on Unrolled Light-Weight Cryptographic Hardware
展开的轻量级加密硬件的选择输入侧通道分析
DOI： --
发表时间： 2017
期刊： The 18th International Symposium on Quality Electronic Design
影响因子： --
作者： [Ville Yli-Maeyry, Naofumi Homma, and Takafumi Aoki]
通讯作者： and Takafumi Aoki
Automatic Generation of Formally-Proven Tamper-Resistant Galois-Field Multipliers Based on Generalized Masking Scheme
基于广义掩蔽方案自动生成经过形式验证的防篡改伽罗瓦域乘法器
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki, 伊東燦, 上野嶺, 上野嶺, 伊東燦, 小田麻矢, 数森康平, Rei Ueno, 澤田石尚太郎, 伊東燦, 上野嶺, 伊東燦, 小田麻矢, 大澤創紀, 伊東燦, 数森康平, 門脇悠真, 船越秀隼, Kohei Kazumori, Rei Ueno, Rei Ueno, Rei Ueno]
通讯作者： Rei Ueno
共 15 条
    Development of high-level design methodology for security hardware based on redundant Galois-field arithmetic
    • 批准号：
      17H00729
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $27.21万
    • 财政年份：
      2017
    • 负责人：
      Homma Naofumi
    • 依托单位：
      Tohoku University
    Development of constitution method for instruction sequence against cyber-physical cooperative attacks on embedded systems
    • 批准号：
      16K12436
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.16万
    • 财政年份：
      2016
    • 负责人：
      Homma Naofumi
    • 依托单位：
      Tohoku University
    Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations
    • 批准号：
      25240006
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $20.63万
    • 财政年份：
      2013
    • 负责人：
      Homma Naofumi
    • 依托单位：
      Tohoku University
    海外基金