Quantitative Analysis of Information Leakage in Cyber-Physical Systems

信息物理系统信息泄露的定量分析

基本信息

项目摘要

项目成果

期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
統計的手法によるプログラムの定量的情報流解析
使用统计方法对程序进行定量信息流分析
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Tom Chothia;Yusuke Kawamoto and Chris Novakovic
  • 通讯作者：
    Yusuke Kawamoto and Chris Novakovic
Inria Saclay/Inria Rennes(フランス)
因里亚·萨克雷/因里亚·雷恩（法国）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
INRIA(France)
法国INRIA
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Formal and Statistical Approach to Quantitative Information Flow of Programs
程序定量信息流的形式和统计方法
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yusuke Kawamoto;Fabrizio Biondi and Axel Legay;Yusuke Kawamoto;Yusuke Kawamoto
  • 通讯作者：
    Yusuke Kawamoto
Quantitative Information Flow for Scheduler-Dependent Systems
  • DOI：
    10.4204/eptcs.194.4
  • 发表时间：
    2015-04
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yusuke Kawamoto;Thomas Given-Wilson
  • 通讯作者：
    Yusuke Kawamoto;Thomas Given-Wilson
{{ 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 }}

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.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

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

Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches
通过整合统计和形式方法对网络物理系统进行定量验证
  • 批准号：
    17K12667
  • 财政年份：
    2017
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

π計算を介したプログラム検証・解析
通过π计算进行程序验证和分析
  • 批准号：
    24K20731
  • 财政年份：
    2024
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
依存篩型と述語制約によるプログラム検証の深化
使用依赖筛类型和谓词约束深化程序验证
  • 批准号：
    23K24826
  • 财政年份：
    2024
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Search for the Dimuon decay of the Standard Model Higgs Boson using ATLAS
使用 ATLAS 搜索标准模型希格斯玻色子的 Dimuon 衰变
  • 批准号：
    2907975
  • 财政年份：
    2024
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Studentship
並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術
用于并发/并行编程的可扩展自动程序验证技术
  • 批准号：
    24H00699
  • 财政年份：
    2024
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発
基于逻辑约束术语重写的共归纳法程序验证方法的开发
  • 批准号：
    24K02900
  • 财政年份：
    2024
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Search for Q-balls and Nuclearites emitting thermal shock waves in IceCube
在 IceCube 中寻找发射热冲击波的 Q 球和核子
  • 批准号：
    24K17062
  • 财政年份：
    2024
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
WoU-MMA: Targeted Search for Binary Mergers with Multiple Harmonics in Gravitational Wave Data
WoU-MMA：引力波数据中多重谐波二元合并的定向搜索
  • 批准号：
    2309360
  • 财政年份：
    2023
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Continuing Grant
A Search For Failed Supernovae and Other Observational Constraints on the Supernova Mechanism
寻找失败的超新星和超新星机制的其他观测限制
  • 批准号：
    2307385
  • 财政年份：
    2023
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Standard Grant
Search for damage-associated molecular patterns (DAMPs) derived from cochlear hair cells and its clinical application
耳蜗毛细胞损伤相关分子模式（DAMPs）的探索及其临床应用
  • 批准号：
    23K08924
  • 财政年份：
    2023
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Search for therapeutic target molecules based on temporal hierarchical analysis of Oral squamous cell carcinoma and functional RNA molecules
基于口腔鳞状细胞癌和功能RNA分子的时间层次分析寻找治疗靶分子
  • 批准号：
    23K16142
  • 财政年份：
    2023
  • 资助金额：
    $ 1.66万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了