Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations

基于伽罗瓦域算术运算的 VLSI 数据路径形式化设计方法的开发

基本信息

  • 批准号:
    25240006
  • 负责人:
  • 金额:
    $ 20.63万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
  • 财政年份:
    2013
  • 资助国家:
    日本
  • 起止时间:
    2013-04-01 至 2017-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(43)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
誤り訂正符号化回路の形式的設計とその評価
纠错编码电路的形式化设计及其评估
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    品川有輝;森嶋厚行;中村聡史;寺田努;上野嶺
  • 通讯作者:
    上野嶺
Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations
基于正规基表示的伽罗瓦域算术电路的形式化设计
Special Issue on Emerging Topics in Multiple-Valued Logic and Applications, IEEE Journal on Emerging and Selected Topics in Circuits and Systems
多值逻辑和应用中的新兴主题特刊,IEEE 电路和系统中的新兴和选定主题期刊
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Vincent Gaudet;Jon T. Butler;Robert Wille;and Naofumi Homma
  • 通讯作者:
    and Naofumi Homma
System for Automatic Generation of Parallel Multipliers over Galois Field
伽罗瓦域上并行乘法器自动生成系统
A Hierarchical Formal Approach to Verifying Side-channel Resistant Cryptographic Processors
验证抗侧信道密码处理器的分层形式方法
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Homma Naofumi其他文献

球面上のカーネル密度推定量のバイアス修正
球体上核密度估计器的偏差校正
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Saito Kotaro;Ito Akira;Ueno Rei;Homma Naofumi;鶴田靖人
  • 通讯作者:
    鶴田靖人
Debiasing Method for Efficient Ternary Fuzzy Extractors and Ternary Physically Unclonable Functions
高效三元模糊提取器和三元物理不可克隆函数的去偏方法
東南極ナピア岩体トナー島における下部地殻条件シュードタキライト生成断層からみた間震期,地震直前直後の塑性変形作用
地震间期,地震前后的塑性变形,从南极洲东部的纳皮尔岩托纳岛下地壳中的假速晶断层可以看出。
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ueno Rei;Fukushima Kazuhide;Nakano Yuto;Kiyomoto Shinsaku;Homma Naofumi;豊島剛志・重松紀生・小山内康人・大和田正明・角替敏昭・外田智千
  • 通讯作者:
    豊島剛志・重松紀生・小山内康人・大和田正明・角替敏昭・外田智千
Hardware Implementation of Block Cipher: Case Study Using AES
分组密码的硬件实现:使用 AES 的案例研究
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ueno Rei;Homma Naofumi;Iida Tomonori;Minematsu Kazuhiko;上野嶺;Rei Ueno;澤田石尚太郎;上野嶺;小田麻矢;Kohei Kazumori;Rei Ueno;Rei Ueno
  • 通讯作者:
    Rei Ueno
低遅延暗号における中間ラウンドからのサイドチャネル漏えいとそのRSMに基づく効率的な対策
低时延密码中间轮的侧信道泄漏及其基于RSM的高效对策
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ueno Rei;Homma Naofumi;Iida Tomonori;Minematsu Kazuhiko;上野嶺;Rei Ueno;澤田石尚太郎;上野嶺;小田麻矢;Kohei Kazumori;Rei Ueno;Rei Ueno;上野嶺;上野嶺;Ville Yli-Maeyry
  • 通讯作者:
    Ville Yli-Maeyry

Homma Naofumi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Homma Naofumi', 18)}}的其他基金

Development of high-level design methodology for security hardware based on redundant Galois-field arithmetic
基于冗余伽罗瓦域算法的安全硬件高级设计方法的开发
  • 批准号:
    17H00729
  • 财政年份:
    2017
  • 资助金额:
    $ 20.63万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Development of constitution method for instruction sequence against cyber-physical cooperative attacks on embedded systems
嵌入式系统信息物理协同攻击指令序列构成方法研究
  • 批准号:
    16K12436
  • 财政年份:
    2016
  • 资助金额:
    $ 20.63万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
Development of formal design methodology for VLSI datapaths based on Galois-field arithmetic operations(Fostering Joint International Research)
开发基于伽罗瓦域算术运算的 VLSI 数据路径的形式设计方法(促进国际联合研究)
  • 批准号:
    15KK0001
  • 财政年份:
    2016
  • 资助金额:
    $ 20.63万
  • 项目类别:
    Fund for the Promotion of Joint International Research (Fostering Joint International Research)

相似海外基金

Robust LSI design technology against invasion
抵御入侵的鲁棒LSI设计技术
  • 批准号:
    19K11886
  • 财政年份:
    2019
  • 资助金额:
    $ 20.63万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Robust ultra-low voltage LSI design technology
稳健的超低压LSI设计技术
  • 批准号:
    15K06036
  • 财政年份:
    2015
  • 资助金额:
    $ 20.63万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Study on LSI design technology to detect Trojan circuit inserted during manufacturing process
制造过程中插入木马电路检测的LSI设计技术研究
  • 批准号:
    15K00086
  • 财政年份:
    2015
  • 资助金额:
    $ 20.63万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了