Verification of high-level programs containing mutable higher-order recursive data structures

包含可变高阶递归数据结构的高级程序的验证

基本信息

  • 批准号：
    17H01720
  • 负责人：
    Terauchi Tachio
  • 金额：
    $ 11.48万
  • 依托单位：
    Waseda University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2017
  • 资助国家：
    日本
  • 起止时间：
    2017-04-01 至 2022-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（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
Horn Clauses and Beyond for Relational and Temporal Program Verification
用于关系和时间程序验证的 Horn 子句及其他子句
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Junji Yamada;Ushio Jimbo;Ryota Shioya;Masahiro Goshima;and Shuichi Sakai;住友倫子，中田匡宣，山口雅也，川端重忠．;Hiroshi Unno
  • 通讯作者：
    Hiroshi Unno
On cut elimination in cyclic-proof systems
防循环系统中的切割消除
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Koji Nakazawa;Daisuke Kimura;Tachio Terauchi;Hiroshi Unno;and Kenji Saotome
  • 通讯作者：
    and Kenji Saotome
Probabilistic Inference for Predicate Constraint Satisfaction
谓词约束满足的概率推理
{{ 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)}}的其他基金

Program verification and program synthesis for side-channel attack resilience
侧信道攻击弹性的程序验证和程序综合
  • 批准号：
    18K19787
  • 财政年份：
    2018
  • 资助金额：
    $ 11.48万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)
Large scale verification of higher-order programs
高阶程序的大规模验证
  • 批准号：
    26330082
  • 财政年份：
    2014
  • 资助金额：
    $ 11.48万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

RUI: Fixed-Point Logic in Finite Structures
RUI：有限结构中的定点逻辑
  • 批准号：
    9003356
  • 财政年份：
    1990
  • 资助金额：
    $ 11.48万
  • 项目类别：
    Standard Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了