「数理 暗号」の検索結果（33件）

c_2_1.pdf

，2009 年刊行予定． フォーマルメソッド 数理論理学に基づく 暗号理論 記号論理学的な表現と，確率的な概念の対応を 明らかにすることで融合を実現 スライド番号 1

https://www.rd.ntt/cs/event/openhouse/2009/theme/c2/doc/c_2_1.pdf

NTT CS研オープンハウス×未来想論2009 テーマ展示 論理×確率で安心・安全を極める ―フォーマルメソッドと暗号理論の融合―

NTT CS研オープンハウス×未来想論2009 テーマ展示 論理×確率で安心・安全を極める ―フォーマルメソッドと暗号理論の融合― 講演・テーマ展示一覧 スケジュール 見どころ スト

https://www.rd.ntt/cs/event/openhouse/2009/theme/c2/

panel_sakurada.pdf

匿名性・プライバシの高精度検証に向かって ー数理的技法と暗号理論の融合による セキュリティ・プロトコルの高精度自動検証ー 背景・課題：電子投票や医療に関わる通信などでは，通信プロトコル（通信の仕組

https://www.rd.ntt/cs/event/openhouse/2010/theme/b7/panel_sakurada.pdf

poster.pdf

【関連文献】 【 連 絡 先 】 どんな研究 どこが凄い 目指す未来 入力 出力 検証用言語で記述した プロトコル仕様 ・QUIC（Googleによるweb 認証・暗号化プロトコル） ・TLS1

https://www.rd.ntt/cs/event/openhouse/2016/exhibition/10/poster.pdf

Mehdi Tibouchi | NTT R&D Website

大学大学院新領域創成科学研究科　非常勤講師 2018年～　京都大学大学院情報学研究科　客員准教授 技術キーワード 公開鍵暗号・数理暗号学・暗号解読・耐量子暗号・準同型暗号 関連するコンテンツ

https://www.rd.ntt/organization/researcher/special/s_022.html

西巻 陵 | NTT R&D Website

Security トップレビューアー賞受賞 客員教授等 東京工業大学　特定准教授　（2016年～2023年） 東京科学大学（旧　東京工業大学）　特定教授　（2024年～） 著書 「公開鍵暗号の数理」（共立出版

https://www.rd.ntt/organization/researcher/special/s_029.html

NTT コミュニケーション科学基礎研究所 オープンハウス×未来想論 2008 テーマ展示 フォーマルメソッドの新潮流

】 特集 数理的技法による情報セキュリティ. 応用数理, Vol.17, No.4, pp.6-58 (2007). 暗号へのフォーマルメソッドの応用について，さらに詳しく知りたい方向けの解説論文集

https://www.rd.ntt/cs/event/openhouse/2008/formal/

阿部 正幸 | NTT R&D Website

正幸 NTT社会情報研究所 フェロー他フェローの情報へ セキュリティ本技術分野の他研究員情報へ 社会情報研究所本研究所/センタ/部門の他研究員情報へ 暗号理論、ディジタル署名、ゼロ知識証明に関する研究

https://www.rd.ntt/organization/researcher/fellow/f_007.html

NTT コミュニケーション科学基礎研究所 オープンハウス2016

ム / プログラム / 研究展示 言語と計算の科学 次世代ｗｅｂの安全性がより確かなものに ～フォーマルメソッドによるQUIC・TLS1.3の検証～ 概要 インターネット上の通信の安全性は、認証や暗号化の方法

https://www.rd.ntt/cs/event/openhouse/2016/exhibition/10/

北川 冬航 | NTT R&D Website

九大IMI共同利用研究集会、「情報・計算・暗号の融合による新しい数理基盤の創出」、Cryptographic Primitives with Quantum Secure Key Leasing 技術

https://www.rd.ntt/organization/researcher/special/s_091.html

セミナー・講演情報 | NTT R&D Website

でない(entangled)かを判定する問題は重要である。その問題に対して、量子de Finetti定理という分離可能状態の...[Read more] 2025/7/31 [基礎数学セミナー] 「多変数多項式暗号

https://www.rd.ntt/ifm/topics/lectures.html

NTT コミュニケーション科学基礎研究所 オープンハウス2010

