Program verification and program synthesis for side-channel attack resilience

侧信道攻击弹性的程序验证和程序综合

基本信息

  • 批准号：
    18K19787
  • 负责人：
    Terauchi Tachio
  • 金额：
    $ 3.99万
  • 依托单位：
    Waseda University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)
  • 财政年份：
    2018
  • 资助国家：
    日本
  • 起止时间：
    2018-06-29 至 2022-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（15）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Repairing DoS Vulnerability of Real-World Regexes
Bucketing and information flow analysis for provable timing attack mitigation
  • DOI：
    10.3233/jcs-191356
  • 发表时间：
    2020-11
  • 期刊：
    J. Comput. Secur.
  • 影响因子：
    0
  • 作者：
    Tachio Terauchi;Timos Antonopoulos
  • 通讯作者：
    Tachio Terauchi;Timos Antonopoulos
Solving First-Order Fixpoint Logic for Program Verification
求解程序验证的一阶不动点逻辑
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takashi Nishikawa;Yuki Satake;Yoji Nanjo;Hiroshi Unno;Naoki Kobayashi;Tachio Terauchi;Eric Koskinen
  • 通讯作者：
    Eric Koskinen
代数的エフェクトハンドラを持つ言語のためのトレースエフェクト
具有代数效果处理程序的语言的跟踪效果
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    川俣楓河;寺内多智弘
  • 通讯作者：
    寺内多智弘
On cut elimination in cyclic-proof systems
防循环系统中的切割消除
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Koji Nakazawa;Daisuke Kimura;Tachio Terauchi;Hiroshi Unno;and Kenji Saotome
  • 通讯作者：
    and Kenji Saotome
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Terauchi Tachio其他文献

機械学習のセキュリティ
机器学习安全
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Antonopoulos Timos;Terauchi Tachio;森達哉
  • 通讯作者：
    森達哉
On Type-Based Techniques for Program Manipulation
基于类型的程序操作技术
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Unno Hiroshi;Terauchi Tachio;Koskinen Eric;Ken Sakayori and Takeshi Tsukada;Naoki Kobayashi
  • 通讯作者：
    Naoki Kobayashi
アナログ信号のセキュリティ
模拟信号安全
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Terauchi Tachio;Antonopoulos Timos;森達哉
  • 通讯作者：
    森達哉

Terauchi Tachio的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Terauchi Tachio', 18)}}的其他基金

Verification of high-level programs containing mutable higher-order recursive data structures
包含可变高阶递归数据结构的高级程序的验证
  • 批准号：
    17H01720
  • 财政年份：
    2017
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Large scale verification of higher-order programs
高阶程序的大规模验证
  • 批准号：
    26330082
  • 财政年份：
    2014
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

電源電圧の動的制御による耐タンパ性LSI設計技法
使用电源电压动态控制的防篡改LSI设计技术
  • 批准号：
    24K14958
  • 财政年份：
    2024
  • 资助金额：
    $ 3.99万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了