Resource Bounded Unprovability of Computational Lower Bounds (Part 1) (Algebraic Aspects of Coding Theory and Cryptography)
スポンサーリンク
概要
著者
-
鹿島 亮
東京工業大学情報理工学研究科数理・計算科学専攻
-
鹿島 亮
東京工業大学情報理工学研究科数理計算科学専攻
-
岡本 龍明
日本電信電話株式会社ntt情報流通プラットフォーム研究所
-
岡本 龍明
日本電信電話株式会社
関連論文
- A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory)
- 公開鍵暗号 EPOC-3 および PSEC-3
- 光量子通信処理への期待
- 汎用的結合可能性による暗号システムの安全性証明(セキュリティ,フォーマルアプローチ論文)
- 6.はん用的結合可能性と数理的技法(暗号技術の証明可能安全性)
- Resource Bounded Unprovability of Computational Lower Bounds (Part 1) (Algebraic Aspects of Coding Theory and Cryptography)
- 計算量の下界と暗号の安全性について(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 計算量の下界と暗号の安全性について(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 計算量の下界と暗号の安全性について(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- とびらの言葉
- 量子公開鍵暗号(量子情報科学 : 新しい情報処理のパラダイム)
- テロリズムと暗号
- S2-5 暗号とその応用
- 到達可能関係の推移閉包を扱う様相論理のカノニカルモデルについて (形式体系と計算理論)
- TD-1-4 量子公開鍵暗号
- 量子公開鍵暗号とその改良 (計算理論とアルゴリズムの新展開)
- 量子公開鍵暗号 (特集 量子コンピュータと量子情報技術の未来--研究の最前線から)
- Fragments of Second Order Propositional Logic (Proof theoretical study of the structure of logic and computation)
- 中間述語論理 CD について(算術体系の証明論)
- A Proof of the Standardization Theorem in $\lambda$-Calculus (Towards new interaction between category theory and proof theory)
- Contraction-Elimination Theorem
- Cut-free systems for some tense logics
- 暗号技術動向と将来技術 (特集 HIKARIビジョンの実現に向けた情報流通プラットフォームの高度化(その2)安心・安全な情報流通を支える情報セキュリティ技術)
- 情報流通を支えるセキュリティ技術
- ネットワーク社会の安全・信頼性--公開鍵暗号と量子暗号 (特集 21世紀の社会・経済を支える科学技術)
- 役立つ数学について
- 電子マネー(明るい社会を築く暗号 : 暗号は社会を変革する)
- 公開鍵暗号の安全性評価 (特集 暗号の数理--デジタル社会のセキュリティ)
- 応用数理学会の発展を願って(フェロー)
- 暗号の研究動向 (特集論文 暗号--アルゴリズムと安全性)
- 代数曲線とその応用論文小特集の発行にあたって
- 暗号における数理モデル(応用数理の遊歩道(76))