精度自動検証方法を考案した．特に，未解決問題であった一方向関数を用いた通信プロトコルの高精度自動検証を可能にした． 展示資料 匿名性プライバシの高精度検証に向かって ―数理的技法と暗号理論の融合

https://www.rd.ntt/cs/event/openhouse/2010/theme/b7/

岡本 龍明 | NTT R&D Website

」(翻訳)（シュプリンガ－フェアラーク社） 2001 「公開鍵暗号の数理」（共立出版）2011 「量子計算」（近代科学社）2015 「現代暗号の誕生と発展」（近代科学社）2019 表彰 1992年 NTT

https://www.rd.ntt/organization/researcher/fellow/f_001.html

フォーマルメソッドによるセキュリティ検証手法｜NTTコミュニケーション科学基礎研究所｜NTT R&D Website

られるプロトコル（通信手順）が、重要な情報を漏洩させないことや、なりすまし攻撃を防げることなど、さまざまなセキュリティ要件を満たしていることを検証する必要があります。しかし、高度な暗号技術を駆使した複雑なプロ

https://www.rd.ntt/cs/team_project/media/computing_theory/research_media14.html

秘匿スパース演算を用いた分散メディア処理技術｜NTT R&D Website

学習に対して、1）少量データでの学習が可能、2）少ない演算量、3）説明可能なAIといった側面も持ち、注目されています。考案した秘匿スパース演算は、暗号化データに対してスパースモデリングの学習と実行が可能

https://www.rd.ntt/research/NI0061.html

岡本龍明_略歴・業績リスト

セキュリティ文化賞 2011年 社団法人 電子情報通信学会 功績賞 2011年 日本応用数理学会　フェロー 2012年 紫綬褒章 2015年 国際暗号学会（IACR） フェロー 2016年 社団法人

https://www.rd.ntt/organization/researcher/fellow/achievements_okamoto.html

エバンジェリスト紹介｜NTT社会情報研究所｜NTT R&D Website

. (米国)の設立に携わり、2019年-2022年にNTT Research, Inc. の研究所長として勤務。国際暗号学会理事、日本応用数理学会会長、電子情報通信学会理事などを歴任。電子情報通信学会業績賞

https://www.rd.ntt/sil/overview/evangelist/

OHポスター2012

を保障！ 究極の暗号 －フォーマルメソッドによる量子暗号の安全性証明－ ・法律はあなたのプライバシを守ってくれるか？ －プライバシの数理的定式化と法律への適用－ ・類題から賢く学べます －頑健な半教師

https://www.rd.ntt/cs/event/openhouse/2012/oh2012_poster.pdf

和文論文一覧

光物性研究部 1. 森越文明、「エンタングルメントと熱力学的構造」、数理科学、第43巻 第2号 p.42 (2005). 2. 都倉康弘、「量子暗号研究開発の現状」、月刊JADI、日本防衛装備工業会

https://www.rd.ntt/brl/result/activities/file/report05/data15.html

盗聴不可能な量子暗号の通信距離を２倍にする新方式を提唱｜NTT物性科学基礎研究所 | NTT R&D Website

を持つほど強固なセキュリティを持つと期待される暗号の候補は（数理暗号を含めて）幾つか存在しますが、量子コンピュータへの耐性が厳密に理論保障されているのは、現状では、安全性を物理法則に委ねる「量子暗号」ただ

https://www.rd.ntt/brl/latesttopics/2015/12/latest_topics_201512161901.html

timetable.pdf

）� ここまで� 聞き取れるように� なりました� 五感で感じる,� 身体が動く� 「乱れ」から� 「秘密鍵」をつくる� 数理で創る鉄壁の� ディフェンス� 量子情報処理が� ひらく未来通信� 考える環境� まっしゅるー

https://www.rd.ntt/cs/event/miraisoron/2006/timetable.pdf

kaisetsu_mano.pdf

つである． では，フォーマルメソッドでシステムの匿名性やプラ イバシを検証するためには何が必要だろうか．数理論理 学という理論的基礎，そしてモデル検査器や定理証明器 などの検証支援のツールといった，フォ

https://www.rd.ntt/cs/event/openhouse/2008/formal/doc/kaisetsu_mano.pdf

