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

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

基本信息

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

项目摘要

项目成果

期刊论文数量（43）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

A Hierarchical Formal Approach to Verifying Side-channel Resistant Cryptographic Processors

验证抗侧信道密码处理器的分层形式方法

DOI：
10.1109/hst.2014.6855572
发表时间：
2014
期刊：
Proceedings of 2014 IEEE International Symposium on Hardware-Oriented Security and Trust
影响因子：
0
作者：
Kotaro Okamoto;Naofumi Homma;Takafumi Aoki and Sumio Morioka
通讯作者：
Takafumi Aoki and Sumio Morioka

Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations

基于正规基表示的伽罗瓦域算术电路的形式化设计

DOI：
10.1587/transinf.2013lop0012
发表时间：
2014
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
Kotaro Okamoto;Naofumi Homma;and Takafumi Aoki
通讯作者：
and Takafumi Aoki

System for Automatic Generation of Parallel Multipliers over Galois Field

伽罗瓦域上并行乘法器自动生成系统

DOI：
10.1109/ismvl.2015.15
发表时间：
2015
期刊：
IEEE 45th International Symposium on Multiple-Valued Logic
影响因子：
0
作者：
Yukihisa Sugawara;Rei Ueno;Naofumi Homma;and Takafumi Aoki
通讯作者：
and Takafumi Aoki

Smart Card Research and Advanced Applications

智能卡研究和高级应用

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Naofumi Homma;and Marcel Medwed
通讯作者：
and Marcel Medwed

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

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Homma Naofumi其他文献

Debiasing Method for Efficient Ternary Fuzzy Extractors and Ternary Physically Unclonable Functions

高效三元模糊提取器和三元物理不可克隆函数的去偏方法

DOI：
10.1109/ismvl49045.2020.00-30
发表时间：
2020
期刊：
Proceedings of International Symposium on Multiple-Value Logic
影响因子：
0
作者：
Kazumori Kohei;Ueno Rei;Homma Naofumi
通讯作者：
Homma Naofumi

球面上のカーネル密度推定量のバイアス修正

球体上核密度估计器的偏差校正

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Saito Kotaro;Ito Akira;Ueno Rei;Homma Naofumi;鶴田靖人
通讯作者：
鶴田靖人

東南極ナピア岩体トナー島における下部地殻条件シュードタキライト生成断層からみた間震期，地震直前直後の塑性変形作用

地震间期，地震前后的塑性变形，从南极洲东部的纳皮尔岩托纳岛下地壳中的假速晶断层可以看出。

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