Development Framework of VLSI Circuits and Systems Free from Hardware Trojans

无硬件木​​马的超大规模集成电路和系统开发框架

基本信息

  • 批准号:
    22H04999
  • 负责人:
  • 金额:
    $ 123.14万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (S)
  • 财政年份:
    2022
  • 资助国家:
    日本
  • 起止时间:
    2022-04-27 至 2027-03-31
  • 项目状态:
    未结题

项目摘要

本研究はセキュリティを脅かす不正な振る舞いを引き起こすハードウェアトロイ(HT)を検知・特定して回避するHTフリーVLSIシステム構築基盤の確立と実証を目指している.令和4年度の研究成果を以下にまとめる.(1) 「回路仕様とHDLコードを変換する形式記述の策定」に関して,フロントエンド設計において回路仕様および任意の論理回路記述(HDL記述)を取り扱う統一的な形式的記述の策定に向けて,ZDD(ゼロ抑制型決定グラフ)による定式化を候補手段として,回路仕様とHDL記述の形式記述への変換ソフトウェアのプロトタイプを構築し,同手段の適性を確認した.(2) 「HDLとGDSにおいて強い相関を示す回路物理量の抽出」に関して,VLSIチップの静的な特徴量であるトランジスタレベルの物理レイアウトデータ(GDSデータ),および動的な特徴量として回路の消費電流に基づく積分電荷量に着目し,多様な動作シナリオ(入力データ等)の摂動に対して高感度の応答特性が得られることを,シミュレーション及びVLSIチップの計測実験により確認した.(3) 「システムレベルでの電気的フィンガープリントの抽出」に関して,電子機器のデザインデータを用いて,HTが実装されていない状態における,電気的フィンガープリントをシミュレーションベースで抽出する手段を構築した.また,VLSIチップが実装される位置から電磁信号を励振し,そのレスポンスを時間・周波数領域で取得し,電気的なフィンガープリントを抽出する実験環境を構築した.(4) 「HTフリーVLSIシステム設計・検証フレームワークの構築」に関して,VLSIシステム設計段階におけるHT挿入パターンについて探索するとともに,研究代表者と研究分担者および国内外の研究協力者による共同研究推進体制を構築した.いずれも,HTフリーVLSIシステム構築基盤の基礎となる研究の取組と学術成果である.
This study is aimed at establishing and verifying the VLSI architecture base by identifying and avoiding HT (High Temperature). The research results of Ling and 4 years are as follows. (1)"Design of the formal description of circuit description and HDL circuit description" is related to the design of circuit description and arbitrary logic circuit description (HDL description). The design direction of uniform formal description is selected. The suitability of the same method is confirmed by the structure of the alternative method for describing the form of HDL. (2)"Extraction of loop physical quantities with strong correlation between HDL and GDS" is related to static characteristic quantities of VLSI, dynamic characteristic quantities of VLSI, consumption current of loop, basic integral charge, dynamic characteristic quantities of VLSI, dynamic characteristic quantities of VLSI The design and implementation of VLSI are confirmed. (3)"Electrical power supply and extraction" is related to the use of electronic equipment, HT is installed in the middle of the state, electrical power supply and extraction means to construct. The VLSI is installed at the position where the electromagnetic signal is excited, and the electromagnetic signal is obtained in the time and frequency domain. (4)"HT VLSI system design, verification and construction" related to VLSI system design stage, HT system design stage, HT system In the middle of the paper, HT, VLSI and other research methods are used to construct the base plate.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Analog Techniques for Digital Security
用于数字安全的模拟技术
  • DOI:
    10.1109/mssc.2022.3219780
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Makoto Nagata;Noriyuki Miura;Takuji Miki
  • 通讯作者:
    Takuji Miki
Supply Chain Security of IC Chips: Problems and Solutions for Authenticity under Threat
IC芯片供应链安全:真实性受到威胁的问题与解决方案
  • DOI:
    10.1587/essfr.16.2_93
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    林優一;本間尚文;永田真;永田真
  • 通讯作者:
    永田真
Echo TEMPEST: EM Information Leakage Induced by IEMI for Electronic Devices
Echo TEMPEST:IEMI 引发的电子设备电磁信息泄漏
ハードウェアセキュリティを実現するEMC設計
硬件安全EMC设计
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    林優一;本間尚文;永田真
  • 通讯作者:
    永田真
ハードウェアサプライチェーンにおけるセキュリティ脅威と対策
硬件供应链安全威胁及对策
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kazuki Monta;Leonidas Kataselas;Ferenc Fodor;Takuji Miki;Alkis Hatzopoulos;Makoto Nagata;Erik Jan Marinissen;本間尚文;永田真;永田真;林優一
  • 通讯作者:
    林優一
{{ 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 }}

永田 真其他文献

重症喘息における生物学的製剤治療の後方視的観察研究
重症哮喘生物治疗的回顾性观察研究
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    石井 玲奈;星野 佑貴;杣 知行;宇野 達彦;片山 和紀;関谷 龍;家村 秀俊;宮内 幸子;内田 義孝;中込 一之;永田 真
  • 通讯作者:
    永田 真
Cadherin related family member 3の好中球への作用
钙粘蛋白相关家族成员3对中性粒细胞的影响
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    清水 寿顕;中込 一之;植田 穣;小林 威仁;杣 知行;原田 広顕;藤尾 圭志;永田 真
  • 通讯作者:
    永田 真
Cadherin-related family member 3の変異遺伝子のtransfectionは,好酸球接着能及び活性酸素産生を増強させる
转染钙粘蛋白相关家族成员3突变基因增强嗜酸性粒细胞粘附能力和活性氧产生
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中込 一之;清水 寿顕;野口 哲;小林 威仁;杣 知行;永田 真
  • 通讯作者:
    永田 真
FeNO及び末梢血好酸球数で分類した重症喘息サブタイプの後方視的観察研究
按 FeNO 和外周血嗜酸性粒细胞计数分类的严重哮喘亚型的回顾性观察研究
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    宇野 達彦;星野 佑貴;杣 知行;石井 玲奈;片山 和紀;関谷 龍;家村 秀俊;宮内 幸子;内田 義孝;中込 一之;永田 真
  • 通讯作者:
    永田 真
喀痰中エンドトキシンの喘息患者気道炎症への影響および臨床的意義に関する検討
痰液内毒素对哮喘患者气道炎症的影响及其临床意义
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    片山 和紀;杣 知行;内藤 恵里佳;内田 義孝;星野 佑貴;家村 秀俊;関谷 龍;宮内 幸子;中込 一之;永田 真
  • 通讯作者:
    永田 真

永田 真的其他文献

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

{{ truncateString('永田 真', 18)}}的其他基金

ハードウェア記述言語によるアナログ・デジタル融合知能処理LSI設計法に関する研究
采用硬件描述语言的模数集成智能处理LSI设计方法研究
  • 批准号:
    08750402
  • 财政年份:
    1996
  • 资助金额:
    $ 123.14万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
成人気管支喘息における急速減感作療法の細胞生物学的研究
成人支气管哮喘快速脱敏治疗的细胞生物学研究
  • 批准号:
    04770473
  • 财政年份:
    1992
  • 资助金额:
    $ 123.14万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
成人気管支喘息における急速減感作療法の細胞生物学的研究
成人支气管哮喘快速脱敏治疗的细胞生物学研究
  • 批准号:
    03770439
  • 财政年份:
    1991
  • 资助金额:
    $ 123.14万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了