-
需要家の取引ニーズに応じてP2P電力取引を最適化するブロックチェーン技術を開発 柔軟な取引環境を実現し、余剰電力の有効活用に貢献
2021/01/18
掲載言語： 日本語
概要東京工業大学科学技術創成研究院先進エネルギーソリューション研究センターの小田拓也特任教授、情報理工学院数理・計算科学系の田中圭介教授、同学院情報工学系のデファゴ・クサヴィエ教授、環境・社会理工学院イノベーション科学系の梶川裕矢教授らの研究グループは三菱電機と共同で、P2P[用語1]電力取引を最適
学位
-
博士(情報科学) （ 北陸先端科学技術大学院大学 ）
研究キーワード
-
Computer Science
-
計算機科学
研究分野
-
情報通信 / 情報学基礎論
学歴
-
北陸先端科学技術大学院大学
- 1997年
-
北陸先端科学技術大学院大学 情報科学研究科
- 1997年
国名： 日本国
-
山梨大学 工学部 計算機科学科
- 1992年
国名： 日本国
経歴
-
東京工業大学 大学院 情報理工学研究科 数理・計算科学専攻 助教授
2004年
-
東京工業大学 大学院 情報理工学研究科 数理・計算科学専攻 講師
2001年 - 2004年
-
:NTT情報流通プラットフォーム研究所 研究主任
1999年 - 2001年
-
:NTT情報流通プラットフォーム研究所 社員
1997年 - 1999年
所属学協会
-
Information and Communication Engineers
-
Information Processing Society of Japan
-
LA Symposium
-
Association for Computing Machinery
-
電子情報通信学会
-
Association for Computing Machinery
-
The Institute of Electronics
-
情報処理学会
-
LAシンポジウム
委員歴
-
電子情報通信学会 コンピュテーション研究専門委員会 幹事 、和文論文誌 D-I 編集委員
2000年 - 2004年
-
情報処理学会 アルゴリズム研究会 運営委員 、会誌 編集委員 (基礎・理論分野) 、アルゴリズム研究会 幹事
2000年 - 2004年
-
LAシンポジウム 会誌編集担当
1999年 - 2000年
書籍等出版物
-
計算理論の基礎 [原著第2版] 2. 計算可能性の理論
共立出版 2008年 （ ISBN:9784320122086 ）
-
計算理論の基礎 [原著第2版] 1. オートマトンと言語
共立出版 2008年 （ ISBN:9784320122079 ）
-
計算理論の基礎 [原著第2版] 3. 複雑さの理論
共立出版 2008年 （ ISBN:9784320122093 ）
-
計算理論の基礎
共立出版 2000年
MISC
-
Conditional converge cast
Daisuke Inoue, Keisuke Tanaka
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E91A ( 6 ) 1537 - 1540 2008年6月
-
Schemes for encryption with anonymity and ring signature
R Hayashi, K Tanaka
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E89A ( 1 ) 66 - 73 2006年1月
-
A Cramer-Shoup variant related to the quadratic residuosity problem
H Hiwatari, K Tanaka
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E89A ( 1 ) 203 - 205 2006年1月
-
Shuffle for Paillier's encryption scheme
T Onodera, K Tanaka
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E88A ( 5 ) 1241 - 1248 2005年5月
-
Density attack to the knapsack cryptosystems with enumerative source encoding
K Omura, K Tanaka
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E87A ( 6 ) 1564 - 1569 2004年6月
-
Limiting negations in bounded-depth circuits: An extension of Markov's theorem
SC Sung, K Tanaka
INFORMATION PROCESSING LETTERS 90 ( 1 ) 15 - 20 2004年4月
-
An efficient anonymous group identification scheme with short secret keys
T Isshiki, K Tanaka
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E87A ( 3 ) 757 - 760 2004年3月
-
Families of RSA-type Trap-door Permutations with a Common Domain
Proceedings of the 2004 Symposium on Cryptography and Information Security 1505 - 1510 2004年
-
An Efficient Anonymous Group Identification Scheme with Short Secret Keys
Proceedings of the 2004 Symposium on Cryptography and Information Security 1431 - 1434 2004年
-
同じ値域をもつ RSA 関数族の構成
林良太郎, 田中圭介
2004 年冬の LA シンポジウム 2004年
-
Anonymity on Public-Key Cryptosystems
Proceedings of the 2004 Symposium on Cryptography and Information Security 1511 - 1516 2004年
-
Threshold Ring Signatures in the Random Oracle Model
Proceedings of the 2004 Symposium on Cryptography and Information Security 1185 - 1190 2004年
-
(n-t)-out-of-n しきい値付きリング署名
一色寿幸, 田中圭介
2004 年冬の LA シンポジウム 2004年
-
Anonymity on Public-Key Cryptosystems
Proceedings of the 2004 Symposium on Cryptography and Information Security 1511 - 1516 2004年
-
Short Signatures with Message Recovery in the Random Oracle Model
Proceedings of the 2004 Symposium on Cryptography and Information Security 637 - 640 2004年
-
Threshold Ring Signatures in the Random Oracle Model
Proceedings of the 2004 Symposium on Cryptography and Information Security 1185 - 1190 2004年
-
A Verifiable Secret Shuffle of the Paillier's Encryption Scheme
Proceedings of the 2004 Symposium on Cryptography and Information Security 955 - 960 2004年
-
A Verifiable Secret Shuffle of the Paillier's Encryption Scheme
ONODERA T.
Proceedings of the 2004 Symposium on Cryptography and Information Security 955 - 960 2004年
-
Short Signatures with Message Recovery in the Random Oracle Model
Proceedings of the 2004 Symposium on Cryptography and Information Security 637 - 640 2004年
-
Families of RSA-type Trap-door Permutations with a Common Domain
Proceedings of the 2004 Symposium on Cryptography and Information Security 1505 - 1510 2004年
-
An Efficient Anonymous Group Identification Scheme with Short Secret Keys
Proceedings of the 2004 Symposium on Cryptography and Information Security 1431 - 1434 2004年
-
An Efficient Anonymous Group Identification Scheme with Short Secret Keys
Toshiyuki Isshiki Keisuke Tanaka
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E87-A ( 3 ) 757 - 760 2004年
-
Density atack and Different Enumerative Source Encoding (Extended Abstract)
529 - 534 2003年
-
Quantum Bit-Commitment for Small Strage Based on Quantum One-Way Permutations
1041 - 1046 2003年
-
Density atack and Different Enumerative Source Encoding (Extended Abstract)
529 - 534 2003年
-
一方向性置換に基づく小さい保存領域のための量子ビットコミットメント
一色寿幸, 田中圭介
2003 年冬の LA シンポジウム 27 - 32 2003年
-
Key-Privacy in Digital Signature
55 - 60 2003年
-
Quantum Bit-Commitment for Small Storage Based on Quantum One-Way Permutations
KEISUKE TANAKA
New Generation Computing 21 339 - 345 2003年
-
Limiting negations in bounded-depth circuits: An extension of Markov's theorem
SC Sung, K Tanaka
ALGORITHMS AND COMPUTATION, PROCEEDINGS 2906 108 - 116 2003年
-
別の数え上げ符号を用いたナップザック暗号
大村慶二, 田中圭介
2003 年冬の LA シンポジウム 128 - 133 2003年
-
Key-Privacy in Digital Signature
55 - 60 2003年
-
Quantum bit-commitment for small storage based on quantum one-way permutations
K Tanaka
NEW GENERATION COMPUTING 21 ( 4 ) 339 - 345 2003年
-
Quantum Bit-Commitment for Small Strage Based on Quantum One-Way Permutations
1041 - 1046 2003年
-
An exponential gap with the removal of one negation gate
SC Sung, K Tanaka
INFORMATION PROCESSING LETTERS 82 ( 3 ) 155 - 157 2002年5月
-
A New Approach to Knapsack Cryptosystems (Extended Abstract)
Tatsuaki Okamoto, Keisuke Tanaka
Proceedings of the 3rd International Workshop on Information Security Applications 2002年
-
A New Approach to Knapsack Cryptosystems (Extended Abstract)
Tatsuaki Okamoto, Keisuke Tanaka
Proceedings of the 3rd International Workshop on Information Security Applications 2002年
-
量子ゼロ知識対話証明について
田中圭介, 岡本龍明
2002年冬のLAシンポウジウム 2002年
-
量子公開鍵暗号
田中圭介, 岡本龍明
電子情報通信学会誌 85 ( 8 ) 613 - 617 2002年
-
Succinct Quantum Proofs for Graph Non-Isomorphism
Tatsuaki Okamoto, Keisuke Tanaka, Osamu Watanabe
2001年
-
量子公開鍵暗号と量子計算暗号
岡本龍明, 田中圭介
電子情報通信学会 第5回量子情報技術研究会 招待講演 2001年
-
Succinct Quantum Proofs for Graph Non-Isomorphism
Tatsuaki Okamoto, Keisuke Tanaka, Osamu Watanabe
2001年
-
量子公開鍵暗号
岡本龍明, 田中圭介
Computer Today 2001 年 9 月号, サイエンス社 30 - 35 2001年
-
A Quantum Public-Key Encryption Scheme and Its Improvement
Keisuke Tanaka, Tatsuaki Okamoto
2001年
-
量子公開鍵暗号とその改良
田中圭介, 岡本龍明
2001年冬のLAシンポジウム 2001年
-
A Quantum Public-Key Encryption Scheme and Its Improvement
Keisuke Tanaka, Tatsuaki Okamoto
2001年
-
素因数分解とデータベース検索に対する量子アルゴリズム
田中圭介
電子情報通信学会 ソサイエティ大会 情報システムソサイエティ チュートリアル講演 「量子計算機構」 2000年
-
Lower Bounds on Negation-Limited Inverters
Shao-Chin Sung, Keisuke Tanaka
Discrete Mathematics and Theoretical Computer Science 360 - 368 1999年
-
Lower Bounds on Negation-Limited Inverters
Shao-Chin Sung, Keisuke Tanaka
Discrete Mathematics and Theoretical Computer Science 360 - 368 1999年
-
Minimizing maximum absolute lateness and range of lateness under generalized due dates on a single machine
K Tanaka, M Vlach
ANNALS OF OPERATIONS RESEARCH 86 507 - 526 1999年
-
On the complexity of negation-limited Boolean networks
R Beals, T Nishino, K Tanaka
SIAM JOURNAL ON COMPUTING 27 ( 5 ) 1334 - 1347 1998年10月
-
Minimizing the range of lateness on a single machine under generalized due dates
K Tanaka, M Vlach
INFOR 35 ( 4 ) 286 - 296 1997年11月
-
Single machine scheduling to minimize the maximum lateness with both specific and generalized due dates
K Tanaka, M Vlach
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E80A ( 3 ) 557 - 563 1997年3月
-
Single Machine Scheduling with Fuzzy Due Dates
Keisuke Tanaka Milan Vlach
7th International Fuzzy Systems Association World Congress 195 - 199 1997年
-
Single Machine Scheduling with Fuzzy Due Dates
Keisuke Tanaka Milan Vlach
7th International Fuzzy Systems Association World Congress 195 - 199 1997年
-
Negation-limited circuit complexity of symmetric functions
K Tanaka, T Nishino, R Beals
INFORMATION PROCESSING LETTERS 59 ( 5 ) 273 - 279 1996年9月
-
A relationship between the number of negations and the circuit size
K Tanaka, T Nishino
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E79D ( 9 ) 1355 - 1357 1996年9月
-
A Relationship between the Number of Negations and the Circuit Size
Keisuke Tanaka, Tetsuro Nishino
IEICE Transactions on Information and Systems E79-D ( 9 ) 1355 - 1357 1996年
-
Improved Algorithms for Single Machine Scheduling with Fuzzy Due Dates
Keisuke Tanaka Milan Vlach
Proceedings of the Second International Symposium on Operations Research and its Applications 96 260 - 269 1996年
-
Single Machine Scheduling to Minimize the Maximum Lateness with Both Specific and Generalized Due Dates
Keisuke Tanaka Milan Vlach
Proceedings of the Second International Symposium on Operations Research and its Applications 250 - 259 1996年
-
Improved Algorithms for Single Machine Scheduling with Fuzzy Due Dates
Keisuke Tanaka Milan Vlach
Proceedings of the Second International Symposium on Operations Research and its Applications 260 - 269 1996年
-
Single Machine Scheduling to Minimize the Maximum Lateness with Both Specific and Generalized Due Dates
Keisuke Tanaka Milan Vlach
Proceedings of the Second International Symposium on Operations Research and its Applications 250 - 259 1996年
-
Approximation and special cases of common subtrees and editing distance
MM Halldorsson, K Tanaka
ALGORITHMS AND COMPUTATION 1178 75 - 84 1996年
-
Single Machine Scheduling with Generalized Due Dates
Keisuke Tanaka Milan Vlach
Symposium on Combinatorial Optimization 1996年
-
Single Machine Scheduling with Generalized Due Dates
Keisuke Tanaka Milan Vlach
Symposium on Combinatorial Optimization 1996年
-
ON THE NEGATION-LIMITED CIRCUIT COMPLEXITY OF CLIQUE FUNCTIONS
T NISHINO, K TANAKA
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E78D ( 1 ) 86 - 89 1995年1月
-
On the Negation-Limited Circuit Complexity of Clique Functions
Tetsuro Nishino, Keisuke Tanaka
IEICE Transactions on Information and Systems E78-D ( 1 ) 86 - 89 1995年
-
More on the Complexity of Negation-Limited Circuits
Robert Beals Tetsuro, Nishino Keisuke Tanaka
Proceedings of the 27th Annual ACM Symposium on Theory of Computing 585 - 595 1995年
-
More on the Complexity of Negation-Limited Circuits
Robert Beals Tetsuro, Nishino Keisuke Tanaka
Proceedings of the 27th Annual ACM Symposium on Theory of Computing 585 - 595 1995年
-
On the complexity of negation-limited boolean networks (Preliminary version)
Keisuke Tanaka, Tetsuro Nishino
Proceedings of the Annual ACM Symposium on Theory of Computing 129502 38 - 47 1994年5月
-
On the complexity of negation-limited Boolean networks
TANAKA K.
Proc. the 26th Annual ACM Symposium on the Theory of Computing 38 - 47 1994年
講演・口頭発表等
-
Signcryption with Batch Verification
2006年 暗号と情報セキュリティシンポジウム 2006年
-
中程度の難しさをもつ関数のモデルと方式
2005年
-
Cramer-Shoup の構成法による平方剰余問題と関連する暗号方式
2005年
-
Universal Designated-Verifier Signature with Aggregation
Third International Conference on Information Technology and Applications 2005年
-
Security for Authenticated Key Exchange Based on Non-Malleability
Third International Conference on Information Technology and Applications 2005年
-
Universally Anonymizable Public-Key Encryption
11th International Conference on the Theory and Application of Cryptology and Information Security 2005年
-
An (n-t)-out-of-n Threshold Ring Signature Scheme
10th Australasian Conference on Information Security and Privacy - ACISP 2005 2005年
-
ElGamal 暗号と Cramer-Shoup 暗号をもとにした匿名性を持つ暗号方式
2005年
-
認証付き鍵交換プロトコルにおける non-malleability に基づく安全性
2005年
-
指定検証者署名への変換が可能な Aggregate Signature
2005年
-
匿名性をもつ RSA 暗号方式のための Sampling Twice テクニック
2005年
-
Multi-Bit Cryptosystems based on Lattice Problems
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Computational Bilinear Diffie-Hellman問題に基づく複数キーワード検索つき公開鍵暗号方式
2005年
-
Universally Anonymizable Public-Key Encryption
11th International Conference on the Theory and Application of Cryptology and Information Security 2005年
-
An (n-t)-out-of-n Threshold Ring Signature Scheme
10th Australasian Conference on Information Security and Privacy - ACISP 2005 2005年
-
ランダムオラクルモデルを用いたプロトコルの指標と方式
2005年
-
The Sampling Twice Technique for the RSA-based Cryptosystems with Anonymity
PKC 2005 - The 8th International Workshop on Practice and Theory in Public Key Cryptography 2005年
-
The Sampling Twice Technique for the RSA-based Cryptosystems with Anonymity
PKC 2005 - The 8th International Workshop on Practice and Theory in Public Key Cryptography 2005年
-
PA in the Two-Key Setting and a Generic Conversion for Encryption with Anonymity
11th Australasian conference - ACISP 2006 2006年
-
Universal Designated-Verifier Signature with Aggregation
Third International Conference on Information Technology and Applications 2005年
-
Security for Authenticated Key Exchange Based on Non-Malleability
Third International Conference on Information Technology and Applications 2005年
-
An RSA Family of Trap-door Permutations with a Common Domain and its Applications
Public Key Cryptography - PKC2004 2004年
-
Quantum Public-Key Cryptosystems
2000年
-
An RSA Family of Trap-door Permutations with a Common Domain and its Applications
Public Key Cryptography - PKC2004 2004年
-
Quantum Public-Key Cryptosystems
2000年
-
イデアル版 LWE 仮定に基づく IND-CCA2 安全な暗号方式
2009年 暗号と情報セキュリティシンポジウム 2009年
-
NFALSE : 多項式環に基づくより高速な公開鍵暗号
2009年 暗号と情報セキュリティシンポジウム 2009年
-
New Security Notions for Public-Key Encryption with Keyword Search
2009年
-
Security on Hybrid Encryption with the Tag-KEM/DEM Framework (Extended Abstruct)
2009年
-
NTRU 暗号に関するゼロ知識証明
大津 2009年
-
暗号化関数とその性質についてーRSA関数とPaillier関数
２００８年度冬のLAシンポジウム 2009年
-
On the Weak Ideal Compression Functions
2009年
-
Security of the OAEP Encryption Scheme in the Weakened Random Oracle Models
2009年
-
Key generation on fast inversion of the Paillier encryption function
2009年
-
A Random Oracle Model with Setting and Watching Queries
2009年
-
Security on Hybrid Encryption with the Tag-KEM/DEM Framework (Extended Abstruct)
2009年
-
近似サンプリング法の精度保証
2009年 暗号とセキュリティシンポジウム 2009年
-
Key generation on fast inversion of the Paillier encryption function
2009年
-
Security of the OAEP Encryption Scheme in the Weakened Random Oracle Models
2009年
-
New Security Notions for Public-Key Encryption with Keyword Search
2009年
-
A Random Oracle Model with Setting and Watching Queries
2009年
-
On the Weak Ideal Compression Functions
2009年
-
認証つき公開鍵ステガノグラフィー
2008年暗号と情報セキュリティシンポジウム 2008年
-
The semantic security and the non-mailleability with the randomness revealed for public-key encryption
2008年
-
鍵交換可能署名
2008年暗号と情報セキュリティシンポジウム 2008年
-
ペアリングを用いた署名方式と Strong Diffie-Hellman 問題の関係
2008年暗号と情報セキュリティシンポジウム 2008年
-
忘却通信に関連するプロトコルの対称性
2008年暗号と情報セキュリティシンポジウム 2008年
-
二つのモデルの差を示す新たな暗号の実例
2008年暗号と情報セキュリティシンポジウム 2008年
-
Relations Among Combined Notions of Security for Public-Key Encryption Schemes
2008年
-
条件付き紛失通信の対称性
2008年冬のLAシンポジウム 2008年
-
ハッシュ関数に対する攻撃を考慮したIDベース暗号の安全性
2008年暗号と情報セキュリティシンポジウム 2008年
-
イデアル格子問題に基づくコンパクトな署名方式
2008年暗号と情報セキュリティシンポジウム 2008年
-
Encryption with partial information deletion
The First AAAC Annual Meeting (AAAC 2008) 2008年
-
A Compact Signature Scheme with Ideal Lattice (Extended Abstract)
Proceedings of the 2008 IEICE General Conference 2008年
-
Public-key cryptosystems with primitive power roots of unity
The 13th Australasian Conference on Information Security and Privacy (ACISP 2008) 2008年
-
Public-Key Cryptosystems with Primitive Power Roots of Unity
13th Australasian Conference, ACISP 2008 2008年
-
The semantic security and the non-mailleability with the randomness revealed for public-key encryption
2008年
-
Relations Among Combined Notions of Security for Public-Key Encryption Schemes
2008年
-
Schmidt-Takagi 暗号方式の変形
2008年暗号と情報セキュリティシンポジウム 2008年
-
Concurrently Secure Identification Schemes Based on the Worst-Case Hardness of Lattice Problems
Advances in Cryptology - Asiacrypt 2008 (ASIACRYPT 2008) 2008年
-
ハッシュ関数に対する攻撃を考慮した電子署名の安全性
2008年暗号と情報セキュリティシンポジウム 2008年
-
暗号文の単純な分解
2008年暗号と情報セキュリティシンポジウム 2008年
-
Analysis of the Waseda-Soshi-Miyaji scheme and on Quantum Computation Signature
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Secret Handshake with Multiple Groups
7th International Workshop on Information Security Applications - WISA2006 2007年
-
格子問題に基づく認証および署名方式
2007年度夏のLAシンポジウム 2007年
-
Generic Conversion for the Anonymity against the Adaptive Chosen Ciphertext Attack
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Relationships between Data-Privacy and Key-Privacy
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Multi-bit cryptosystems based on lattice problems
Public Key Cryptography - PKC 2007 2007年
-
Multi-Bit Cryptosystems Based on Lattice Problems
PKC 2007, 110th International Workshop on Practice and Theory in Public Key Cryptography (PKC2007) 2007年
-
Anonymity on Paillier's trap-door permutation
The 12th Australasian Conference on Information Security and Privacy (ACISP 2007) 2007年
-
誤り訂正符号を用いた公開鍵暗号方式
2007年夏のLAシンポジウム 2007年
-
Security of digital signature schemes in weakened random oracle models
The 11th International Workshop on Practice and Theory in Public Key Cryptography (PKC 2008) 2007年
-
Secret Handshake with Multiple Groups
7th International Workshop on Information Security Applications - WISA2006 2007年
-
Anonymity on Paillier's trap-door permutation
The 12th Australasian Conference on Information Security and Privacy (ACISP 2007) 2007年
-
Security of digital signature schemes in weakened random oracle models
The 11th International Workshop on Practice and Theory in Public Key Cryptography (PKC 2008) 2007年
-
Concurrently Secure Identification Schemes Based on the Worst-Case Hardness of Lattice Problems
Advances in Cryptology - Asiacrypt 2008 (ASIACRYPT 2008) 2008年
-
Multi-bit cryptosystems based on lattice problems
Public Key Cryptography - PKC 2007 2007年
-
Multi-Bit Cryptosystems Based on Lattice Problems
PKC 2007, 110th International Workshop on Practice and Theory in Public Key Cryptography (PKC2007) 2007年
-
Public-Key Cryptosystems with Primitive Power Roots of Unity
13th Australasian Conference, ACISP 2008 2008年
-
Encryption with partial information deletion
The First AAAC Annual Meeting (AAAC 2008) 2008年
-
Public-key cryptosystems with primitive power roots of unity
The 13th Australasian Conference on Information Security and Privacy (ACISP 2008) 2008年
-
統計的距離を考慮したサンプリング
2008年夏のLAシンポジウム 2008年
-
A Compact Signature Scheme with Ideal Lattice (Extended Abstract)
Proceedings of the 2008 IEICE General Conference 2008年
-
Secret Handshake with Multiple Groups
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Sanitizable Signature with Secret Information
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Universal Designated-Verifier Ring Signature
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Analysis of the Waseda-Soshi-Miyaji scheme and on Quantum Computation Signature
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Fair Exchange of Signatures in the Many-to-One Model
2006年 暗号と情報セキュリティシンポジウム 2006年
-
A Password-Based Authenticated Key Exchange Protocol in the Three Party Setting
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Generic Conversion for the Anonymity against the Adaptive Chosen Ciphertext Attack
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Relationships between Data-Privacy and Key-Privacy
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Signcryption with Batch Verification
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Universally Anonymizable Public-Key Encryption
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Multi-Bit Cryptosystems based on Lattice Problems
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Secret Handshake with Multiple Groups
2006年 暗号と情報セキュリティシンポジウム 2006年
-
PA in the Two-Key Setting and a Generic Conversion for Encryption with Anonymity
11th Australasian conference - ACISP 2006 2006年
-
A Password-Based Authenticated Key Exchange Protocol in the Three Party Setting
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Universal Designated-Verifier Ring Signature
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Sanitizable Signature with Secret Information
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Fair Exchange of Signatures in the Many-to-One Model
2006年 暗号と情報セキュリティシンポジウム 2006年
-
Universally Anonymizable Public-Key Encryption
2006年 暗号と情報セキュリティシンポジウム 2006年
Works（作品等）
-
量子公開鍵暗号の安全性及び匿名性をもつ公開鍵暗号に関する研究
2004年
-
公開鍵暗号の安全性に関する研究
2003年
-
量子暗号および量子計算に関する研究
2001年
共同研究・競争的資金等の研究課題
-
中規模量子コンピュータによるセキュアな分散型量子計算の基盤創出
研究課題/領域番号：24H00071 2024年4月 - 2029年3月
日本学術振興会 科学研究費助成事業 基盤研究(S)
ルガル フランソワ, 田中 圭介, 西村 治道, 河内 亮周, 安永 憲司, 桑原 知剛
配分額：203450000円 （ 直接経費：156500000円 、 間接経費：46950000円 ）
-
量子情報化社会に向けた量子計算基盤の構築
研究課題/領域番号：21H04879 2021年4月 - 2026年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
小柴 健史, 河内 亮周, 田中 圭介, 安永 憲司, ルガル フランソワ, 西村 治道
配分額：41470000円 （ 直接経費：31900000円 、 間接経費：9570000円 ）
-
インセンティブを考慮した暗号基盤技術の構築
研究課題/領域番号：17H01695 2017年4月 - 2021年3月
日本学術振興会 科学研究費助成事業 基盤研究(B)
田中 圭介, 河内 亮周, 安永 憲司, 小柴 健史
配分額：15860000円 （ 直接経費：12200000円 、 間接経費：3660000円 ）
インセンティブ設計技法に関する調査と研究を行った。詳細な調査や手法の比較を行ない、インセンティブを用いた電子署名・相手認証のモデルと技術の設計を試みた。特に、これらの要素に密接に関わるSecure Message Transmission (SMT) と呼ばれる要素に着目し、複数ある通信路がすべての敵に支配されたとしても、合理的な敵を考える場合には、安全に通信を行うことができることを示した。さらに、ブロックチェーンに関する調査と研究を行った。特にproof-of-workの原点に立ち戻り、証明者と検証者で時間とメモリのギャップを生じる状況についての考察を行った。
-
量子プロトコル理論の線的展開
研究課題/領域番号：16H01705 2016年4月 - 2021年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
小柴 健史, 西村 治道, ルガル フランソワ, 田中 圭介, 河内 亮周, 安永 憲司, 松本 啓史, 堀山 貴史, 小林 弘忠
配分額：41730000円 （ 直接経費：32100000円 、 間接経費：9630000円 ）
量子状態の初期化が容易でない量子計算を定式化したDQC1モデルなどの計算能力を究明することにより，万能でない量子計算モデルでさえ量子超越性を達成し得ることを示した。量子分散アルゴリズムに関しては，標準的な分散計算モデルにおいて「全対最短経路問題」などの幾つかの基本的問題について，古典プロトコルよりも効率的に動作する量子分散プロトコルを開発した。量子暗号プロトコルである秘匿代理量子計算において，古典クライアントでは，完全秘匿性を達成不可能であることを示した。量子性の古典的検証可能性に，報酬概念を導入することで，ゲーム理論的な形での解決という新しい方向性を見出した。
-
量子プロトコル理論の深化
研究課題/領域番号：24240001 2012年4月 - 2016年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
小柴 健史, 河内 亮周, 田中 圭介, 安永 憲司, ルガル フランソワ, 松本 啓史, 小林 弘忠, 西村 治道
配分額：36010000円 （ 直接経費：27700000円 、 間接経費：8310000円 ）
量子対話型証明の一般化モデルを提案し完全問題の存在やBabaiの崩壊定理の量子版などの計算量的構造を明らかにした。半環上の行列積およびグラフ上の三角形発見問題に対して高速量子アルゴリズムを構築し解析方法を発展させ量子分散プロトコルを構築した。観測系と計算系が分離可能な補助キュービット駆動型モデルでも量子ブラインド計算が実現することを示した。計算量クラスBQPの古典計算量クラスAWPPに対し事後選択の概念を利用した量子計算量クラスによる特徴付けを与えた。AWPPがBQPの最良上界である自然な理由を与えAWPPの研究への量子計算量理論的アプローチの可能性を切り拓いた。
-
ゲーム理論にもとづく暗号プロトコル
研究課題/領域番号：23500010 2011年4月 - 2015年3月
日本学術振興会 科学研究費助成事業 基盤研究(C)
田中 圭介, 安永 憲司
配分額：5070000円 （ 直接経費：3900000円 、 間接経費：1170000円 ）
大きく分けて二つの成果が得られた。まず、2メッセージを用いた紛失通信についての考察である。 具体的には、攻撃者のモデルをプロトコルの実行を途中で中止させるだけのfail-stopモデルからプロトコル中のアルゴリズムを任意に変更する攻撃を許すmaliciousモデルへの拡張を行い、既存のある種の暗号理論的な安全性と等価なゲーム理論的安全性を与えることに成功している。
さらに、ビットコミットメントについての考察である。具体的には、malicious モデルの攻撃者を対象とし、既存のある種の暗号理論的な安全性と密接に関連するゲーム理論的安全性を与えることに成功している。 -
量子情報理論と量子計算量理論の融合技術の展開
研究課題/領域番号：21300002 2009年 - 2011年
日本学術振興会 科学研究費助成事業 基盤研究(B)
小柴 健史, 松本 啓史, 小林 弘忠, 田中 圭介, 河内 亮周
配分額：14430000円 （ 直接経費：11100000円 、 間接経費：3330000円 ）
量子情報理論と量子計算量理論の融合技術を発展させて,対話型証明,暗号理論,ネットワーク理論などの諸問題に対して適用した.量子対話型証明に関しては,複数証明者間の量子エンタングルメントの効果を追究し,量子対話型証明の理論を発展させた.また,ネットワーク符号化における量子通信の可能性を検討し,効率化通信手法の提案を行った.従来の古典暗号の枠組みでは証明困難であったハードコア述語に対して量子暗号理論を介することでその証明を構築可能にした.量子暗号理論へのフィードバックを行うため,様々な古典暗号プロトコルの考案を行った.
-
新世代の計算限界-その解明と打破-
研究課題/領域番号：16092101 2004年 - 2008年
日本学術振興会 科学研究費助成事業 特定領域研究
岩間 一雄, 伊藤 大雄, 加藤 直樹, 徳山 豪, 田中 圭介, 櫻井 幸一, 浅野 孝夫, 浅野 哲夫, 平田 富夫
配分額：107400000円 （ 直接経費：107400000円 ）
近年のIT社会の大規模化と多様化によって, 従来は計算機があまり入り込まなかった分野においても, アルゴリズムが重要となってきている. また, 例えば配送計画問題をとっても, 配送コストのみではなく, 配送者の負荷の均質化や環境問題への配慮といった, 従来の評価尺度ではとらえきれない観点からの社会的要請があがっている. 本領域ではこうした状況に対処するため, 社会に役立つアルゴリズムをテーマに, 社会的評価基準のもとで数学的に保証されたアルゴリズムの開発・評価の体系化を目指している.
本領域の研究活動は平成19年度で終了した. すでに多くの研究成果が出されており, それらの多くは本領域の設定した目標を順調に達成するものである. 得られた成果をまとめ効果的に公表するため, 総括班のみ平成20年度も活動を行った. 具体的な活動は以下の通りである.
(1) 成果報告書の作成 : 総括班および研究課題別の成果をまとめた報告書を作成した. 本特定で開催した研究集会の資料も, とりまとめて記載した.
(2) 教科書の出版 : 本領域の分野の教科書を出版する(全16巻). 共立出版より6巻が刊行済みであり, 新たに1巻を刊行した.
(3) ニュースレターの発行 : 本領域の最新情報を掲載したニュースレターを発行する.
(4) ウェブサイト : 本領域の活動内容の広報として立ち上げた, ウェブサイト(http://keisan-genkai.lab2.kuis.kyoto-u.ac.jp/)の充実をはかった. -
暗号解折手法の計算量理論とよる改良とそれに基づく暗号方式
研究課題/領域番号：16092206 2004年 - 2007年
日本学術振興会 科学研究費助成事業 特定領域研究
田中 圭介, 渡辺 治, 戸田 誠一郎, 河内 亮周
配分額：22600000円 （ 直接経費：22600000円 ）
暗号の安全性に関する精密な解析手法に関しては、昨年度までのコーグルグラフから離れて一般のグラフを対象とした同型性に関する研究を行った。暗号の効率に関する精密な解析手法に関しては、NP-困難な問題に対して、ヒューリスティックスの理論的な解析、低指数関数計算量アルゴリズムの開発、構造的な計算量解析を行った。さらに、量子質問計算量の上下界の解析、量子計算量理論に基づく暗号系設計も行った。
具体的暗号方式に関しては、格子暗号の複数ビット化に関する研究を行った。ここでは、よく知られている1ビット格子暗号を対象に、共通の手法を導入し、公開鍵・秘密鍵・暗号文空間のサイズを変えることなく平文空間を複数ビット化した。具体的には、セキュリティパラメータをnとした際に、平文のビット数を0(log n)とすることができた。また、複数ビット化した格子暗号も、元の1ビット格子暗号と同様に安全性を証明することができた。その際、格子暗号中で使われているガウス分布と安全性の基となる格子問題の解析を行い、平文のビット数・復号エラーの確率と安全性の基となる格子問題の間にトレードオフがあることが分かった。また我々は、擬似準同型性、という概念を導入した。通常の暗号の準同型性は、2つの暗号文の和または積が暗号文になるという性質である。一方、擬似準同型性は、2つの暗号文の和が暗号文にはなるとは限らないが,無視できる確率を除いて正しく復号できるという性質である。複数ビット化した格子暗号は、ガウス分布の再生性により擬似準同型性をもつ。ただし、復号エラーを抑えるために、和の回数はある程度制限される。さらに、先と同様の手法により、その方式の安全性も証明した。 -
量子計算と古典通信路を用いた電子署名方式
研究課題/領域番号：14780190 2002年 - 2004年
日本学術振興会 科学研究費助成事業 若手研究(B)
田中 圭介
配分額：3400000円 （ 直接経費：3400000円 ）
主に、大きく分けて二つの研究成果が得られた。一つめは本研究で対象となる電子署名方式と対をなす秘匿通信方式、特に本研究と密接に関わり合いをもつ、量子計算と古典通信路を同時に用いた秘匿通信方式に関する結果である。2000年に提案された既存方式はナップザック暗号とよばれる方式の一種であり、ナップザック暗号に対する強力な攻撃法として低密度攻撃とよばれる攻撃法が知られていた。本研究では、既存方式における平文に関する数え上げ符号に着目し、その符号方法を変更することによって低密度攻撃を回避する方法を提案した。
二つめは、本研究で対象となる電子署名方式に関する結果である。この電子署名方式の一種である否認不可署名とリング署名とよばれる方式に対して、近年提案された安全性である匿名性について考察を行った。ここでは、匿名性を持つ方式を得るためのテクニックを提案するとともに、その提案技法の否認不可署名とリング署名に対する適用可能性について論じた。
さらに上記以外にも、本研究に関連する暗号プロトコル研究として、ランダムオラクルを用いたプロトコルに対する新たな指標と具体的方式の提案、キーワード検索付き公開鍵秘匿通信方式の安全性の改良、新たな数学的仮定とそれに基づく公開鍵秘匿通信方式の提案、中程度の難しさを持つ関数のモデル化と具体的な関数の提案、認証付き鍵交換プロトコルの安全性指標に関する考察、指定検証者署名への変換が可能なaggregate signatureの提案、Paillierの暗号に対する証明可能なシャッフル方式の提案を行った。これらの研究成果は、研究会や国際会議で発表済みであり、現在、雑誌に投稿中である。 -
Computational Complexity
資金種別：競争的資金
-
計算の複雑さ
資金種別：競争的資金
-
暗号に関する理論と実装
資金種別：競争的資金
-
暗号理論
資金種別：競争的資金
-
Theory and Practice on Cryptography
資金種別：競争的資金
-
Theory of Cryptography
資金種別：競争的資金