日本語

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 Next Generation Security 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  No  任意の環におけるイデアル格子問題に基づいた本人確認方式  Joint  竹牟禮　薫、バグス サントソ  IEICE Technical Report  118/ 478, 39-44  2019/03  0913-5685  Paper  No  A New Family of Isomorphism of Polynomials and Its Application to Public Key Encryption Scheme  Only  BAGUS SANTOSO  IEICE Technical Report  118/ 478, 33-38  2019/03/07  0913-5685  URL  Paper  Yes  Post Encryption Compression with Affine Encoders for Secrecy Amplification in Distributed Source Encryption with Correlated Keys  Joint  Bagus Santoso, Yasutada Oohama  International Symposium on Information Theory and Its Applications (ISITA)  ISITA2018/ We-PM-2-4, 1-1  2018/10/28  Paper  Yes  A New Three-Pass Code-based Zero-Knowledge Identification Scheme with Cheating Probability of Exactly Half  Bagus Santoso  International Symposium on Information Theory and Its Applications (ISITA)  ISITA2018/ Tu-PM-1-2, 2-2  2018/10/28  Paper  Yes  Entanglement Between Hash Encodings and Signatures from ID Schemes with Non-binary Challenges: A Case Study on Lightweight Code-Based Signatures  Joint  Bagus Santoso, Taiyo Yamaguchi, Tomoyuki Ohkubo  Information Security Practice and Experience - 14th International Conference, ISPEC 2018  LNCS/ 11125, 248-262  2018/09/25  View details...   ■ Research presentations Other speech or lecture  Quantum Communications, Quantum Computers and Cryptography  14th Honjo International Foundation Workshop  No  BAGUS SANTOSO  2018/11/10  Oral presentation for an academic conference  A New Family of Isomorphism of Polynomials and Its Applications to Public Key Encryption Scheme  2019 Symposium on Cryptography and Information Security  3B/ 2  No  BAGUS SANTOSO  2019/01/24  Oral presentation for an academic conference  Another Look at One-More Discrete Logarithm Problem in Generic Model  2019 Symposium on Cryptography and Information Security  2B/ 3  No  BAGUS SANTOSO  2019/01/23  Oral presentation for an academic conference  任意の環におけるイデアル格子問題に基づいた本人確認方式  ２０１９年暗号と情報セキュリティシンポジウム  1A/ 2  No  竹牟禮　薫、バグス　サントソ、荒井　嵩博(電気通信大学)  2019/01/22  Oral presentation for an academic conference  符号ベース暗号方式と多変数多項式ベース暗号方式を組み合わせた暗号方式の構築法  ２０１９暗号と情報セキュリティシンポジウム  1A/ 2  No  大久保 智之、バグス　サントソ  2019/01/22  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...   ■ Involvement in conference and research meetings 第41回情報理論とその応用シンポジウム(SITA2018)  プログラム委員  2018/12/18  View details...