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

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

Mehdi Tibouchi | NTT R&D Website

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

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

西巻 陵 | NTT R&D Website

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

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

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

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

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

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

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

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

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

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

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

フォーマルメソッドによるセキュリティ検証手法｜NTTコミュニケーション科学基礎研究所｜NTT R&D Website

られるプロトコル（通信手順）が、重要な情報を漏洩させないことや、なりすまし攻撃を防げることなど、さまざまなセキュリティ要件を満たしていることを検証する必要があります。しかし、高度な暗号技術を駆使した複雑なプロ

https://www.rd.ntt/cs/team_project/media/computing_theory/research_media14.html

岡本 龍明 | NTT R&D Website

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

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

秘匿スパース演算を用いた分散メディア処理技術｜NTT R&D Website

学習に対して、1）少量データでの学習が可能、2）少ない演算量、3）説明可能なAIといった側面も持ち、注目されています。考案した秘匿スパース演算は、暗号化データに対してスパースモデリングの学習と実行が可能

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

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

セキュリティ文化賞 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

[基礎数学セミナー] 「マルコフ連鎖に現れる表現とその計算」開催のお知らせ タイトル：マルコフ連鎖に現れる表現とその計算 日時：2024/12/18 講演者：間野　修平（統計数理研究所 教授） 会場：ハイ

https://www.rd.ntt/ifm/topics/lectures.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