日本語

The University of Electro-Communications  Graduate School of Informatics and Engineering, School of Informatics and Engineering  Department of Computer and Network Engineering, Cluster II （Emerging Multi-interdisciplinary Engineering）

Assistant Professor  SANTOSO BAGUS

■ Career National Institute of Advanced Industrial Science and Technology  情報セキュリティ研究センター  特別研究員  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    ■ Academic background 豊田工業高等専門学校  情報工学科  電気通信大学  電気通信学部  情報通信工学科  2003/03/31  Graduated  電気通信大学  電気通信学部  情報通信工学科  Master's program  2005/03/31  Completed  電気通信大学  電気通信学部  情報通信工学科  Doctoral program  2009/03/31  Completed  電気通信大学  電気通信学部  情報通信工学科  Doctoral program  2009/03/31  Completed    ■ Academic degrees 工学博士  電気通信大学  2016/03/21    ■ Outlines of current research 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).    ■ Current research areas Theory of informatics  Information network  Information security    ■ Research keywords Cryptography  Information Security  Post-Quantum Cryptography    ■ Published papers Paper  Yes  Reviving Identification Scheme based on Isomorphism of Polynomials with Two Secrets: a Refined Theoretical and Practical Analysis  Only  Bagus Santoso  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences  E101-A/ 5, 787-798  2018/05  Paper  Yes  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  Paper  No  Provably Secure Code-Based Signature Schemes via Fiat-Shamir Transform with Theoretical and Practical Analysis on Hash Encodings  Joint  Taiyo Yamaguchi, Bagus Santoso  IEICE Technical Report  IEICE-117/ 202, 35-42  2017/09/04  0913-5685  Paper  No  New Public Key Encryption Scheme based on Code and Multivariate Polynomials in Binary Field  Tomoyuki Ohkubo, Bagus Santoso  IEICE Technical Report  IEICE-117/ no.202, 29-33  2017/08/28  0913-5685  Paper  Yes  Privacy Amplification of Distributed Encrypted Sources with Correlated Keys  Joint  Bagus Santoso, Yasutada Oohama  IEEE International Symposium on Information Theory  1-5  2017/06/26  View details...   ■ Research presentations Oral presentation for an academic conference  Distributed Privacy Amplification of Encrypted Multiple Sources with Correlated Keys  第３９回情報理論とその応用シンポジウム  39/ 7.2.2  No  Yasutada Oohama, Bagus Santoso  2016/12/14  Oral presentation for an academic conference  Revisiting Isomorphism of Polynomials with Two Secrets: towards a Shorter Zero Knowledge Protocol  No  2016/01/19  View details...   ■ Grants-in-aid for scientific research New Paradigm to Construct Public Key Cryptographic Schemes for Lightweight Devices with Provable Security against Quantum Attackers  "Scientific research (C), general"  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 環境下における暗号通信系を実システムあるいは計算機上の仮想システムとして実現して通信実験を行う．  View details...   ■ Memberships of academic societies The Institute of Electrical and Electronics Engineers, Inc. (IEEE)  2016/04/01-Present  Association of Computing Machinery (ACM)  2016/04/01-Present  International Association for Cryptologic Research (IACR)  2006/02/16-Present  Institute of Electronics, Information and Communication Engineers (IEICE)  2005/04/01-Present  View details...