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

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

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

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

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

西巻 陵 | NTT R&D Website

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

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

Mehdi Tibouchi | NTT R&D Website

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

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

阿部 正幸 | 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 R&D Website

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

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社会情報研究所｜NTT R&D Website

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

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

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

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

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

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

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

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

OHポスター2012

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

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

未来の安心・安全な情報通信を実現する「耐量子暗号」と「消去証明」技術 | NTT R&D Website

。暗号理論の研究に従事。2010年東京工業大学（現　東京科学大学）大学院 情報理工学研究科 数理・計算科学専攻 博士後期課程修了 博士（理学）取得。東京科学大学特定教授。2008年電子情報通信学会SCIS

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

和文論文一覧

光物性研究部 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

、すなわち、情報通信の安全性の観点から考えてみます。 高い計算能力を期待されている量子コンピュータは、良いことに使われるばかりでなく、「暗号を破る」という悪いことにも利用されるおそれがあります。このため、近年、量子

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

統括からのメッセージ | 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

行列式に始まる表現論と組合せ論 | NTT R&D Website

ヌジャングラフはスペクトルグラフ理論的に"最良の"高拡散性・急撹拌性を持つエクスパンダーグラフです。ラマヌジャングラフはその性質から、例えば暗号学的ハッシュ関数の構成といった応用を持つため重要です。またグラフがラマ

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

あらゆる技術者がセキュリティの素養を持つことが当たり前の世界になったらいい | NTT R&D Website

ことが当たり前の世界になったらいいNTT社会情報研究所 あらゆる技術者がセキュリティの素養を持つことが当たり前の世界になったらいい 世界最先端の暗号技術やサイバーセキュリティ対策技術等の情報科学分野の研究開発

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

OH2010.pdf

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

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

数論・代数幾何・表現論が紡ぐ数学の世界 | NTT R&D Website

です。素数が無限に存在することや自然数が素数の積に一意に分解できることが示されていました。どんな動機があったのかは不明です。しかも1977年のリベスト、シャミア、エーデルマンによるRSA暗号方式の発明

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

NTT R&D FORUM 2025 開催報告 | NTT R&D Website

であればすべてを観測できると強調しました。 また、AIは「非常に賢い対象でありながら内部を観測できる」存在であるため、「心」や「知性」の原理を、数理的に探る好機であるとも述べました。現在、AIと呼ば

https://www.rd.ntt/forum/2025/

社会情報研究所の連合学習研究を発信 | AI・機械学習の最難関国際会議 NeurIPS2025参加レポート | SocioTechnical-Hub | 社会情報研究所

れていたかをMIAにより識別できるかという問題を、防御者（忘却手法）と攻撃者（識別者）からなる暗号論的ゲームとして定式化し、攻撃者の識別能力そのものを数理的に定式化し忘却の評価指標として定義しました。さらに、この指標

https://www.rd.ntt/sil/media/0012.html

『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/

NTTBrl_honbun_J_260302.indd

および学生が参加し、情報科学、 物理学、光科学、数理科学など多分野にわたる活発な討論が行われま した。 「原子系光学 媒体」 負の屈折とは、自然界で観測される屈折とは逆向きに光が曲がる現象であり、光学迷彩や超

https://www.rd.ntt/brl/result/activities/file/annual_report/NTTBrl_J_260310_print.pdf

oh1013_booklet.pdf

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

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