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

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

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

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

c_2_1.pdf

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

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

c_2.pdf

，鍵となるアイデア，および融合のためのアプローチの種類について紹介•［第1のアプローチ，フォーマルメソッドから暗号理論へ］フォーマルメソッドによるセキュリティ検証方法が暗号理論的にも十分信頼性が高い

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

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

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

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

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

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

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

西巻 陵 | 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/

c_2_3.pdf

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

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

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

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

阿部 正幸 | NTT R&D Website

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

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

SecurityDrivingForce_ja.pdf

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

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

佐々木 悠 | 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