Projected Model Counters for Quantitative Information Flow Analysis

用于定量信息流分析的投影模型计数器

基本信息

批准号：
17K00098
负责人：
Hashimoto Kenji
金额：
$ 2.91万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
起止时间：
2017-04-01 至 2021-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00098/
关键词：
投射モデル計数量的情報流解析 BDD 阻止節変数順序 d-DNNF 成分キャッシュ

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -

量化动态泄漏 - 复杂性分析和基于模型计数的计算 -

DOI：
10.1587/transinf.2019edp7132
发表时间：
2019
期刊：
影响因子：
0.7
作者：
Bao Trung Chu; Kenji Hashimoto; Hiroyuki Seki
通讯作者：
Hiroyuki Seki

Projected Model Counting and Enumeration

预计模型计数和枚举

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

命題論理式の全ての投射モデルを表現するBDDの構成法

如何构造BDD来表达命题逻辑公式的所有投影模型

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
磯貝孝明; 橋本健二; 酒井正彦
通讯作者：
酒井正彦

On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem

动态泄漏的组合性及其在量化问题中的应用

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Bao Trung Chu; Kenji Hashimoto; Hiroyuki Seki
通讯作者：
Hiroyuki Seki

GPMC

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

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

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hashimoto Kenji其他文献

A 7ns-Access-Time 25μW/MHz 128kb SRAM for Low-Power Fast Wake-Up MCU in 65nm CMOS with 27fA/b Retention Current

用于低功耗快速唤醒 MCU 的 7ns 访问时间 25μW/MHz 128kb SRAM，采用 65nm CMOS，具有 27fA/b 保持电流

DOI：
发表时间：
2014-04-10
期刊：
影响因子：
0
作者：
Fukuda Toshikazu;Kohara Koji;Dozaka Toshiaki;Takeyama Yasuhisa;Midorikawa Tsuyoshi;Hashimoto Kenji;Wakiyama Ichiro;Miyano Shinji;Hojo Takehiko
通讯作者：
Hojo Takehiko

N-myristoylation and S-acylation are common modifications of Ca2+-regulated Arabidopsis kinases and are required for activation of the SLAC1 anion channel

N-肉豆蔻酰化和 S-酰化是 Ca2 调节的拟南芥激酶的常见修饰，是激活 SLAC1 阴离子通道所必需的

DOI：
10.1111/nph.15053
发表时间：
2018
期刊：
影响因子：
9.4
作者：
Saito Shunya;Hamamoto Shin;Moriya Koko;Matsuura Aiko;Sato Yoko;Muto Jun;Noguchi Hiroto;Yamauchi Seiji;Tozawa Yuzuru;Ueda Minoru;Hashimoto Kenji;Koester Philipp;Dong Qiuyan;Held Katrin;Kudla Joerg;Utsumi Toshihiko;Uozumi Nobuyuki
通讯作者：
Uozumi Nobuyuki

Quantitative Analysis for ROS-Producing Activity and Regulation of Plant NADPH Oxidases in HEK293T Cells

HEK293T 细胞中 ROS 产生活性和植物 NADPH 氧化酶调节的定量分析

DOI：
10.1007/978-1-0716-2469-2_8
发表时间：
2022
期刊：
影响因子：
0
作者：
Kimura Sachie;Kaya Hidetaka;Hashimoto Kenji;Wrzaczek Michael;Kuchitsu Kazuyuki
通讯作者：
Kuchitsu Kazuyuki

Plasma levels of matrix metalloproteinase‐9 (MMP‐9) are associated with cognitive performance in patients with schizophrenia

基质金属蛋白酶 9 (MMP-9) 的血浆水平与精神分裂症患者的认知能力相关

DOI：
10.1002/npr2.12098
发表时间：
2020
期刊：
影响因子：
2.5
作者：
Kudo Noriko;Yamamori Hidenaga;Ishima Tamaki;Nemoto Kiyotaka;Yasuda Yuka;Fujimoto Michiko;Azechi Hirotsugu;Niitsu Tomihisa;Numata Shusuke;Ikeda Manabu;Iyo Masaomi;Ohmori Tetsuro;Fukunaga Masaki;Watanabe Yoshiyuki;Hashimoto Kenji;Hashimoto Ryota
通讯作者：
Hashimoto Ryota

Upper-Body Control and Mechanism of Humanoids to Compensate for Angular Momentum in the Yaw Direction Based on Human Running

基于人体跑步的仿人上半身控制及偏航方向角动量补偿机制

DOI：
10.3390/app8010044
发表时间：
2018
期刊：
影响因子：
0
作者：
Otani Takuya;Hashimoto Kenji;Miyamae Shunsuke;Ueta Hiroki;Natsuhara Akira;Sakaguchi Masanori;Kawakami Yasuo;Lim Hum;Takanishi Atsuo
通讯作者：
Takanishi Atsuo