A new look at security proofs of cryptographic primitives from logic
从逻辑角度重新审视密码原语的安全证明
基本信息
- 批准号：18K19780
- 负责人：
- 金额：$ 4.08万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Research (Exploratory)
- 财政年份：2018
- 资助国家：日本
- 起止时间：2018-06-29 至 2022-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（34）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
対称関数を効率的に計算するPrivate PEZ プロトコル (from TCC 2019)
用于高效计算对称函数的私有 PEZ 协议（来自 TCC 2019）
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：安部 芳紀;岩本 貢;太田 和夫
- 通讯作者：太田 和夫
Secure Computation for Threshold Functions with Physical Cards: Power of Private Permutations
使用物理卡进行阈值函数的安全计算：私有排列的力量
- DOI：10.1007/s00354-022-00153-7
- 发表时间：2022
- 期刊：
- 影响因子：2.6
- 作者：Nakai Takeshi;Shirouchi Satoshi;Tokushige Yuuki;Iwamoto Mitsugu;Ohta Kazuo
- 通讯作者：Ohta Kazuo
Efficient Card-Based Majority Voting Protocols
高效的基于卡的多数投票协议
- DOI：10.1007/s00354-022-00161-7
- 发表时间：2022
- 期刊：
- 影响因子：2.6
- 作者：Abe Yoshiki;Nakai Takeshi;Kuroki Yoshihisa;Suzuki Shinnosuke;Koga Yuta;Watanabe Yohei;Iwamoto Mitsugu;and Ohta Kazuo
- 通讯作者：and Ohta Kazuo
{{
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 }}
Iwamoto Mitsugu其他文献
サルコペニアの摂食嚥下障害 ～高齢者モデルで考える新しいetiology～
肌肉减少症引起的吞咽困难〜基于老年模型的新病因学〜
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Watanabe Yohei;Ohara Kazuma;Iwamoto Mitsugu;and Ohta Kazuo;前田圭介 - 通讯作者：
前田圭介
情報指向型ネットワークにおける緊急情報転送方式
信息化网络中的应急信息传递方法
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Nakai Takeshi;Misawa Yuto;Tokushige Yuuki;Iwamoto Mitsugu;Ohta Kazuo;井上 勇気，内山 翔太，水野 修 - 通讯作者：
井上 勇気，内山 翔太，水野 修
AIチップの現状と今後について
AI芯片的现状与未来
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Abe Yoshiki;Nakai Takeshi;Kuroki Yoshihisa;Suzuki Shinnosuke;Koga Yuta;Watanabe Yohei;Iwamoto Mitsugu;and Ohta Kazuo;本村真人 - 通讯作者：
本村真人
Iwamoto Mitsugu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Iwamoto Mitsugu', 18)}}的其他基金
Development of Information-Theoretic Security Based on Guessing Secrecy
基于猜测保密性的信息论安全的发展
- 批准号：
17H01752 - 财政年份：2017
- 资助金额：
$ 4.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Construction and Analysis of Information Theoretically Secure Multicast Communication
信息理论上安全组播通信的构建与分析
- 批准号：
26420345 - 财政年份：2014
- 资助金额：
$ 4.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
Comprehensive Study of Hash-Based Digital Signature
基于哈希的数字签名综合研究
- 批准号：
18K11162 - 财政年份：2018
- 资助金额：
$ 4.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Developing Automated formal Verification System for Cryptology
开发密码学自动化形式验证系统
- 批准号：
17K00182 - 财政年份：2017
- 资助金额：
$ 4.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Deepening of a self-extendable software verification system based on class theory
基于类理论的可自扩展软件验证系统的深化
- 批准号：
17H01724 - 财政年份：2017
- 资助金额：
$ 4.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Construction of a self-extendable software verification system based on class theory
基于类理论的可自扩展软件验证系统的构建
- 批准号：
25280025 - 财政年份：2013
- 资助金额：
$ 4.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
ダイナミックに変化する知識・信念の論理学的分析手法の研究
知识信念动态变化的逻辑分析方法研究
- 批准号：
04J07439 - 财政年份：2004
- 资助金额：
$ 4.08万 - 项目类别：
Grant-in-Aid for JSPS Fellows