Developing robust algorithms for logic encryption protecting against piracy of logic IP
开发强大的逻辑加密算法,防止逻辑 IP 被盗版
基本信息
- 批准号:18K11219
- 负责人:
- 金额:$ 2.83万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2018
- 资助国家:日本
- 起止时间:2018-04-01 至 2021-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(12)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
論理暗号化に対するSAT攻撃アルゴリズムの高速化
加速针对逻辑加密的 SAT 攻击算法
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Soshi Kawada;Hidetoshi Murakami;Yota Kurokawa and Masaru Fukushi;H.Yamasaki;知野 遥香,菊池 愁也,四柳 浩之,橋爪 正樹;松永 裕介, 吉村 正義
- 通讯作者:松永 裕介, 吉村 正義
誤り修正論理合成を用いた論理暗号化手法について
关于使用纠错逻辑综合的逻辑加密方法
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Hikaru Yamaguchi;Hidetoshi Murakami;Yota Kurokawa and Masaru Fukushi;松永 裕介
- 通讯作者:松永 裕介
組合せ最適化問題としてのテストセット最小化問題
作为组合优化问题的测试集最小化问题
- DOI:
- 发表时间:2018
- 期刊:
- 影响因子:0
- 作者:T. Kurosawa;K. Shinmura;F. K. C. Hui;A. H. Welsh;N. Eshima;松永 裕介
- 通讯作者:松永 裕介
論理暗号化に対する効率的なSAT攻撃アルゴリズムの評価
针对逻辑加密的高效 SAT 攻击算法的评估
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Soshi Kawada;Hidetoshi Murakami;Yota Kurokawa and Masaru Fukushi;H.Yamasaki;知野 遥香,菊池 愁也,四柳 浩之,橋爪 正樹;松永 裕介, 吉村 正義;江島伸興;松永 裕介, 吉村 正義
- 通讯作者:松永 裕介, 吉村 正義
{{
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 }}
Matsunaga Yusuke其他文献
2018年度さくらキャンパス学生生活実態調査報告
2018年樱花校区学生生活调查报告
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Murayama Norio;Ota Kazumi;Matsunaga Yusuke;Ichikura Kanako;Fukase Yuko;Tagaya Hirokuni;Iseki Eizo;Sato Kiyoshi;菅波盛雄,中嶽誠,長岡知,村山憲男,白石知己,高橋佐江 - 通讯作者:
菅波盛雄,中嶽誠,長岡知,村山憲男,白石知己,高橋佐江
大学生柔道競技者における柔道実践の動機づけの多様性
大学柔道运动员柔道练习动机的多样性
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Murayama Norio;Ota Kazumi;Matsunaga Yusuke;Ichikura Kanako;Fukase Yuko;Tagaya Hirokuni;Iseki Eizo;Sato Kiyoshi;菅波盛雄,中嶽誠,長岡知,村山憲男,白石知己,高橋佐江;佐々木康允,村山憲男,森腰歩,竹澤稔裕,廣瀬伸良 - 通讯作者:
佐々木康允,村山憲男,森腰歩,竹澤稔裕,廣瀬伸良
健康心理学における援助要請:心身のケアを届けるために
请求健康心理学帮助:提供精神和身体护理
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Matsunaga Yusuke;Tagaya Hirokuni;Fukase Yuko;Hakamata Yuko;Murayama Norio;Kumagai Yuji;Kuroyama Masakazu;飯田敏晴・中村菜々子・永井智・松井智子・大竹恵子 - 通讯作者:
飯田敏晴・中村菜々子・永井智・松井智子・大竹恵子
Evaluating depression in cognitively healthy elderly people by using Mini‐Mental State Examination
使用简易精神状态检查评估认知健康老年人的抑郁症
- DOI:
10.1111/psyg.12462 - 发表时间:
2019 - 期刊:
- 影响因子:2
- 作者:
Murayama Norio;Ota Kazumi;Matsunaga Yusuke;Ichikura Kanako;Fukase Yuko;Tagaya Hirokuni;Iseki Eizo;Sato Kiyoshi - 通讯作者:
Sato Kiyoshi
An Acceleration of Soft Error Torelance Estimation Method for Sequential Circuits by Reducing the Number of States
减少状态数加速时序电路软误差容差估计方法
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
悠介 赤峰;Akamine Yusuke;Yoshimura Masayoshi;正義 吉村;裕介 松永;Matsunaga Yusuke - 通讯作者:
Matsunaga Yusuke
Matsunaga Yusuke的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似国自然基金
基于p53/SAT1/ALOX15信号通路探究纳米塑料暴露诱导肺癌化疗耐药的作用机制
- 批准号:JCZRLH202501242
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
难吸收药物小檗碱基于肠道菌群介导的GABA-SAT1-多胺代谢轴改善肿瘤免疫微环境抗结直肠癌的分子机制研究
- 批准号:QN25H310016
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于P53/SAT1/ALOX15信号通路探讨头穴丛刺通过干预去泛素化酶ATXN3抑制AD模型小鼠铁死亡的机制研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
SAT1对系统性红斑狼疮患者体内的T淋巴细胞发育分化的调控机制
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
ATF3通过促进SAT1加剧放射性皮肤损伤中铁死亡的机制研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
SAT1经mTOR通路调控前列腺癌铁死亡介导内分泌耐药机制研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
4-甲氧基黄檀醌通过促进 SAT1 介导的铁死亡抑制肝癌的作用机制研究
- 批准号:2024JJ7324
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
SAT1/HIF-1α调控滑膜巨噬细胞炎症及铁死亡促进颞下颌关节骨关节炎的机制研究
- 批准号:82301108
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
P-tau驱动SAT1依赖性铁死亡促糖尿病视网膜神经节细胞丧失的作用机制研究
- 批准号:82370833
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
SAT相关问题的求解算法研究
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
SWIFT-SAT: Unlimited Radio Interferometry: A Hardware-Algorithm Co-Design Approach to RAS-Satellite Coexistence
SWIFT-SAT:无限无线电干涉测量:RAS 卫星共存的硬件算法协同设计方法
- 批准号:
2332534 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
Collaborative Research: SWIFT-SAT: INtegrated Testbed Ensuring Resilient Active/Passive CoexisTence (INTERACT): End-to-End Learning-Based Interference Mitigation for Radiometers
合作研究:SWIFT-SAT:确保弹性主动/被动共存的集成测试台 (INTERACT):基于端到端学习的辐射计干扰缓解
- 批准号:
2332661 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
Collaborative Research: SWIFT-SAT: DASS: Dynamically Adjustable Spectrum Sharing between Ground Communication Networks and Earth Exploration Satellite Systems Above 100 GHz
合作研究:SWIFT-SAT:DASS:地面通信网络与 100 GHz 以上地球探测卫星系统之间的动态可调频谱共享
- 批准号:
2332722 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
Collaborative Research: SWIFT-SAT: DASS: Dynamically Adjustable Spectrum Sharing between Ground Communication Networks and Earth Exploration Satellite Systems Above 100 GHz
合作研究:SWIFT-SAT:DASS:地面通信网络与 100 GHz 以上地球探测卫星系统之间的动态可调频谱共享
- 批准号:
2332721 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
SWIFT-SAT: Observational Data Sharing
SWIFT-SAT:观测数据共享
- 批准号:
2332422 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
Collaborative Research: SWIFT-SAT: INtegrated Testbed Ensuring Resilient Active/Passive CoexisTence (INTERACT): End-to-End Learning-Based Interference Mitigation for Radiometers
合作研究:SWIFT-SAT:确保弹性主动/被动共存的集成测试台 (INTERACT):基于端到端学习的辐射计干扰缓解
- 批准号:
2332662 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
SWIFT-SAT: Software Defined Radio based Emulation of SAT-Terrestrial Network Coexistence in "FR3" Bands
SWIFT-SAT:“FR3”频段中基于软件定义无线电的 SAT 与地面网络共存仿真
- 批准号:
2332637 - 财政年份:2023
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
Application of perfect sampling with SAT/SMT solvers
SAT/SMT 求解器完美采样的应用
- 批准号:
23K10998 - 财政年份:2023
- 资助金额:
$ 2.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Speeding-up SAT-based Constraint Optimization Solvers
加速基于 SAT 的约束优化求解器
- 批准号:
23K11047 - 财政年份:2023
- 资助金额:
$ 2.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Q-SAT-GEN - Hybrid generative modelling for satellite image denoising and infilling
Q-SAT-GEN - 卫星图像去噪和填充的混合生成模型
- 批准号:
10086555 - 财政年份:2023
- 资助金额:
$ 2.83万 - 项目类别:
Small Business Research Initiative