「暗号理論」の検索結果（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/

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

会議）やCRYPTO（クリプト）、EUROCRYPT（ユーロクリプト）などの暗号理論のトップ会議で多数の研究論文を発表しています。具体的にはCRYPTOでは「公開鍵暗号」などを8件、EUROCRYPT

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

c_2_3.pdf

, pp.275―280, 2008. 担当者 顔写真 どんな研究？ もたらされる変革 頑固なバグも楽々発見 － 暗号理論からフォーマルメソッドへ － 連絡先: 櫟 粛之(Tadashi Araragi

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

量子計算機時代を見据えた暗号研究の最前線 | NTT R&D Website

を、現在インターネット等でも広く用いられている「現代暗号」、汎用量子計算機の登場に備える「耐量子暗号」、量子の特性を活かした全く新たな「量子暗号」のフェーズごとに紹介する。 暗号理論 耐量子暗号 量子暗号

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

oh09_pamphlet.pdf

を拓く－ C-1 データを生み出す隠れた原理を発見する　－ベイズ機械学習による情報生成過程のモデル化－ C-2 論理×確率で安心・安全を極める　－フォーマルメソッドと暗号理論の融合－ C-3 量子通信

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

セキュリティR&Dを取り巻く環境変化とNTT社会情報研究所のチャレンジ | NTT R&D Website

研究におけるCoE（Center of Excellence）として活動しています。 ①　耐量子計算機暗号理論 量子計算機でも破れない暗号技術で社会の安心・安全をけん引します。具体的パラメータの安全性

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

阿部 正幸 | NTT R&D Website

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

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

量子計算機時代の到来を見据えた暗号研究 | NTT R&D Website

ュリティ技術の研究開発に取り組んでいます。本稿では、耐量子計算機暗号理論の研究や標準化、現代暗号から耐量子暗号への移行に資するクリプトアジリティ技術の研究開発に加え、暗号理論と量子情報処理を融合した新たなセキ

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

秘密鍵を安全に貸与できる関数型暗号 | NTT R&D Website

ーしようと観測した瞬間に不確定性原理によって状態が変化し、鍵が消失するからです。測定せずに量子状態のまま置いておくしかありません。このような秘密鍵のコピープロテクトを定式化して証明しました。 暗号理論の安全性

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

佐々木 悠 | NTT R&D Website

, Lecture Notes in Computer Science, volume 5479, pages 134--152, Springer, 2009 技術キーワード 暗号理論、共通鍵暗号システム、ブロ

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

組織図／所属研究所概要｜サービスイノベーション総合研究所｜NTT R&D Website

セプトを具現化する技術の確立、高付加価値な社会システムの実現に向けて安全性と利便性を両立した情報流通・利活用を促進する技術の確立、暗号理論に加え物理的な性質を活用した新しいデータ保護技術の確立、世界を牽引

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

研究開発内容｜NTT社会情報研究所｜NTT R&D Website

... 公開資料 プログラム中の正規表現の自動修正技術 ChatGPTを用いたフィッシングサイト検出 NTT-CERTアニュアルレポート セキュリティ基礎CoE セキュリティ基礎 CoE は基礎暗号理論を研究

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

SecurityDrivingForce_ja.pdf

い仕組みが期待できます。 ケース：暗号理論 暗号理論はセキュリティを根幹から支える基盤技術を提供します。また、暗 号理論は、データや通信の内容に関する機密性や完全性を、ある範囲、条件下 で理論的に保証

https://www.rd.ntt/sil/overview/SecurityDrivingForce_ja.pdf

研究所について｜NTT社会情報研究所｜NTT R&D Website

テムの実現に向けて安全性と利便性を両立した情報流通・利活用を促進する技術の確立、暗号理論に加え物理的な性質を活用した新しいデータ保護技術の確立、世界を牽引する次世代暗号の基礎理論の創出、などに取り

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

2007oh_ms_pamphlet.pdf

（でんしんでんわ） ～環境知能が拓くコミュニケーションの未来～ ■フェロー講演 音を究め，音を楽しむ 未来を拓く暗号理論の研究 ■研究状況講演 世界をリードする探索・音声・音響技術 「あたま」の仕組

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

NTTの研究所｜NTT R&D Website

つを軸とした研究開発 NTT社会情報研究所 人文・社会科学と情報科学（サイバーセキュリティ、暗号理論等）を融合した学際的アプローチを通じて「社会の発展と守り」に貢献する研究開発 NTTコンピュータ&デー

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

NTT コミュニケーション科学基礎研究所 2007 オープンハウス×未来想論

ュニケーションの未来～」 外村 佳伸 フェロー講演 「音を究め、音を楽しむ」 守谷 健弘　（守谷特別研究室長，フェロー） 「未来を拓く暗号理論の研究」 岡本 龍明　（NTT 情報流通プラットフォーム研究所，岡本特別研究

https://www.rd.ntt/cs/event/openhouse/2007/

情熱と知識を大切に、目の前に立ちはだかる問題や長年解けていない問題を解決しようとするのが研究者 | NTT R&D Website

だきました。2022年7月に帰国して、NTT社会情報研究所（社会研）で暗号理論を研究しています。NTT Research, Inc.在籍中の2021年夏には、CIS研のマネジメントを行う傍らインターンシップの学生を受け

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

藤堂 洋介 | NTT R&D Website

ピュータセキュリティシンポジウム(CSS)2020 特別講演 2021年4月　Invited Talk at TCCM-CACR 2023年3月　Invited Talk at FSE 2023 技術キーワード 暗号理論、共通鍵暗号、ブー

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

NTT コミュニケーション科学基礎研究所 2007 オープンハウス×未来想論 プログラム

（守谷特別研究室長，フェロー） 「未来を拓く暗号理論の研究」 岡本 龍明 （NTT 情報流通プラットフォーム研究所，岡本特別研究室長，フェロー） 基調講演 6月7日 14:30～15:30 「電話の未来

https://www.rd.ntt/cs/event/openhouse/2007/program.html

世界トップの暗号研究所をめざして｜NTT R&D Website

がおありだったのでしょうか。 何を研究分野に据えるか。これは戦略的に重要な課題です。私は研究テーマとして、コアな暗号理論、そして、ブロックチェーンの2つを選択し、それぞれを7割、3割の比率で推進することにしました。テーマを絞り

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

director-slide.pdf

、問題文書を見分けられる 論理論理××確率で安心・安全を極める確率で安心・安全を極める  暗号理論とフォーマルメソッドの融合により、暗号理論とフォーマルメソッドの融合により、 システムの安全性

https://www.rd.ntt/cs/event/openhouse/2009/talk/director/director-slide.pdf

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

スパンダーグラフは強い連結性とスパース性を併せ持つグラフであり、暗号理論、符号理論などの情報科学における重要な研究対象であるのみならず、群論、整数論、組合せ論などの数学の研究でも大きな役割を....[Read more

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

パラダイムシフトの中で実現する新時代のペタビット級空間多重光伝送 | NTT R&D Website

とも関連があり、アプリケーションの面では暗号理論、量子コンピュータ、AIの隆盛により流行りの機械学習や深層学習への応用検討も盛んです。 このように情報通信技術は、最先端の科学技術の粋を集めた分野であると同時

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

研究には「塞翁が馬」の視点と姿勢で臨む。影響を与え合える関係性の構築も研究活動である｜NTT R&D Website

の研究はそれぞれの要求に合わせた安全性を考えていくことです。どこまでが暗号理論で守れるか、サーフェイスをしっかり示すのが仕事の1つで、新しい技術が生まれるたびに安全性の意味や使い方を検討します。スマ

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

IOWN時代のデータガバナンスを実現するトラステッド・データスペース技術 | NTT R&D Website

は暗号理論的安全性に基づいた処理を行うため安全性は高くなりますが、サンドボックス技術はハードウェア機能を活用するため処理速度が速く、また既存のアルゴリズムをほぼそのまま実行可能であるという特徴

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

RECOMMENDED EXHIBITIONS おすすめ展示 | NTT R&D Website

スト サイバーセキュリティ 暗号理論 展示数4 安全な価値移転を実現するデジタル通貨プロトコル 通貨や有価証券などの価値をデジタル空間で取引しようとした時、従来技術では、履歴・残高を記録する台帳が必要

https://www.rd.ntt/forum/2024/recommend.html

IoT向け軽量共通鍵暗号の標準化と実装保護技術の研究 | NTT R&D Website

について教えてください。 暗号研究は数学の研究に似た部分があり、理論的研究の側面があります。その点で現実利用を進めるというより、数学のように暗号理論を突き詰めるという作業をしています。この側面での成果

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

OH2010.pdf

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

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

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

て安全性と利便性を両立した情報流通・利活用を促進する技術の確立、暗号理論に加え物理的な性質を活用した新しいデータ保護技術の確立、世界を牽引する次世代暗号の基礎理論の創出などに取り

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

「NTT R&Dフォーラム2019」開催報告｜NTT R&D Website

研究所をつくるという目標に向け、暗号理論とブロックチェーンの領域でのドリームチームの実現をめざし、トップの研究者が集まっていると報告し、NTTセキュアプラットフォーム研究所とのコラボレーションを進め

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