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

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

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

特別研究員北川 冬航 安全な公開鍵暗号技術の設計と量子計算機時代の新たな暗号技術の研究。 暗号理論、特に公開鍵暗号方式やより発展的な暗号技術の設計及び安全性解析について研究を行う。近年は、暗号理論と量子

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

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

でも、特に国外におよぶインパクトを与える実績を残した研究者には「セキュリティマスター」の称号が与えられます。 フェロー／セキュリティマスター 岡本 龍明 専門分野は、暗号理論および計算理論。暗号や情報セキ

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

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

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

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

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

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

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

西巻 陵 | NTT R&D Website

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

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

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

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

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

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

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

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

NTT R&D Website | 日本電信電話株式会社

：岡本 龍明 研究分野：暗号理論の研究 基礎研究 フェロー：守谷 健弘 研究分野：音声音響信号処理・符号化 基礎研究 フェロー：上田 修功 研究分野：ビッグデータ解析のための革新的機械学習技術の研究 上田

https://www.rd.ntt/

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

阿部 正幸 | NTT R&D Website

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

https://www.rd.ntt/organization/researcher/fellow/f_007.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/research/JN202305_21855.html