English
電気通信大学 
大学院情報理工学研究科、情報理工学域 
情報・ネットワーク工学専攻、Ⅱ類(融合系) 

助教 
SANTOSO BAGUS 
サントソ バグス 
SANTOSO BAGUS 

 

経歴
独立行政法人 産業技術総合研究所  情報セキュリティ研究センター  特別研究員  2009/04/01-2011/09/29 
Agency for Science Technology and Research (A*STAR)  Institute for Infocomm Research  Research Scientist I  2011/10/01-2016/09/29 

学歴
豊田工業高等専門学校  情報工学科 
電気通信大学  電気通信学部  情報通信工学科  2003/03/31  卒業 
電気通信大学  電気通信学部  情報通信工学科  博士前期  2005/03/31  修了 
電気通信大学  電気通信学部  情報通信工学科  博士後期  2009/03/31  修了 
電気通信大学  電気通信学部  情報通信工学科  博士後期  2009/03/31  修了 

学位
工学博士  電気通信大学  2016/03/21 

研究概要
Public Key Cryptographic (PKC) schemes are an essential technology to build secure communication in networks. However, it has been proven that quantum computers can break all current standard PKC schemes, and moreover, the research on developing practical quantum computers has been gaining momentum in recent years. As countermeasures against the threat from quantum computers, PKC schemes with claims of security against quantum computers have been proposed. However, many of them have
flaws such as: (1) impractical due to large implementation costs (computational, storage, or bandwidth), and (2) lacking in concrete security proof against quantum computers. The main goal of my research is to develop a new paradigm based on (1) computational problems in the binary field which are hard even for quantum computers, and (2) a new framework for proving security against quantum computers, to overcome those flaws and then use it to construct new PKC schemes which require small costs for implementation and are equipped with concrete security proof against quantum computers. As application target, we expect that the results of this project can be applied to secure communication between lightweight devices against quantum computers in networks comprising a large variety of devices such as the Internet of Things (IoT). 

現在の専門分野
情報学基礎理論 
情報ネットワーク 
情報セキュリティ 

研究キーワード
暗号理論 
情報セキュリティ 
対量子暗号 

論文
一般論文  有  Reviving Identification Scheme based on Isomorphism of Polynomials with Two Secrets: a Refined Theoretical and Practical Analysis  単著  Bagus Santoso  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences  E101-A/ 5, 787-798  2018/05 
一般論文  有  Provable Secure Post-Quantum Signature Scheme Based on Isomorphism of Polynomials in Quantum Random Oracle Model.  Bagus Santoso, Chunhua Su  Provable Security - 11th International Conference, ProvSec 2017  10592, 271-284  2017/10/23 
一般論文  無  Provably Secure Code-Based Signature Schemes via Fiat-Shamir Transform with Theoretical and Practical Analysis on Hash Encodings  共著  Taiyo Yamaguchi, Bagus Santoso  IEICE Technical Report  IEICE-117/ 202, 35-42  2017/09/04  0913-5685 
一般論文  無  2進数体上の符号と多変数多項式による公開鍵暗号方式の新たな構成法  大久保智之, バグス サントソ  信学技報  IEICE-117/ no.202, 29-33  2017/08/28  0913-5685 
一般論文  有  Privacy Amplification of Distributed Encrypted Sources with Correlated Keys  共著  Bagus Santoso, Yasutada Oohama  IEEE International Symposium on Information Theory  1-5  2017/06/26 
詳細表示...

研究発表
学会口頭発表  Distributed Privacy Amplification of Encrypted Multiple Sources with Correlated Keys  第39回情報理論とその応用シンポジウム  39/ 7.2.2  無  Yasutada Oohama, Bagus Santoso  2016/12/14 
学会口頭発表  Revisiting Isomorphism of Polynomials with Two Secrets: towards a Shorter Zero Knowledge Protocol  無  2016/01/19 
詳細表示...

科学研究費助成事業
New Paradigm to Construct Public Key Cryptographic Schemes for Lightweight Devices with Provable Security against Quantum Attackers  基盤研究(C)一般  2018/04/01-2022/03/31  Public Key Cryptographic (PKC) schemes are an essential technology to build secure communication in networks. However, it has been proven that quantum computers can break all current standard PKC schemes, and moreover, the research on developing practical quantum computers has been gaining momentum in recent years. The main goal of this proposed research is to develop a new paradigm based on (1) computational problems in the binary field which are hard even for quantum computers, and (2) a new framework for proving security against quantum computers, to overcome those flaws and then use it to construct new PKC schemes which require small costs for implementation and are equipped with concrete security proof against quantum computers. As application target, we expect that the results of this project can be applied to secure communication between lightweight devices against quantum computers in networks comprising a large variety of devices such as the Internet of Things (IoT). 
IoT社会の高度化に必要な多端子情報理論と暗号理論を柱とした安全通信理論の構築  2018/04/01-2023/03/31  IoTの急速な進歩により,悪意を持った第三者(以後敵と記す)のハードウェア攻撃とよばれる暗号系への物理的アクセスが高度化かつ多様化し,秘密情報漏えいの危険性が著しく増大している.本研究は,この問題の根本的解決に挑む.具体的には多端子情報理論と暗号理論を基盤として IoT 環境下での情報漏えいの理論的モデルを構築する.このモデルに基づき,敵から想定される最大級の攻撃を受けた場合も,既存暗号系を変更せずに秘密情報の漏れを防止し,安全通信を維持できるための理論的条件と維持の具体的方法とを与える.理論結果の導出では,研究代表者が開発した独自の手法を更に発展させた手法を用いる.また,理論の検証と実用化への見通しを目的として,IoT 環境下における暗号通信系を実システムあるいは計算機上の仮想システムとして実現して通信実験を行う. 
詳細表示...

所属学協会
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)  2016/04/01-現在 
Association of Computing Machinery (ACM)  2016/04/01-現在 
International Association for Cryptologic Research (IACR)  2006/02/16-現在 
Institute of Electronics, Information and Communication Engineers (IEICE)  2005/04/01-現在 
詳細表示...