「暗号理論」の検索結果（53件）

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

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

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

c_2_1.pdf

B 安全 or 危険（真偽） 暗号理論の フォーマルな表現方法 （第2のアプローチ） 理想化の妥当性を 暗号理論で裏付け （第1のアプローチ） 論理×確率で安心・安全を極める フォーマルメソッドと暗号

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

量子コンピュータ時代に安全な通信を創出する暗号プロトコル研究 | NTT R&D Website

になりますが、これでは答えという「知識」を与えてしまうことになります。そこでパズルに答えがあることの「知識」を教えることなく、証明することを可能にする技術がゼロ知識証明です。 従来の暗号理論では、基本的にゼロ知識証明の安全性

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

加速度的に増大するデジタル危機を解決する、次世代の安全な「公開鍵暗号技術」 | NTT R&D Website

できなかったようなセキュリティ技術を生み出そうというのが私の研究です。この研究は「量子暗号」などと呼ばれます。 私の研究の最終目標は、その専門である暗号理論と量子情報の研究でこの先の将来、量子計算機時代になっても安心

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

c_2.pdf

理論的にも十分信頼性が高い ことを証明 •［第2のアプローチ，暗号理論からフォーマルメ ソッドへ］困難であった安全性証明を計算機に任 せることが可能に 連絡先：真野健 協創情報研究部 情報基礎理論研究

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

panel_sakurada.pdf

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

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

c_2_2.pdf

論理×確率で安心・安全を極める 99.999…%安全です －フォーマルメソッドから暗号理論へ－ •通信システムの安全性検証の２つの方法 フォーマルメソッドを用いた検証方法 人手による暗号学的

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

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

でも、特に国外におよぶインパクトを与える実績を残した研究者には「セキュリティマスター」の称号が与えられます。 フェロー／セキュリティマスター 阿部 正幸 阿部特別研究室長。 NTT入社以来、暗号理論、特に、暗号

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

暗号理論研究の方法論をベースにコンプレキシティ増大の法則を定式化 | NTT R&D Website

暗号理論研究の方法論をベースにコンプレキシティ増大の法則を定式化 | NTT R&D Website NTT R&D Website リサーチ＆アクティビティ 暗号理論研究の方法論をベースにコン

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

現代暗号の発展と量子計算機時代の暗号研究に向けて | NTT R&D Website

計算機時代の暗号研究に向けてNTT社会情報研究所 現代暗号の発展と量子計算機時代の暗号研究に向けて 暗号理論 耐量子暗号 量子暗号 1976年から始まる現代暗号理論では、攻撃者を多項式時間チュ

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

北川 冬航 | NTT R&D Website

暗号技術の設計と量子計算機時代の新たな暗号技術の研究 暗号理論、特に公開鍵暗号方式やより発展的な暗号技術の設計及び安全性解析について研究を行う。近年は、暗号理論と量子情報の融合領域の研究に取り組んでおり

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

計算環境の変化に対応する暗号理論研究の最前線｜NTT R&D Website

計算環境の変化に対応する暗号理論研究の最前線｜NTT R&D Website NTT R&D Website リサーチ&アクティビティ 計算環境の変化に対応する暗号理論研究の最前線 更新日

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

NTT社会情報研究所 | NTT R&D Website

バーセキュリティ、暗号理論等）を融合した学際的アプローチを通じて「社会の発展と守り」に貢献する研究開発 詳しく見る エバンジェリスト紹介 研究開発内容 NTT社会情報研究所の研究開発内容をご紹介します。 リサーチ&アク

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

オーソリティチーム｜NTT R&D Website

されています。 医療情報 友池 仁暢 NTT Research. Inc. MEI Lab 元所長 量子光学 山本 喜久 NTT Research, Inc. PHI Lab 所長 暗号理論 岡本 龍明 NTT社会情報

https://www.rd.ntt/organization/authority/

より良い未来を創るセキュリティR&D | NTT R&D Website

時代の社会課題解決と社会変革に資する、世界トップレベルの暗号・セキュリティ技術の研究開発に取り組んでいます。本稿では、耐量子計算機暗号理論の研究や標準化、現代暗号から耐量子暗号への移行に資するクリ

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

山川 高志 | NTT R&D Website

特別研究員山川 高志 NTT社会情報研究所 上席特別研究員他上席特別研究員の情報へ セキュリティ本技術分野の他研究員情報へ 社会情報研究所本研究所/センタ/部門の他研究員情報へ 量子時代の暗号理論 量子

https://www.rd.ntt/organization/researcher/superior/s_040.html

[基礎数学セミナー] 「エクスパンダーグラフの構成問題」開催のお知らせ | NTT R&D Website

） 会場：武蔵野研究開発センタ エクスパンダーグラフは強い連結性とスパース性を併せ持つグラフであり、暗号理論、符号理論などの情報科学における重要な研究対象であるのみならず、群論、整数論、組合せ論などの数学

https://www.rd.ntt/ifm/topics/lecture-20230614.html

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

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

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

西巻 陵 | NTT R&D Website

西巻 陵 NTT社会情報研究所 特別研究員他特別研究員の情報へ セキュリティ本技術分野の他研究員情報へ 社会情報研究所本研究所/センタ/部門の他研究員情報へ 暗号理論、暗号化された情報やプログラム上

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

NTT R&D Website | NTT株式会社

組んでいます。 セキュリティ フェロー：岡本 龍明 研究分野：暗号理論の研究 基礎研究 フェロー：守谷 健弘 研究分野：音声音響信号処理・符号化 基礎研究 フェロー：上田 修功 研究分野：ビッグデータ解析のための革新的

https://www.rd.ntt/