表面

エンス ・測れない光で秘密ができる －レーザの相関ランダム現象を利用した秘密鍵配送－ ・コンピュータが安全性を保障！ 究極の暗号 －フォーマルメソッドによる量子暗号の安全性証明－ ・法律はあなたのプライバシを守っ

https://www.rd.ntt/cs/event/openhouse/2012/oh2012_leaflet.pdf

統括からのメッセージ | NTT R&D Website

年10月に創設された本基礎数学(1)研究センタに、2022年の春、3名の若手数学者が着任しました。それぞれが、数論幾何学（モチーフ理論）、表現論とグラフ理論（数理物理・数論への応用）、そして保型表現論

https://www.rd.ntt/ifm/message.html

ntt冊子2012.indd

－ 3 法律はあなたのプライバシを守ってくれるか？ －プライバシの数理的定式化と法律への適用－ 5 データのキモ、見つけます －特徴的な構造を抽出するデータマイニング技術－ 7 生放送でも即座に特定

https://www.rd.ntt/cs/event/openhouse/2012/oh2012_booklet.pdf

oh09_pamphlet.pdf

の妥当性を 暗号理論で裏付け （57ページのアプローチ） 関連文献 真野，櫻田，河辺，塚田，“ゲーム列による安全性証明の形式化と自動化”，応用数理，vol．17，no． 4，pp．38-46，2007

https://www.rd.ntt/cs/event/openhouse/2009/oh09_pamphlet.pdf

2007oh_ms_pamphlet.pdf

． 著書：「暗号・ゼロ知識証明・数論」（共立出版），「現代暗号」（産業図書），「暗号と情報セキュリティ」（日経 BP 社）など．京都大学大学院情報学 研究科 客員教授，日本応用数理学会会長，工学博士． 講演

https://www.rd.ntt/cs/event/openhouse/2008/doc/2007oh_ms_pamphlet.pdf

OH2010.pdf

マルコフモデルのための高速探索 B5 トピックモデルに基づくデータマイニング B7 匿名性・プライバシの高精度検証に向かって －数理的技法と暗号理論の融合によるセキュリティ・プロトコルの高精度自動検証

https://www.rd.ntt/cs/event/openhouse/2010/OH2010.pdf

『NTT R&Dフォーラム 2018』開催報告　～デジタル技術が彩る未来へ～｜NTT R&D Website

Learning（深層学習）と呼ばれる機械学習系の技術が開発されたことが大きい。 Deep Learningは、人間の脳神経のニューロンを数理モデル化したニューラルネットワークを多層化したもので、入力されたデー

https://www.rd.ntt/forum/forum2018.html

oh2016_booklet.pdf

フ J(10,2) 【関連文献】 【 連 絡 先 】 どんな研究 どこが凄い 目指す未来 入力 出力 検証用言語で記述した プロトコル仕様 ・QUIC（Googleによるweb 認証・暗号化プロ

https://www.rd.ntt/cs/event/openhouse/2016/download/oh2016_booklet.pdf

oh2018_booklet.pdf

国立大学 教授 1999年 東京大学 情報基盤センター 教授 2001年 東京大学 大学院 学際情報学府 兼坦 2003年 東京大学 情報理工学系研究科 数理情報学専攻 兼坦 2016年 理化学研究所 革新知能

https://www.rd.ntt/cs/event/openhouse/2018/download/oh2018_booklet.pdf

情報基礎理論研究グループ｜NTTコミュニケーション科学基礎研究所｜NTT R&D Website

研究部 情報基礎理論研究グループ 情報基礎理論研究グループ [Japanese|English] 計算機やネットワーク上で情報を巧みに操るための基礎理論を構築しています。インターネット上の暗号通信プロ

https://www.rd.ntt/cs/team_project/media/computing_theory/

oh1013_booklet.pdf

学科卒業 1985年 広島大学大学院理学研究科博士後期課程数学専攻修了 1994年 九州大学理学部数学科助教授 1997年 九州大学大学院数理学研究科教授 2006年～2010年 九州大学大学院数理学

https://www.rd.ntt/cs/event/openhouse/2013/download/oh1013_booklet.pdf