Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches

通过整合统计和形式方法对网络物理系统进行定量验证

基本信息

项目摘要

项目成果

期刊论文数量(34)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
互信息的混合统计估计及其在信息流中的应用
  • DOI:
    10.1007/s00165-018-0469-z
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    1
  • 作者:
    Fabrizio Biondi;Yusuke Kawamoto;Axel Legay;and Louis-Marie Traonouez
  • 通讯作者:
    and Louis-Marie Traonouez
Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation
  • DOI:
  • 发表时间:
    2018-07
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Takao Murakami;Yusuke Kawamoto
  • 通讯作者:
    Takao Murakami;Yusuke Kawamoto
Local Distribution Obfuscation via Probability Coupling
通过概率耦合进行局部分布混淆
Local Obfuscation Mechanisms for Hiding Probability Distributions
隐藏概率分布的局部混淆机制
HyLeak: Hybrid Analysis Tool for Information Leakage
HyLeak:信息泄露的混合分析工具
{{ 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 }}

Kawamoto Yusuke其他文献

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic
使用程序逻辑形式化假设检验中的统计信念
高分子液晶--光応答高分子を中心に--
高分子液晶--聚焦光响应聚合物--
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Lee Seonghyun;Kawamoto Yusuke;Vaijayanthi Thangavel;Park Jihyun;Bae Jaeyoung;Kim-Ha Jeongsil;Sugiyama Hiroshi;Jo Kyubong;関 隆広
  • 通讯作者:
    関 隆広

Kawamoto Yusuke的其他文献

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

{{ truncateString('Kawamoto Yusuke', 18)}}的其他基金

Quantitative Analysis of Information Leakage in Cyber-Physical Systems
信息物理系统信息泄露的定量分析
  • 批准号:
    15H06886
  • 财政年份:
    2015
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Research Activity Start-up

相似海外基金

ユビキタス機械学習社会におけるプライバシ保護基盤
无处不在的机器学习社会中的隐私保护基础设施
  • 批准号:
    23K21695
  • 财政年份:
    2024
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
生成AI遍在社会におけるプライバシ保護基盤の創成
在生成式AI无处不在的社会中创建隐私保护平台
  • 批准号:
    24H00714
  • 财政年份:
    2024
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
解析結果のプライバシ保護を実現する効率的な秘密計算技術の開発
开发高效的安全计算技术,保护分析结果的隐私
  • 批准号:
    24K20775
  • 财政年份:
    2024
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
常時認証と対話環境推定に基づくプライバシを守るヒューマンロボットインタラクション
基于持续身份验证和交互环境估计的保护隐私的人机交互
  • 批准号:
    24K15034
  • 财政年份:
    2024
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
無線制御信号から漏洩するプライバシの保護
保护无线控制信号泄露的隐私
  • 批准号:
    23K26109
  • 财政年份:
    2024
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Persistent TEE: データ・プライバシ保護のための堅牢な実行基盤
持久化TEE:数据隐私保护的稳健执行基础
  • 批准号:
    23K28063
  • 财政年份:
    2024
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
投薬制御のためのプライバシ保護機能をもつ安全強化学習法の構築
一种具有隐私保护功能的用药控制安全强化学习方法的构建
  • 批准号:
    24K07555
  • 财政年份:
    2024
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
時空間データの特性に適応する実践的プライバシ保護技術に関する研究
适应时空数据特点的实用隐私保护技术研究
  • 批准号:
    22KJ2294
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Persistent TEE: データ・プライバシ保護のための堅牢な実行基盤
持久化TEE:数据隐私保护的稳健执行基础
  • 批准号:
    23H03373
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Development of efficient and secure data structure for reference genome
开发高效、安全的参考基因组数据结构
  • 批准号:
    23K18515
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了